Papers (39)

#Title
Citations
1.HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates Binyi Chen and Benedikt Bünz and Dan Boneh and Zhenfei Zhang. 2022.
179
2.zkbridge: Trustless cross-chain bridges made practical Xie, Tiancheng and Zhang, Jiaheng and Cheng, Zerui and Zhang, Fan and Zhang, Yupeng and Jia, Yongzheng and Boneh, Dan and Song, Dawn. 2022.
163
3.Orion: Zero Knowledge Proof with Linear Prover Time Tiancheng Xie and Yupeng Zhang and Dawn Song. 2022.
107
4.Caulk: Lookup Arguments in Sublinear Time Arantxa Zapico and Vitalik Buterin and Dmitry Khovratovich and Mary Maller and Anca Nitulescu and Mark Simkin. 2022.
73
5.Experimenting with Collaborative $\{$zk-SNARKs$\}$:$\{$Zero-Knowledge$\}$ Proofs for Distributed Secrets Ozdemir, Alex and Boneh, Dan. 2022.
71
6.SuperNova: Proving universal machine executions without universal circuits Abhiram Kothapalli and Srinath Setty. 2022.
56
7.A Review of zk-SNARKs Chen, Thomas and Lu, Hui and Kunpittaya, Teeramet and Luo, Alan. 2022.
55
8.Powers-of-Tau to the People: Decentralizing Setup Ceremonies Nikolaenko, Valeria and Ragsdale, Sam and Bonneau, Joseph and Boneh, Dan. 2022.
55
9.cq: Cached quotients for fast lookups Liam Eagen and Dario Fiore and Ariel Gabizon. 2022.
55
10.Multivariate lookups based on logarithmic derivatives Ulrich Haböck. 2022.
54
11.A survey of elliptic curves for proof systems Aranha, Diego F and El Housni, Youssef and Guillevic, Aurore. 2022.
51
12.Baloo: Nearly Optimal Lookup Arguments Zapico, Arantxa and Gabizon, Ariel and Khovratovich, Dmitry and Maller, Mary and R\`afols, Carla. 2022.
41
13.VERI-ZEXE: Decentralized private computation with universal setup Xiong, Alex Luoyuan and Chen, Binyi and Zhang, Zhenfei and B\"unz, Benedikt and Fisch, Ben and Krell, Fernando and Camacho, Philippe. 2022.
36
14.Caulk+: Table-independent lookup arguments Jim Posen and Assimakis A. Kattis. 2022.
33
15.Plonkup: Reconciling plonk with plookup Pearson, Luke and Fitzgerald, Joshua and Masip, H\'ector and Bell\'es-Mu\~noz, Marta and Mu\~noz-Tapia, Jose Luis. 2022.
30
16.Witness-Succinct Universally-Composable SNARKs Ganesh, Chaya and Kondi, Yashvanth and Orlandi, Claudio and Pancholi, Mahak and Takahashi, Akira and Tschudi, Daniel. 2022.
28
17.Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK Helger Lipmaa and Janno Siim and Michal Zajac. 2022.
26
18.flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size Ariel Gabizon and Dmitry Khovratovich. 2022.
26
19.Linear-map Vector Commitments and their Practical Applications Matteo Campanelli and Anca Nitulescu and Carla Ràfols and Alexandros Zacharakis and Arantxa Zapico. 2022.
24
20.Curve Trees: Practical and Transparent Zero-Knowledge Accumulators Matteo Campanelli and Mathias Hall-Andersen and Simon Holmgaard Kamp. 2022.
22
21.Short-lived zero-knowledge proofs and signatures Arasu Arun and Joseph Bonneau and Jeremy Clark. 2022.
21
22.Dew: Transparent Constant-sized {zkSNARKs} Arasu Arun and Chaya Ganesh and Satya Lokam and Tushar Mopuri and Sriram Sridhar. 2022.
19
23.Succinct Zero Knowledge for Floating Point Computations Garg, Sanjam and Jain, Abhishek and Jin, Zhengzhong and Zhang, Yinuo. 2022.
16
24.{aPlonK} : Aggregated {PlonK} from Multi-Polynomial Commitment Schemes Miguel Ambrona and Marc Beunardeau and Anne-Laure Schmitt and Raphaël R. Toledo. 2022.
16
25.On Succinct Non-Interactive Arguments in Relativized Worlds Chen, Megan and Chiesa, Alessandro and Spooner, Nicholas. 2022.
15
26.Revisiting cycles of pairing-friendly elliptic curves Marta Bellés-Muñoz and Jorge Jiménez Urroz and Javier Silva. 2022.
13
27.Proofs of discrete logarithm equality across groups Melissa Chase and Michele Orrù and Trevor Perrin and Greg Zaverucha. 2022.
12
28.Dispute-free Scalable Open Vote Network using zk-SNARKs ElSheikh, Muhammad and Youssef, Amr M. 2022.
10
29.Folding Schemes with Selective Verification Carla Ràfols and Alexandros Zacharakis. 2022.
7
30.CycloneNTT: An NTT/FFT Architecture Using Quasi-Streaming of Large Datasets on DDR- and HBM-based FPGA Platforms Kaveh Aasaraai and Emanuele Cesena and Rahul Maganti and Nicolas Stalder and Javier Varela and Kevin Bowers. 2022.
7
31.ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs Bogdanov, Dan and J\"a\"ager, Joosep and Laud, Peeter and Nestra, H\"armel and Pettai, Martin and Randmets, Jaak and Sokk, Ville and Tali, Kert and Valdma, Sandhra-Mirella. 2022.
4
32.Vortex : Building a Lattice-based SNARK scheme with Transparent Setup Alexandre Belling and Azam Soleimanian. 2022.
4
33.Less is more: refinement proofs for probabilistic proofs Jiang, Kunming and Chait-Roth, Devora and DeStefano, Zachary and Walfish, Michael and Wies, Thomas. 2022.
3
34.$\mu$Cash: Transparent Anonymous Transactions Liam Eagen. 2022.
3
35.The Arithmetic of Pairing-Based Proof Systems El Housni, Youssef. 2022.
3
36.RapidUp: Multi-domain permutation protocol for lookup tables Ardevol, H\'ector Masip and Mel\'e, Jordi Baylina and Lubarov, Daniel and Mu\~noz-Tapia, Jos\'e L. 2022.
3
37.EdMSM: Multi-Scalar-Multiplication for recursive SNARKs and more Youssef EL Housni and Gautam Botrel. 2022.
0
38.A zk-evm specification B\'egassat, Olivier and Belling, Alexandre and Chapuis-Chkaiban, Th\'eodore and Delehelle, Franklin and Kolad, Blazej and Liochon, Nicolas. 2022.
0
39.CRS-Updatable Asymmetric Quasi-Adaptive NIZK Arguments Behzad Abdolmaleki and Daniel Slamanig. 2022.
0

Videos

–

–