https://github.com/ruuda/zerorack

Experiments with circuit compilation and zk-snarks
https://github.com/ruuda/zerorack

arithmetic-circuits r1cs zk-snarks

Last synced: 5 months ago
JSON representation

Experiments with circuit compilation and zk-snarks

• Host: GitHub
• URL: https://github.com/ruuda/zerorack
• Owner: ruuda
• License: apache-2.0
• Created: 2023-02-11T19:43:45.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-09-08T08:13:01.000Z (almost 2 years ago)
• Last Synced: 2025-05-07T12:48:24.662Z (about 1 year ago)
• Topics: arithmetic-circuits, r1cs, zk-snarks
• Language: Haskell
• Homepage:
• Size: 28.3 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Zerorack

This repository contains experiments with circuit compilation and zk-snarks.

Initially I wanted to make a standalone DSL that compiles to R1CS, but I pivoted

to making a Haskell eDSL for now.

**Vaporware warning**: This is just a toy project for me to better understand

zk-snarks.