3 releases (1 unstable)
| 26.2.1-non-semver-compat | Jan 29, 2025 |
|---|---|
| 26.1.0-non-semver-compat | Jan 22, 2025 |
| 0.1.0 | Jul 12, 2024 |
#26 in #prover
472 downloads per month
Used in 24 crates
(8 directly)
610KB
14K
SLoC
Point of interaction of the core subsystem with the prover subsystem. Defines the means of communication between the two subsystems without exposing the internal details of either.
Dependencies
~74MB
~1.5M SLoC