https://github.com/avras/bellpepper-tutorial-files

Files used in a bellpepper tutorial
https://github.com/avras/bellpepper-tutorial-files

Last synced: 11 months ago
JSON representation

Files used in a bellpepper tutorial

• Host: GitHub
• URL: https://github.com/avras/bellpepper-tutorial-files
• Owner: avras
• Created: 2024-02-04T02:34:02.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-02-04T02:36:51.000Z (over 2 years ago)
• Last Synced: 2025-07-03T19:07:17.042Z (12 months ago)
• Language: Rust
• Size: 3.91 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Programs used in a bellpepper tutorial

[bellpepper](https://github.com/lurk-lab/bellpepper) is a Rust library for writing R1CS circuits. The programs in this repo were used in a tutorial for students at IIT Bombay in February 2024.