o1-labs의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
zk-SNARK 및 zkApps를 위한 TypeScript 프레임워크
검증 가능한 연산을 위한 OCaml DSL
