Angehefteter Tweet
Vlad v/acc
274 posts


@Vladfdp remove your fear about being seen as a larper. what's the minimum time to derive max joy?
English

Damn I think I have to continue my sum-check optimizations series 😎
Quang Dao@QuangVDao
Our newest sum-check optimizations are out! eprint.iacr.org/2026/762 We propose a *better* domain for sum-check: the infinity hypercube. Evaluations over this domain give *precisely* the monomial coefficients, and lead to a ~10% prover speedup over 128+ bits prime fields 🧵/ n
English

@QuangVDao shouldn't it be [1:0]?
I mean I guess it's just a matter of convention but it would be weird as fuck if [1:x] is your affine line😅
English

Our newest sum-check optimizations are out! eprint.iacr.org/2026/762
We propose a *better* domain for sum-check: the infinity hypercube.
Evaluations over this domain give *precisely* the monomial coefficients, and lead to a ~10% prover speedup over 128+ bits prime fields
🧵/ n
English
Vlad v/acc retweetet

A month later, Zolt v0.1.0 is here!
- Code is good enough to make an official release
- Faster than Jolt on the @eth_proofs' SHA256 benchmarks 😱
- Huge refactoring effort
- Really fun to work on!
- Still a lot of work to do to match Jolt with bigger programs (2^28+)

matteo@mtteom_
Introducing Zolt: the first pure-Zig zkVM Fully compatible with @a16zcrypto's Jolt, the entire cryptography is made from scratch in @ziglang , only using the stdlib! No arkworks FFI or other dependencies 🫡 The first benchmarks:
English
Vlad v/acc retweetet

@noveltokens @deepfates do people answer truthfully? at this point my reading chat history feels even more intrusive than looking at my browser history
English

@deepfates been thinking the same. periodically, over the last year, when working @ coffee shop, i randomly interrupt people i see w claude/chat on screen to interrogate them about exp w ai, even just asking what their last ten convos/questions were. have considered turning this into a pod
English

@0xz80 also other stuff like keeping a list of labels->product so you can just scan the receipt instead of inputing manually each time you stock up
English

@0xz80 also one thing is it allucinates the recipes and sometimes it just says dumb shit (burned some carrots by trusting it) so like have it scrape full recipes from the internet and give them back verbatim would be better
English

same question but this time its opus/sonnet 4.6
ill ralph whatever you guys want
what should I build?
z80.wei 👌☀️👌@0xz80
if you had 12 hours to use $80 worth of kimi k2.5 what would you do? I’ll literally have it build anything you guys suggest, otherwise the quota expires and goes to waste
English



