Next sync committee program #65
Comments
tchataigner
added a commit
that referenced
this issue
Jul 12, 2024
fix: as str fix: fix ProvingMode/str conversion feat: benchmark fix: fixed zkvm logs validate update refactor: zkvm logs validate update refactor: zkvm logs process update refactor: remove dbg logs refactor: clearer logs refactor: remove log fix: length of hash for output fix: compiled proper keccak usage fix: proper keccak usage refactor: keccak instead of merkle root refactor: compile program refactor: log cycles fix: assert in execute New sync committee should be the one we had in store fix: fix order of outputs feat: wip #65
tchataigner
added a commit
that referenced
this issue
Jul 12, 2024
fix: as str fix: fix ProvingMode/str conversion feat: benchmark fix: fixed zkvm logs validate update refactor: zkvm logs validate update refactor: zkvm logs process update refactor: remove dbg logs refactor: clearer logs refactor: remove log fix: length of hash for output fix: compiled proper keccak usage fix: proper keccak usage refactor: keccak instead of merkle root refactor: compile program refactor: log cycles fix: assert in execute New sync committee should be the one we had in store fix: fix order of outputs feat: wip #65
tchataigner
added a commit
that referenced
this issue
Jul 12, 2024
fix: as str fix: fix ProvingMode/str conversion feat: benchmark fix: fixed zkvm logs validate update refactor: zkvm logs validate update refactor: zkvm logs process update refactor: remove dbg logs refactor: clearer logs refactor: remove log fix: length of hash for output fix: compiled proper keccak usage fix: proper keccak usage refactor: keccak instead of merkle root refactor: compile program refactor: log cycles fix: assert in execute New sync committee should be the one we had in store fix: fix order of outputs feat: wip #65
tchataigner
added a commit
that referenced
this issue
Jul 15, 2024
fix: as str fix: fix ProvingMode/str conversion feat: benchmark fix: fixed zkvm logs validate update refactor: zkvm logs validate update refactor: zkvm logs process update refactor: remove dbg logs refactor: clearer logs refactor: remove log fix: length of hash for output fix: compiled proper keccak usage fix: proper keccak usage refactor: keccak instead of merkle root refactor: compile program refactor: log cycles fix: assert in execute New sync committee should be the one we had in store fix: fix order of outputs feat: wip #65
tchataigner
added a commit
that referenced
this issue
Jul 30, 2024
fix: as str fix: fix ProvingMode/str conversion feat: benchmark fix: fixed zkvm logs validate update refactor: zkvm logs validate update refactor: zkvm logs process update refactor: remove dbg logs refactor: clearer logs refactor: remove log fix: length of hash for output fix: compiled proper keccak usage fix: proper keccak usage refactor: keccak instead of merkle root refactor: compile program refactor: log cycles fix: assert in execute New sync committee should be the one we had in store fix: fix order of outputs feat: wip #65
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This is a tracking issue about the implementation of the program used to prove a correct sync committee change. The program leverages primarily the
validate_light_client_updateto check a correct committee change.Its input should be:
LightClientSnapshotLightClientUpdateGenesisRootIts output should be:
Moreover, this program should have a benchmark that would tell us the total number of cycles needed to generate a STARK proof, along with the proving time for both a STARK and a SNARK proof. See the benchmarks done for the Aptos Light Client: e2e bench & isolated test.
To run the benchmark, data can be fetched from the necessary endpoints described in #62 and #59 and saved in static files containing the SSZ serialized data.
The text was updated successfully, but these errors were encountered: