o1-labs / snarky

用于可验证计算的 OCaml DSL。

仓库 Star

508总榜 #61,198

Fork

85

最近推送

3 个月前更新

仓库创建

2018 年创建