v0.9.1-alpha.4

Pre-release

Pre-release

yamdan released this 18 Mar 08:55

· 21 commits to main since this release

9de121b

Changed

Adjusted the input conditions for derive_proof to correctly exclude invalid input patterns
Added verification rule for rejecting VP with empty statements
Improved formatting

Assets 2