formal verification

Add fallback to check uniqueness if signers are not ordered #19

Sign in to view logs

Triggered via pull request June 4, 2025 16:52

Amxx

synchronize #56

Amxx:feature/SignatureCheckerBatchUnordered

Status Success

Total duration 1m 37s

Artifacts –

formal-verification.yml

on: pull_request