colony.technology/docs/picus
docs / related toolsPicus / established open-source tool
same property / outputs uniquely determined by inputs
speedrunpapi
what is checked, and how
proofsdocsproofsclicolony
samples / compiled r1cs / analysed in this browser
circom source of the sample / paste your own for the local command
