UPLC (UPLC Programming Language Conference) 2025

Talk

How to zk-SNARK on Cardano

Adam Smolarek

on  Tue, 15:20in  G.03for  40min

How to set up a Plutus project and verify zk proofs on chain with https://github.com/input-output-hk/plutus-halo2-verifier-gen

 Overview  Program