Author of the publication

Proving the correct execution of concurrent services in zero-knowledge.

, , , and . OSDI, page 339-356. USENIX Association, (2018)

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

Transparency Dictionaries with Succinct Proofs of Correct Operation., , , and . IACR Cryptol. ePrint Arch., (2021)Proving the correct execution of concurrent services in zero-knowledge., , , and . OSDI, page 339-356. USENIX Association, (2018)Spartan: Efficient and general-purpose zkSNARKs without trusted setup.. IACR Cryptology ePrint Archive, (2019)SuperNova: Proving universal machine executions without universal circuits., and . IACR Cryptol. ePrint Arch., (2022)Brakedown: Linear-time and post-quantum SNARKs for R1CS., , , , and . IACR Cryptol. ePrint Arch., (2021)CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves., and . IACR Cryptol. ePrint Arch., (2023)BabySpartan: Lasso-based SNARK for non-uniform computation., and . IACR Cryptol. ePrint Arch., (2023)Veritas: Shared Verifiable Databases and Tables in the Cloud., , , , , , , , , and 4 other author(s). CIDR, www.cidrdb.org, (2019)FastVer: Making Data Integrity a Commodity., , , , , , , , , and 3 other author(s). SIGMOD Conference, page 89-101. ACM, (2021)Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent., , , , , , and . OSDI, page 501-516. USENIX Association, (2016)