https://github.com/o1-labs/snarky

OCaml DSL for verifiable computation
https://github.com/o1-labs/snarky

Last synced: about 2 months ago
JSON representation

OCaml DSL for verifiable computation

• Host: GitHub
• URL: https://github.com/o1-labs/snarky
• Owner: o1-labs
• License: mit
• Created: 2018-03-02T01:34:09.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-05-13T21:26:33.000Z (4 months ago)
• Last Synced: 2024-06-27T22:59:33.660Z (3 months ago)
• Language: OCaml
• Size: 15.6 MB
• Stars: 487
• Watchers: 45
• Forks: 72
• Open Issues: 8
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-ethereum-virtual-machine - snarky