Repositórios de código aberto acompanhados de o1-labs, ordenados por estrelas.
Framework TypeScript para zk-SNARKs e zkApps.
DSL OCaml para computação verificável