2924deb
This commit was signed with the committer’s verified signature.
Sword-Smith
Thorkil Værge
- *(stark_verify)* Bound prover-provided log2 padded height >= 8 ([24523834](https://github.com/TritonVM/tasm-lib/commit/24523834)) - *(!)* Upgrade upstream triton-vm to v7.0.0 ([4a0b83b3](https://github.com/TritonVM/tasm-lib/commit/4a0b83b3)) - Verify that proof of smallest execution passes ([500cedda](https://github.com/TritonVM/tasm-lib/commit/500cedda)) - Add script to replace all fingerprints ([e9ba7bc0](https://github.com/TritonVM/tasm-lib/commit/e9ba7bc0))