|
About the zk-s[nt]arks category
|
|
0
|
3310
|
December 8, 2017
|
|
The Ethical Priority Map: 736 Formal Rules for AI Agent Architecture in Collective Decision-Making
|
|
1
|
13
|
July 11, 2026
|
|
Qingming-STARK-G64: a Goldilocks STARK backend on AMD ROCm/HIP
|
|
0
|
32
|
July 10, 2026
|
|
Qingming-g64-ntt-cuda: RTX4090-24G results for native Goldilocks/G64 STARK-LDE NTT
|
|
2
|
38
|
July 6, 2026
|
|
Qingming-g64-ntt: Native Goldilocks/G64 GPU NTT at 2^27 on RX 7900 XTX, and a reproducible benchmark plan
|
|
0
|
61
|
July 4, 2026
|
|
What if post-quantum Ethereum doesn’t need signatures at all?
|
|
17
|
1048
|
July 2, 2026
|
|
Designing Infrastructure Where Exploits Destroy Themselves
|
|
0
|
58
|
July 2, 2026
|
|
Blocks Are Dead. Long Live Blobs
|
|
5
|
578
|
June 29, 2026
|
|
MACI and group bribe attacks
|
|
5
|
2228
|
June 25, 2026
|
|
EVM Verification of WHIR over a 31-bit Field
|
|
0
|
258
|
May 19, 2026
|
|
WHIR for Ethereum
|
|
1
|
1723
|
May 20, 2026
|
|
Reducing the verification cost of a SNARK through hierarchical aggregation
|
|
12
|
9932
|
April 29, 2026
|
|
Folding over quartic extensions in 2N-4 multiplications, and why row-based commitment layers can't keep up
|
|
0
|
77
|
April 7, 2026
|
|
Where to download the perpeptual power of tau for bn254?
|
|
0
|
35
|
March 31, 2026
|
|
Cheon's attack and its effect on the security of big trusted setups
|
|
31
|
9387
|
March 31, 2026
|
|
Does Ethereum have a zk-verifiability problem?
|
|
7
|
689
|
March 12, 2026
|
|
When L = D + pQ Is Not Enough: Exactness Repair for BN254 Wrappers
|
|
0
|
83
|
March 8, 2026
|
|
GKRFold: SumFold-based GKR Proof Compression
|
|
2
|
586
|
February 26, 2026
|
|
Fake GLV: You don't need an efficient endomorphism to implement GLV-like scalar multiplication in SNARK circuits
|
|
9
|
2051
|
November 25, 2025
|
|
Generating Pasta keypairs
|
|
4
|
419
|
July 31, 2025
|
|
The Signal: Ethereum - Casper FFG Finality Proofs
|
|
0
|
198
|
July 30, 2025
|
|
Distributed Proof Generation
|
|
0
|
337
|
July 23, 2025
|
|
Censorable Tornado Cash
|
|
7
|
859
|
June 3, 2025
|
|
Vocdoni Protocol: Enabling Decentralized Voting for the Masses with ZK Technology
|
|
10
|
1922
|
January 20, 2025
|
|
Zero-knowledge proofs of identity using electronic passports
|
|
23
|
8513
|
December 15, 2024
|
|
Efficient ECDSA signature verification using Circom
|
|
9
|
7548
|
December 13, 2024
|
|
Lookup singularity via MMR
|
|
8
|
3576
|
February 29, 2024
|
|
Prover time comparison of GKR+Groth16 vs. Groth16 for proving MiMC hashes
|
|
18
|
7465
|
October 28, 2024
|
|
zkCasper: A SNARK based protocol for verifying Casper FFG Consensus
|
|
32
|
5237
|
March 22, 2024
|
|
Verify ed25519 signatures cheaply on Eth using ZK-Snarks
|
|
13
|
8329
|
December 1, 2024
|