|
About the zk-s[nt]arks category
|
|
0
|
3318
|
December 8, 2017
|
|
Atomic ZK-Proof-Gated Settlement for x402 Agent Payments: A Measured Reference Design
|
|
3
|
325
|
September 16, 2026
|
|
Proof boundaries in a minimal homomorphic tally for token weighted voting
|
|
0
|
80
|
August 27, 2026
|
|
Arcanum: a privacy-first compiler layer for source code — TEE now, ZK as the long-term foundation
|
|
12
|
327
|
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
|
80
|
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
|
1219
|
July 2, 2026
|
|
Designing Infrastructure Where Exploits Destroy Themselves
|
|
0
|
144
|
July 2, 2026
|
|
Blocks Are Dead. Long Live Blobs
|
|
5
|
713
|
June 29, 2026
|
|
MACI and group bribe attacks
|
|
5
|
2259
|
June 25, 2026
|
|
EVM Verification of WHIR over a 31-bit Field
|
|
0
|
309
|
May 19, 2026
|
|
WHIR for Ethereum
|
|
1
|
1786
|
May 20, 2026
|
|
Reducing the verification cost of a SNARK through hierarchical aggregation
|
|
12
|
10007
|
April 29, 2026
|
|
Folding over quartic extensions in 2N-4 multiplications, and why row-based commitment layers can't keep up
|
|
0
|
86
|
April 7, 2026
|
|
Where to download the perpeptual power of tau for bn254?
|
|
0
|
42
|
March 31, 2026
|
|
Cheon's attack and its effect on the security of big trusted setups
|
|
31
|
9486
|
March 31, 2026
|
|
Does Ethereum have a zk-verifiability problem?
|
|
7
|
728
|
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
|
611
|
February 26, 2026
|
|
Fake GLV: You don't need an efficient endomorphism to implement GLV-like scalar multiplication in SNARK circuits
|
|
9
|
2219
|
November 25, 2025
|
|
Generating Pasta keypairs
|
|
4
|
431
|
July 31, 2025
|
|
The Signal: Ethereum - Casper FFG Finality Proofs
|
|
0
|
219
|
July 30, 2025
|
|
Distributed Proof Generation
|
|
0
|
352
|
July 23, 2025
|
|
Censorable Tornado Cash
|
|
7
|
904
|
June 3, 2025
|
|
Vocdoni Protocol: Enabling Decentralized Voting for the Masses with ZK Technology
|
|
10
|
2085
|
January 20, 2025
|
|
Zero-knowledge proofs of identity using electronic passports
|
|
23
|
8632
|
December 15, 2024
|
|
Efficient ECDSA signature verification using Circom
|
|
9
|
7610
|
December 13, 2024
|
|
Lookup singularity via MMR
|
|
8
|
3588
|
February 29, 2024
|
|
Prover time comparison of GKR+Groth16 vs. Groth16 for proving MiMC hashes
|
|
18
|
7515
|
October 28, 2024
|