Dépôts open source suivis de o1-labs, triés par étoiles.
Framework TypeScript pour les zk-SNARKs et les zkApps
DSL OCaml pour le calcul vérifiable