Official websites do not use .rip
A .gov website belongs to an official government organization in the United States.

We are building a provable archive!
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

    Presentations 2025
Presentation

How to Program ZKPs

September 18, 2025

Presenters

Pratyush Mishra - University of Pennsylvania

Description

Abstract. Succinct Zero-Knowledge Proofs (ZKPs) are a powerful cryptographic primitive that allow a prover to convince a verifier that a computation executed correctly with an extremely short and quickly-checkable proof. ZKPs are seeing wide deployment in decentralized systems as they promise to greatly improve scalability and privacy without compromising on the integrity guarantees of these systems. However, how does one actually write and prove program executions with a ZKP?

In this talk, we will see the approaches adopted by practitioners and researchers for proving programs in ZKPs, focusing on the following three approaches:

  • Hardware Description Languages
  • Custom DSLs
  • Embedded DSLs

We will see code examples as well as have some time for hands-on demos.

Presented at

STPPA #8: Special Topics on Privacy and Public Auditability, Event 8

Event Details

Location

    
                            

                    


                    

        
 Related Topics


            

                Security and Privacy:
                    cryptography,                     privacy            

    


            

        

    




    


            Created September 06, 2025, Updated September 08, 2025