[−][src]Crate zkp_stark
Re-exports
pub use zkp_primefield as primefield; |
Structs
| Constraints | Constraints for Stark proofs |
| DensePolynomial | |
| Proof | |
| TraceTable |
Enums
| ConstraintError | |
| ProverError | |
| RationalExpression | |
| VerifierError |
Traits
| Provable | |
| Verifiable |
Functions
| prove | Produce a Stark proof. |
| verify | Stark verify |