Search papers, labs, and topics across Lattice.
Affiliation:
1
0
0
This work proves soundness against adversarial provers and up to f Byzantine validators, and completeness for queries anchored by a post-deployment modification, assuming archive, attestation, and committee evidence is available.
