|
Welcome to zkresearch!
|
|
1
|
1042
|
September 27, 2022
|
|
RLN on KZG polynomial commitment scheme [cross-posted]
|
|
3
|
1566
|
February 17, 2024
|
|
ZK Email + ZK JWTs
|
|
4
|
2066
|
February 21, 2023
|
|
Minimal streaming zkVM with quasilinear prover complexity on the thin client and the same memory complexity, as native execution
|
|
0
|
602
|
September 6, 2023
|
|
Diagonal folding: Folding protocols with a large amount of rounds using 2-round Protostar
|
|
0
|
1072
|
August 27, 2023
|
|
Parallelizing Nova - Visualizations and Mental Models behind Paranova
|
|
0
|
1306
|
July 9, 2023
|
|
No-fft O(n) univariate polynomial zero check with O(log(n)) verifier
|
|
0
|
736
|
May 12, 2023
|
|
Running Sangria final proof in shielded mode on untrusted 3rd party prover
|
|
0
|
893
|
April 13, 2023
|
|
Fast-Fourier inspired Sangria
|
|
0
|
836
|
April 24, 2023
|
|
An idea about how to use zk-vms with the Edge Computing Achitectures in Ethereum [cross-posted]
|
|
2
|
860
|
April 19, 2023
|
|
Folding endgame
|
|
9
|
3558
|
April 15, 2023
|
|
Multilinear polynomial KGZ10 commitment with linear pairing check
|
|
0
|
791
|
April 10, 2023
|
|
Towards a Nova-based ZK VM
|
|
0
|
6363
|
April 6, 2023
|
|
Rate-Limit-Nullifier v2 circuits
|
|
0
|
776
|
February 28, 2023
|
|
How quantum computers affect zk and blockchains + how to quantum proof Ethereum
|
|
6
|
1809
|
January 5, 2023
|
|
New Lookup Argument
|
|
2
|
1845
|
December 28, 2022
|
|
Lookup Singularity
|
|
6
|
4618
|
December 12, 2022
|
|
Random permutation circuit
|
|
3
|
1023
|
December 2, 2022
|
|
Thinking about Attestations
|
|
3
|
2058
|
December 1, 2022
|
|
Unique anonymity via new verifiably deterministic signatures on ecdsa
|
|
1
|
1008
|
November 24, 2022
|
|
Composition of proof systems
|
|
1
|
1476
|
November 22, 2022
|
|
Circom-ecdsa optimizations
|
|
0
|
1580
|
October 5, 2022
|
|
CODEGATE CTF 2022: Look It Up Writeup | Deeper Look at PLOOKUP
|
|
0
|
2126
|
November 9, 2022
|
|
Efficient pre-compiles for multisets
|
|
0
|
996
|
October 26, 2022
|