You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
we should start with a simple model, such as verifying a threshold multisignature over headers
circuit takes as public input a start set of keys and weights and an end set of keys and weights and some hashes (state DB Merkle roots) associated with heights
circuit takes as private input a list of headers and signatures
headers must be verified sequentially
each header can update the keys and weights and has a hash (state DB root) associated with the particular height
circuit should check
that all of the header transitions are valid, i.e. for each i from start to end,
the signatures for h_i on the signer set for h_i+1 are valid, if it changed
the signatures for h_i on the hash are valid
and that if the height is in the list of heights we want to verify the state DB root for, the root matches
rough initial sense:
(x && y || z)
(= 2 (if x then y else z : Int)) --> ((x && y = 2) || z == 2)
The text was updated successfully, but these errors were encountered: