Employment
Employment history is unavailable.
Education
Education history is unavailable.
Projects & Funding
Projects & funding information is unavailable.
Publications (12)
- GAPP: Generic Aggregation of Polynomial IOPs Save
- Samaritan: Linear-Time Prover SNARK from New Multilinear Polynomial Commitments Save
- Compute, but Verify: Efficient Multiparty Computation over Authenticated Inputs Save
- Batching-Efficient RAM using Updatable Lookup Arguments Save
- Dual Polynomial Commitment Schemes and Applications to Commit-and-Prove SNARKs Save
- Secure Vickrey Auctions with Rational Parties Save
- How to Make Rational Arguments Practical and Extractable Save
- Succinct Verification of Compressed Sigma Protocols in the Updatable SRS Setting Save
- Witness-Succinct Universally-Composable SNARKs Save
- Fiat–Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model) Save