An Introduction to Commitment-Based Succinct Arguments

Visit talk page

Fiat-Shamir in the standard model: Current state-of-the-art and future challenges

Visit talk page

Functional Commitments

Visit talk page

Incremental proof systems

Visit talk page

Error-Correcting Codes That Enable Efficient SNARKs

Visit talk page

SP1 Hypercube and the Jagged PCS

Visit talk page

SNARGs for P/poly from SIS

Visit talk page

A New Approach for Non-Interactive Zero-Knowledge from Learning with Errors

Visit talk page

A Zero-Knowledge PCP Theorem

Visit talk page

Towards a White-Box Secure Fiat-Shamir Transformation

Visit talk page