Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Create witness and blob preloader (#31)
* add func without cargo dep * working local proof computation * add readme * init * fix comments * fix lint * add cryptography crate * working with new kzg lib interface * WIP * t1 * cleanup * add docs fix dep * nit * fix format issue * update eigenda-v2-struct lib * cleanup compute-kzg-proof * fix lint * fix lint * add trait and impl or preloader and oracle * add cert version, make both v1 v2 share the identical interface * add cert version and multiplex cert handling * add zkvm verify logic, refactor validity code into its own struct * rename file * add hint type and refactor fetcher * Update bin/host/src/eigenda_fetcher/mod.rs Co-authored-by: Samuel Laferriere <samlaf92@gmail.com> * rename hint * rename blob_version to payload_encode_version * fix lint * Update crates/proof/src/preloaded_eigenda_provider.rs Co-authored-by: Samuel Laferriere <samlaf92@gmail.com> * Update crates/compute-kzg-proof/README.md Co-authored-by: Samuel Laferriere <samlaf92@gmail.com> * Update crates/proof/src/eigenda_blob_witness.rs Co-authored-by: Samuel Laferriere <samlaf92@gmail.com> * fix lint * fix warn to info * fix read me * make kzg proof typed * fix bug * had a terrible merge conflict, fix missing problems * working v1 * working v1 * fix comm bug * fix lint error * add inputs args to run hokulea * revert machete * fix lint * change gitflow for machate * add nightly to machete to make it run --------- Co-authored-by: Ubuntu <ubuntu@ip-172-31-39-89.ec2.internal> Co-authored-by: Samuel Laferriere <samlaf92@gmail.com>
- Loading branch information