Coda

Certified circom circuits in Coq.

Requirements

• opam
• Coq Platform 2022.04.1.
• coq-rewriter

How to set up for development

make install-fiat-crypto
make install-coqprime

• For auditing purposes, you can use the command 'make audit' to disable warnings.

• For development, you can use the command 'make dev' to compile the library.

Development tips

• Before starting working on a new source file, please add the file path to _Coqproject

• If you need any other file from fiat-crypto that's absent in this repo:

  • remove comment lines for the desired file and its transitive dependencies in fiat-crypto/_Coqproject
  • rerun make install-fiat-crypto in project root directory

• You might need to add the installation directory to the COQPATH environment variable.