Skip to content
formal verification

Process and verify merkle proofs (and multiproof) with custom hash function #4066

Sign in to view logs

Process and verify merkle proofs (and multiproof) with custom hash function

Process and verify merkle proofs (and multiproof) with custom hash function #4066

Triggered via pull request April 23, 2024 15:16
@ernestognwernestognw
synchronize #4887
Amxx:feature/cryptography/merkle-proof-custom-hash
Status Success
Total duration 12s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
2s
apply-diff
verify
0s
verify
Fit to window
Zoom out
Zoom in