Skip to content
formal verification

Implement P256 verification via RIP-7212 precompile with Solidity fallback #4371

Sign in to view logs

Implement P256 verification via RIP-7212 precompile with Solidity fallback

Implement P256 verification via RIP-7212 precompile with Solidity fallback #4371

Triggered via pull request June 21, 2024 01:07
@ernestognwernestognw
synchronize #4881
Amxx:feature/P256
Status Success
Total duration 1m 1s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
3s
apply-diff
verify
0s
verify
halmos
51s
halmos
Fit to window
Zoom out
Zoom in