v0.6 release goals
irakliyk opened this issue · comments
For v0.6 release I'm thinking of adding the following to the library:
- #93
- #80
- #126
- Abstract away Merkle trees behind
VectorCommitment
trait. - Add support for validity constraints (i.e., constraints which hold on every step of execution trace).
- Enable custom logic for constraint evaluation in the prover.
- Add full support for traces with more than 2 segments.
Suggestions/comments are welcome.
Superseded by #177.