Author of the publication

Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.

, , , , and . CRYPTO (2), volume 14082 of Lecture Notes in Computer Science, page 193-226. 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

Proving the correct execution of concurrent services in zero-knowledge., , , and . OSDI, page 339-356. USENIX Association, (2018)FastVer: Making Data Integrity a Commodity., , , , , , , , , and 3 other author(s). SIGMOD Conference, page 89-101. ACM, (2021)Veritas: Shared Verifiable Databases and Tables in the Cloud., , , , , , , , , and 4 other author(s). CIDR, www.cidrdb.org, (2019)Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent., , , , , , and . OSDI, page 501-516. USENIX Association, (2016)Nova: Recursive Zero-Knowledge Arguments from Folding Schemes., , and . CRYPTO (4), volume 13510 of Lecture Notes in Computer Science, page 359-388. Springer, (2022)Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup.. CRYPTO (3), volume 12172 of Lecture Notes in Computer Science, page 704-737. Springer, (2020)Unlocking the Lookup Singularity with Lasso., , and . EUROCRYPT (6), volume 14656 of Lecture Notes in Computer Science, page 180-209. Springer, (2024)Jolt: SNARKs for Virtual Machines via Lookups., , and . EUROCRYPT (6), volume 14656 of Lecture Notes in Computer Science, page 3-33. Springer, (2024)Linear-time zero-knowledge SNARKs for R1CS., , , and . IACR Cryptol. ePrint Arch., (2021)IronFleet: proving practical distributed systems correct., , , , , , , and . SOSP, page 1-17. ACM, (2015)