Circuit examples for ZK Hack Lisbon 2023

A short demo of reference examples to give inspiration for ZK Hack Lisbon 2023. This repo contains example implementations of an adder and proof-of-inclusion in a merkle tree in Circom, Risc-0, and Noir.