https://github.com/sdiehl/arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems
https://github.com/sdiehl/arithmetic-circuits

arithmetic-circuit compiler qap zero-knowledge zk-snarks zksnarks

Last synced: 3 months ago
JSON representation

Arithmetic circuits for zero knowledge proof systems

• Host: GitHub
• URL: https://github.com/sdiehl/arithmetic-circuits
• Owner: sdiehl
• License: mit
• Created: 2019-11-16T17:13:10.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2024-04-16T19:15:20.000Z (over 1 year ago)
• Last Synced: 2025-07-06T16:03:22.836Z (3 months ago)
• Topics: arithmetic-circuit, compiler, qap, zero-knowledge, zk-snarks, zksnarks
• Language: Haskell
• Homepage: https://www.adjoint.io
• Size: 328 KB
• Stars: 83
• Watchers: 6
• Forks: 14
• Open Issues: 1
• Metadata Files:
  • Readme: README.lhs
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README