Skip to content

fix: endorse a graph only for the operator and peer that ran the verifier setup - #522

Open
KSlashh wants to merge 1 commit into
devfrom
audit/18b-verifier-binding
Open

fix: endorse a graph only for the operator and peer that ran the verifier setup#522
KSlashh wants to merge 1 commit into
devfrom
audit/18b-verifier-binding

fix: endorse a graph only for the operator and peer that ran the veri…

366ea28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
TLA+ Formal Verification
succeeded Nov 9, 2026 in 3m 26s