Bitcoin consensus zk proof using Risc0
Primary LanguageRust
# build make build # run dev make trace # run with proving make run