Aside. instance-verifiability of divulgers A divulger L1 is instance-verifiable meaning that the correctness of any valid instance of the output L1(d, b) can be verified without knowledge of any secrets, by checking that k1(L1(d, b)) = d.
Appears in 2 contracts
Sources: Key Agreement, Key Agreement