|
About the zk-s[nt]arks category
|
|
0
|
3316
|
December 8, 2017
|
|
Atomic ZK-Proof-Gated Settlement for x402 Agent Payments: A Measured Reference Design
|
|
1
|
188
|
August 28, 2026
|
|
Proof boundaries in a minimal homomorphic tally for token weighted voting
|
|
0
|
58
|
August 27, 2026
|
|
Arcanum: a privacy-first compiler layer for source code — TEE now, ZK as the long-term foundation
|
|
12
|
291
|
August 10, 2026
|
|
Qingming-STARK-G64: a Goldilocks STARK backend on AMD ROCm/HIP
|
|
0
|
63
|
July 10, 2026
|
|
Qingming-g64-ntt-cuda: RTX4090-24G results for native Goldilocks/G64 STARK-LDE NTT
|
|
2
|
75
|
July 6, 2026
|
|
Qingming-g64-ntt: Native Goldilocks/G64 GPU NTT at 2^27 on RX 7900 XTX, and a reproducible benchmark plan
|
|
0
|
78
|
July 4, 2026
|
|
What if post-quantum Ethereum doesn’t need signatures at all?
|
|
17
|
1183
|
July 2, 2026
|
|
Designing Infrastructure Where Exploits Destroy Themselves
|
|
0
|
122
|
July 2, 2026
|
|
Blocks Are Dead. Long Live Blobs
|
|
5
|
682
|
June 29, 2026
|
|
MACI and group bribe attacks
|
|
5
|
2247
|
June 25, 2026
|
|
EVM Verification of WHIR over a 31-bit Field
|
|
0
|
296
|
May 19, 2026
|
|
WHIR for Ethereum
|
|
1
|
1769
|
May 20, 2026
|
|
Reducing the verification cost of a SNARK through hierarchical aggregation
|
|
12
|
9983
|
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
|
39
|
March 31, 2026
|
|
Cheon's attack and its effect on the security of big trusted setups
|
|
31
|
9456
|
March 31, 2026
|
|
Does Ethereum have a zk-verifiability problem?
|
|
7
|
709
|
March 12, 2026
|
|
When L = D + pQ Is Not Enough: Exactness Repair for BN254 Wrappers
|
|
0
|
90
|
March 8, 2026
|
|
GKRFold: SumFold-based GKR Proof Compression
|
|
2
|
599
|
February 26, 2026
|
|
Fake GLV: You don't need an efficient endomorphism to implement GLV-like scalar multiplication in SNARK circuits
|
|
9
|
2187
|
November 25, 2025
|
|
Generating Pasta keypairs
|
|
4
|
424
|
July 31, 2025
|
|
The Signal: Ethereum - Casper FFG Finality Proofs
|
|
0
|
211
|
July 30, 2025
|
|
Distributed Proof Generation
|
|
0
|
342
|
July 23, 2025
|
|
Censorable Tornado Cash
|
|
7
|
892
|
June 3, 2025
|
|
Vocdoni Protocol: Enabling Decentralized Voting for the Masses with ZK Technology
|
|
10
|
2040
|
January 20, 2025
|
|
Zero-knowledge proofs of identity using electronic passports
|
|
23
|
8597
|
December 15, 2024
|
|
Efficient ECDSA signature verification using Circom
|
|
9
|
7582
|
December 13, 2024
|
|
Lookup singularity via MMR
|
|
8
|
3582
|
February 29, 2024
|
|
Prover time comparison of GKR+Groth16 vs. Groth16 for proving MiMC hashes
|
|
18
|
7502
|
October 28, 2024
|