triton-constraint-builder
| Crates.io | triton-constraint-builder |
| lib.rs | triton-constraint-builder |
| version | |
| source | src |
| created_at | 2024-09-10 13:56:12.983877 |
| updated_at | 2024-12-09 14:38:07.403571 |
| description | Emits efficient code from Triton VM's AIR. |
| homepage | https://triton-vm.org/ |
| repository | https://github.com/TritonVM/triton-vm |
| max_upload_size | |
| id | 1370387 |
| Cargo.toml error: | TOML parse error at line 19, column 1 | 19 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
Jan Ferdinand Sauer (jan-ferdinand)
documentation
https://triton-vm.org/spec/
README
Constraint Circuit Builder
This crate is part of the Triton VM ecosystem. It contains the code generator emitting efficient Rust code for Triton VM's AIR constraints, which are part of the STARK proving system.