feat: add keeper

README.md

@@ -33,4 +33,4 @@ Learn more about Ziren at [docs.zkm.io](https://docs.zkm.io).
 ## Acknowledgements
 Ziren draws inspiration from the following projects, which represents the cutting-edge zero-knowledge proof systems. 
 - [Plonky3](https://github.com/Plonky3/Plonky3): Ziren proving backend is based on Plonky3.
-- [SP1](https://github.com/succinctlabs/sp1): Ziren circuit builder, recursion compiler, and precompiles originate from SP1.
+- [SP1](https://github.com/succinctlabs/sp1): Ziren circuit builder, recursion compiler, and precompiles originate from SP1.

crates/core/executor/src/artifacts/mips_costs.json

@@ -2,7 +2,6 @@
   "U256XU2048Mul": 5849,
   "Bn254Fp2MulAssign": 2885,
   "CloClz": 46,
-  "BooleanCircuitGarble": 588,
   "Bls12831Fp2AddSubAssign": 2070,
   "SyscallInstrs": 80,
   "DivRem": 162,
@@ -17,6 +16,7 @@
   "Program": 31,
   "Global": 115,
   "Secp256k1AddAssign": 4013,
+  "BooleanCircuitGarble": 588,
   "AddSub": 47,
   "Jump": 82,
   "Bn254FpOpAssign": 704,

crates/core/machine/Cargo.toml

@@ -32,6 +32,7 @@ zkm-primitives = { workspace = true }
 zkm-core-executor = { workspace = true, default-features = true }
 zkm-curves = { workspace = true }
 
+crossbeam-channel = "0.5.12"
 rayon = "1.10.0"
 rayon-scan = "0.1.1"