|
About the zk-s[nt]arks category
|
|
0
|
3320
|
December 8, 2017
|
|
Vocdoni Protocol: Enabling Decentralized Voting for the Masses with ZK Technology
|
|
11
|
2139
|
October 15, 2026
|
|
Atomic ZK-Proof-Gated Settlement for x402 Agent Payments: A Measured Reference Design
|
|
3
|
333
|
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
|
336
|
August 10, 2026
|
|
Qingming-STARK-G64: a Goldilocks STARK backend on AMD ROCm/HIP
|
|
0
|
70
|
July 10, 2026
|
|
Qingming-g64-ntt-cuda: RTX4090-24G results for native Goldilocks/G64 STARK-LDE NTT
|
|
2
|
84
|
July 6, 2026
|
|
Qingming-g64-ntt: Native Goldilocks/G64 GPU NTT at 2^27 on RX 7900 XTX, and a reproducible benchmark plan
|
|
0
|
83
|
July 4, 2026
|
|
What if post-quantum Ethereum doesn’t need signatures at all?
|
|
17
|
1230
|
July 2, 2026
|
|
Designing Infrastructure Where Exploits Destroy Themselves
|
|
0
|
147
|
July 2, 2026
|
|
Blocks Are Dead. Long Live Blobs
|
|
5
|
725
|
June 29, 2026
|
|
MACI and group bribe attacks
|
|
5
|
2261
|
June 25, 2026
|
|
EVM Verification of WHIR over a 31-bit Field
|
|
0
|
313
|
May 19, 2026
|
|
WHIR for Ethereum
|
|
1
|
1800
|
May 20, 2026
|
|
Reducing the verification cost of a SNARK through hierarchical aggregation
|
|
12
|
10011
|
April 29, 2026
|
|
Folding over quartic extensions in 2N-4 multiplications, and why row-based commitment layers can't keep up
|
|
0
|
90
|
April 7, 2026
|
|
Where to download the perpeptual power of tau for bn254?
|
|
0
|
43
|
March 31, 2026
|
|
Cheon's attack and its effect on the security of big trusted setups
|
|
31
|
9515
|
March 31, 2026
|
|
Does Ethereum have a zk-verifiability problem?
|
|
7
|
731
|
March 12, 2026
|
|
When L = D + pQ Is Not Enough: Exactness Repair for BN254 Wrappers
|
|
0
|
95
|
March 8, 2026
|
|
GKRFold: SumFold-based GKR Proof Compression
|
|
2
|
622
|
February 26, 2026
|
|
Fake GLV: You don't need an efficient endomorphism to implement GLV-like scalar multiplication in SNARK circuits
|
|
9
|
2249
|
November 25, 2025
|
|
Generating Pasta keypairs
|
|
4
|
432
|
July 31, 2025
|
|
The Signal: Ethereum - Casper FFG Finality Proofs
|
|
0
|
225
|
July 30, 2025
|
|
Distributed Proof Generation
|
|
0
|
354
|
July 23, 2025
|
|
Censorable Tornado Cash
|
|
7
|
909
|
June 3, 2025
|
|
Zero-knowledge proofs of identity using electronic passports
|
|
23
|
8640
|
December 15, 2024
|
|
Efficient ECDSA signature verification using Circom
|
|
9
|
7616
|
December 13, 2024
|
|
Lookup singularity via MMR
|
|
8
|
3599
|
February 29, 2024
|
|
Prover time comparison of GKR+Groth16 vs. Groth16 for proving MiMC hashes
|
|
18
|
7529
|
October 28, 2024
|