Skip to content

Integrate version 1 proofs

Benjamin Herman requested to merge feature/integrate-v1-proofs into main
  • Restructure program.
  • Integrate version 1 proofs.
  • Implement proof verification via verify subcommand.
  • Implement proof derivation via derive subcommand.
  • Add manual proof verification instructions via manual-verify subcommand.
Edited by Benjamin Herman

Merge request reports