←BackOo1-labs/snarky0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsSnarkyFeaturesProof System Implementations - Ocaml-based DSL for writing zk-SNARK circuits.Star history