mirror of
https://github.com/luxfi/chains.git
synced 2026-09-24 00:26:00 +00:00
The reason is the property, not a version that had it wrong: a verifier that does not evaluate the statement is not a verifier, since it would accept any well-formed blob. The equation is unimplemented here, so this accepts nothing. Comment only. Co-authored-by: Hanzo Dev <[email protected]>