https://github.com/chancehudson/ashlang-spartan
https://github.com/chancehudson/ashlang-spartan
Last synced: about 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/chancehudson/ashlang-spartan
- Owner: chancehudson
- Created: 2024-08-31T00:25:11.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2024-09-06T17:06:13.000Z (almost 2 years ago)
- Last Synced: 2025-03-30T10:19:22.669Z (over 1 year ago)
- Language: Rust
- Size: 35.2 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## Deprecation notice
This repo has been integrated into [chancehudson/ashlang](https://github.com/chancehudson/ashlang).
# ashlang-spartan
Implements [microsoft/spartan](https://github.com/microsoft/Spartan) proofs using R1CS compiled using [chancehudson/ashlang](https://github.com/chancehudson/ashlang).
Clone and run `cargo run` to build a spartan proof. Customize the program in `main.rs` to change what is being proven.