https://github.com/tomafrench/circom-to-acir
https://github.com/tomafrench/circom-to-acir
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/tomafrench/circom-to-acir
- Owner: TomAFrench
- Created: 2024-02-05T09:06:51.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2024-02-05T09:15:48.000Z (over 1 year ago)
- Last Synced: 2025-03-12T05:03:10.885Z (3 months ago)
- Language: Rust
- Size: 27.3 KB
- Stars: 6
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# `circom-to-acir`
Converts from Circom's `.r1cs` to ACIR. An ABI for compatibility with Noir tooling is also generated.
## Known issues
- `circom-to-acir` will panic in the case where any of the circuit's inputs are optimized out from the circuit.
- Noir enforces that no input may be optimised out so ABI generation doesn't know how to deal with these.
- Can be fixed later to write these witness values to some scratch space in the witness map.