Repositorios de código abierto monitorizados de o1-labs, ordenados por estrellas.
Framework de TypeScript para zk-SNARKs y zkApps
DSL de OCaml para computación verificable