|
About the zk-s[nt]arks category
|
|
0
|
3317
|
December 8, 2017
|
|
Atomic ZK-Proof-Gated Settlement for x402 Agent Payments: A Measured Reference Design
|
|
4
|
298
|
September 16, 2026
|
|
Proof boundaries in a minimal homomorphic tally for token weighted voting
|
|
0
|
76
|
August 27, 2026
|
|
Arcanum: a privacy-first compiler layer for source code — TEE now, ZK as the long-term foundation
|
|
12
|
320
|
August 10, 2026
|
|
Qingming-STARK-G64: a Goldilocks STARK backend on AMD ROCm/HIP
|
|
0
|
66
|
July 10, 2026
|
|
Qingming-g64-ntt-cuda: RTX4090-24G results for native Goldilocks/G64 STARK-LDE NTT
|
|
2
|
77
|
July 6, 2026
|
|
Qingming-g64-ntt: Native Goldilocks/G64 GPU NTT at 2^27 on RX 7900 XTX, and a reproducible benchmark plan
|
|
0
|
81
|
July 4, 2026
|
|
What if post-quantum Ethereum doesn’t need signatures at all?
|
|
17
|
1207
|
July 2, 2026
|
|
Designing Infrastructure Where Exploits Destroy Themselves
|
|
0
|
140
|
July 2, 2026
|
|
Blocks Are Dead. Long Live Blobs
|
|
5
|
700
|
June 29, 2026
|
|
MACI and group bribe attacks
|
|
5
|
2255
|
June 25, 2026
|
|
EVM Verification of WHIR over a 31-bit Field
|
|
0
|
306
|
May 19, 2026
|
|
WHIR for Ethereum
|
|
1
|
1777
|
May 20, 2026
|
|
Reducing the verification cost of a SNARK through hierarchical aggregation
|
|
12
|
10000
|
April 29, 2026
|
|
Folding over quartic extensions in 2N-4 multiplications, and why row-based commitment layers can't keep up
|
|
0
|
85
|
April 7, 2026
|
|
Where to download the perpeptual power of tau for bn254?
|
|
0
|
40
|
March 31, 2026
|
|
Cheon's attack and its effect on the security of big trusted setups
|
|
31
|
9480
|
March 31, 2026
|
|
Does Ethereum have a zk-verifiability problem?
|
|
7
|
726
|
March 12, 2026
|
|
When L = D + pQ Is Not Enough: Exactness Repair for BN254 Wrappers
|
|
0
|
92
|
March 8, 2026
|
|
GKRFold: SumFold-based GKR Proof Compression
|
|
2
|
607
|
February 26, 2026
|
|
Fake GLV: You don't need an efficient endomorphism to implement GLV-like scalar multiplication in SNARK circuits
|
|
9
|
2209
|
November 25, 2025
|
|
Generating Pasta keypairs
|
|
4
|
431
|
July 31, 2025
|
|
The Signal: Ethereum - Casper FFG Finality Proofs
|
|
0
|
217
|
July 30, 2025
|
|
Distributed Proof Generation
|
|
0
|
352
|
July 23, 2025
|
|
Censorable Tornado Cash
|
|
7
|
901
|
June 3, 2025
|
|
Vocdoni Protocol: Enabling Decentralized Voting for the Masses with ZK Technology
|
|
10
|
2076
|
January 20, 2025
|
|
Zero-knowledge proofs of identity using electronic passports
|
|
23
|
8619
|
December 15, 2024
|
|
Efficient ECDSA signature verification using Circom
|
|
9
|
7600
|
December 13, 2024
|
|
Lookup singularity via MMR
|
|
8
|
3585
|
February 29, 2024
|
|
Prover time comparison of GKR+Groth16 vs. Groth16 for proving MiMC hashes
|
|
18
|
7509
|
October 28, 2024
|