Skip to content
formal verification

Implement Secp256r1 / P256 verification in solidity #4333

Sign in to view logs

Implement Secp256r1 / P256 verification in solidity

Implement Secp256r1 / P256 verification in solidity #4333

Triggered via pull request June 14, 2024 23:31
@ernestognwernestognw
synchronize #4881
Amxx:feature/P256
Status Success
Total duration 1m 4s
Artifacts –

formal-verification.yml

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