Formalize all of circomlib #155
Description
circomlib is highly stable and it's an essential public good powering a large share of existing zk apps.
formalizing all of it would:
- do a good service for the ecosystem
- demonstrate the power and usefulness of clean
- demonstrate how much easier and more efficient it is to write formally correct circuits than to audit them over and over
- be a fun project that also outside contributors can easily jump into
idea: we could use an LLM to scaffold all the circuits