Skip to content

fix : modify GSM signature encoding #49

fix : modify GSM signature encoding

fix : modify GSM signature encoding #49

Triggered via pull request September 1, 2025 15:52
Status Success
Total duration 2m 19s
Artifacts 1

certora-gsm-4626.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-e3dd0c7f-8123-4b7a-b803-29e351d2aa13-17382328889
28.1 KB
sha256:866f7e2ddfedd0751a1b2271e728131a3f2e814cfd9434f2011b9870ee6774cb