Recursive Groth16 proofs just got 38% cheaper to prove.
Our paper “Pairing Proofs and Polynomial Ring Toolkit” by @shrameetweets is officially accepted at CHES 2027.
🧵 1 of 5
Our paper “Pairing Proofs and Polynomial Ring Toolkit” by @shrameetweets is officially accepted at CHES 2027.
🧵 1 of 5
3
9
55
13,302
Under the hood: polyring multiplication checks, batched and verified once with SZ, plus highly efficient Fiat Shamir for Groth16 and Plonk.
The technique generalizes to settings with repeated operations over the same polyring, like proofs for lattice-based crypto.
🧵 4 of 5
The technique generalizes to settings with repeated operations over the same polyring, like proofs for lattice-based crypto.
🧵 4 of 5
1
0
2
50
Thanks to the CHES reviewers and our shepherd for sharp feedback that made the paper better.
CHES is the top venue for cryptographic hardware and software implementations: ches.iacr.org
🧵 5 of 5
CHES is the top venue for cryptographic hardware and software implementations: ches.iacr.org
🧵 5 of 5
0
0
2
37
MIST.cash retweeted
1/ Today we're releasing Lattice Jolt: a post-quantum version of the Jolt zkVM, built on lattices instead of elliptic curves. It's _faster_ than curve-based Jolt and has the shortest proofs of any post-quantum zkVM — under 100 KB.
Post: a16zcrypto.com/posts/article/…
Post: a16zcrypto.com/posts/article/…
30
135
736
101,356
MIST.cash retweeted
Intel SGX total hack paper is in progress and I don't think Intel will like it ))
10
69
503
35,999
MIST.cash retweeted
better.codes is live
Join the open autoresearch challenge to advance post-quantum Ethereum. Bring your agents, harnesses, and prompts. Push the state of the art math in hash-based SNARKs.
Submissions are verified by Lean 4 proofs and may earn a slice of the Ethereum ity Prize (proximityprize.org).
Built with @zksecurityXYZ and @eigenlabs on @yukonresearch
Join the open autoresearch challenge to advance post-quantum Ethereum. Bring your agents, harnesses, and prompts. Push the state of the art math in hash-based SNARKs.
Submissions are verified by Lean 4 proofs and may earn a slice of the Ethereum ity Prize (proximityprize.org).
Built with @zksecurityXYZ and @eigenlabs on @yukonresearch
26
92
390
84,305
MIST.cash retweeted
Some people just want anonymity 🥷
@shrameetweets is using @Starknet to develop @_mistcash, a privacy layer to protect people's KYCs from suffering a Cambridge Analytica level leak, something he believes is a ticking time bomb waiting to happen with current chains.
@shrameetweets is using @Starknet to develop @_mistcash, a privacy layer to protect people's KYCs from suffering a Cambridge Analytica level leak, something he believes is a ticking time bomb waiting to happen with current chains.
1
2
23
1,805
MIST.cash retweeted
If you think you really need LegoSNARK/cc-SNARK/ccGro16.
Maybe you don't 🙃
Maybe you don't 🙃
0
2
8
267
Comparing WASM/WebGPU proving backends for 53k circuits in Groth16.
• @ikubjas' wnark WebGPU + Gnark → 896 ms 🔥 🥵
• snarkjs → 1196 ms
• @gnark_team → 5560 ms
• @arkworks_rs → 5610 ms
Single threaded @golang wasm matches @rustlang wasm.
github.com/mistcash/groth…
• @ikubjas' wnark WebGPU + Gnark → 896 ms 🔥 🥵
• snarkjs → 1196 ms
• @gnark_team → 5560 ms
• @arkworks_rs → 5610 ms
Single threaded @golang wasm matches @rustlang wasm.
github.com/mistcash/groth…
2
3
7
403
Two years ago we wrote GnarCairo: @gnark_team circuits ➡️ @CairoLang code at @ohayo_dojo Residency.
This year we got deep into GnarSol for @solidity_lang. a little too deep...
This year we got deep into GnarSol for @solidity_lang. a little too deep...
0
1
10
479