[−][src]Crate zkp_stark
Structs
| Constraints | Constraints for Stark proofs |
| DensePolynomial | |
| Proof | |
| ProverChannel | |
| TraceTable | |
| VerifierChannel |
Enums
| ConstraintError | |
| ProverError | |
| RationalExpression | |
| VerifierError |
Traits
| Provable | |
| Verifiable |
Functions
| prove | Produce a Stark proof. |
| verify | Stark verify |