Unforgeability. For all v and g, if Pi is honest and an honest party received (vki, sid, v, g) from π, then Pi invoked GradeGoss(sid, v). When a party receives (vk, sid, ⊥, g), we call this an equivocation proof for (vk, sid). 3.2.1 Partial Communication Graphs
Appears in 2 contracts
Sources: Byzantine Agreement, Byzantine Agreement