Author of the publication

Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols.

, and . ASIACRYPT (2), volume 14439 of Lecture Notes in Computer Science, page 77-110. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Transparent SNARKs from DARK Compilers., , and . EUROCRYPT (1), volume 12105 of Lecture Notes in Computer Science, page 677-706. Springer, (2020)VeriZexe: Decentralized Private Computation with Universal Setup., , , , , , and . USENIX Security Symposium, page 4445-4462. USENIX Association, (2023)HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates., , , and . IACR Cryptol. ePrint Arch., (2022)HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates., , , and . EUROCRYPT (2), volume 14005 of Lecture Notes in Computer Science, page 499-530. Springer, (2023)FlyClient: Super-Light Clients for Cryptocurrencies., , , and . SP, page 928-946. IEEE, (2020)Proofs for Inner Pairing Products and Applications., , , , and . ASIACRYPT (3), volume 13092 of Lecture Notes in Computer Science, page 65-97. Springer, (2021)Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains., , and . CRYPTO (1), volume 11692 of Lecture Notes in Computer Science, page 561-586. Springer, (2019)Proof-Carrying Data Without Succinct Arguments., , , , and . CRYPTO (1), volume 12825 of Lecture Notes in Computer Science, page 681-710. Springer, (2021)Multilinear Schwartz-Zippel Mod N and Lattice-Based Succinct Arguments., and . TCC (3), volume 14371 of Lecture Notes in Computer Science, page 394-423. Springer, (2023)Learning a SAT Solver from Single-Bit Supervision., , , , , and . CoRR, (2018)