Veridise/circom-coq

This is stars and forks stats for /Veridise/circom-coq repository. As of 28 Apr, 2024 this repository has 31 stars and 3 forks.

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...