eigen-zkvm
eigen-zkvm copied to clipboard
0xEigenLabs
A Rust zkVM with a Modular Proof System
Now there are too many log lines from cranelift_codegen. ``` [2024-04-29T10:16:03Z DEBUG cranelift_codegen::timing::details] timing: Ending VCode emission finalization [2024-04-29T10:16:03Z DEBUG cranelift_codegen::timing::details] timing: Ending Compilation passes [2024-04-29T10:16:03Z DEBUG cranelift_codegen::timing::details] timing: Ending...
* unify compressor_setup and compressor_exec into one `compressor` * resolved #147
Since the const tree is the same for different chunks of the same program, we can cache it when proving.
All the functions involved are: * [zkvm_evm_prove_only](https://github.com/0xEigenLabs/eigen-prover/blob/main/prover/src/provers/batch_prover.rs#L61C9-L61C28) * [circom_compile](https://github.com/0xEigenLabs/eigen-prover/blob/main/prover/src/provers/batch_prover.rs#L112) * [setup](https://github.com/0xEigenLabs/eigen-prover/blob/main/prover/src/provers/batch_prover.rs#L123) * [exec](https://github.com/0xEigenLabs/eigen-prover/blob/main/prover/src/provers/batch_prover.rs#L136) * [stark_prove](https://github.com/0xEigenLabs/eigen-prover/blob/main/prover/src/provers/batch_prover.rs#L145) * [join_zkin](https://github.com/0xEigenLabs/eigen-prover/blob/main/prover/src/provers/agg_prover.rs#L92)
It takes about 50+ seconds to initialize the StarkSetup [here](https://github.com/0xEigenLabs/eigen-zkvm/blob/main/zkvm/src/lib.rs#L46), but for a task, like EVM, we need run once only for all it's segment, so we can cache it...
[StarkContext](https://github.com/0xEigenLabs/eigen-zkvm/blob/main/starky/src/stark_gen.rs#L23) takes huge memory space since we define the elements are from FieldExtension, but this is not a must. - [ ] Using base field as more as we can,...