pinkiebell
pinkiebell
Can be put inside the `web` container at `/bridge`
...for consumers of this crate.
common zkevm-circuits commit: https://github.com/privacy-scaling-explorations/zkevm-circuits/commit/48b73bf632266e9cd009a685542aabb044ebebbd branch with block fixtures: https://github.com/privacy-scaling-explorations/zkevm-chain/tree/prover-error-super-ag-native_withdraw-63c082e431c67eec08325c5ce6e178ae719c472b/errors ``` thread 'tokio-runtime-worker' panicked at 'gen_proof: ConstraintSystemFailure MockProver: Err( [ ConstraintNotSatisfied { constraint: Constraint { gate: Gate { index: 2624, name:...
This includes changes that are used in zkevm-chain. The pi circuit spec changed in between and this PR doesn't account for these changes.
Here some bullet points I mentioned: - Most of the time the prover only utilizes a single core. (generating params & proving key)? - Once multiple cores are used (halo2)...
###### Further opcodes for more advanced l2 contracts (compatibility layers, erc-20 factories etc): - [x] EXTCODEHASH https://github.com/appliedzkp/zkevm-circuits/pull/353 - [ ] EXTCODESIZE - [ ] CREATE2 - [x] CODECOPY - [x]...
The following points need clarification regarding the zkevm-specs and the pi circuit implementation. - In the zkevm-specs we encode each value with `FQ(v) = v % 0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47` to fit into...
###### required environmental opcodes for L2 Bridge - [x] CALLVALUE https://github.com/appliedzkp/zkevm-circuits/pull/287 - [x] CALLDATASIZE https://github.com/appliedzkp/zkevm-circuits/pull/329 - [x] CALLDATALOAD https://github.com/appliedzkp/zkevm-circuits/pull/346 - [x] CALLDATACOPY https://github.com/appliedzkp/zkevm-circuits/pull/393 - [x] ORIGIN https://github.com/appliedzkp/zkevm-circuits/pull/360 - [x] CALLER...
At this moment, the `SimpleFloorPlanner` used in zkevm-circuits will call the closure for `assign_region` twice. It might makes sense to deduplicate this call in halo2 because there a few compute...
# Bounty leap-node should use `ripemd160(length, sha3(bytecode))` for spencon[¹](#spencon) addresses ## Scope - update `checkSpendingCondition` ## Deliverables - updated code - updated unit tests ## Gain for the project ###...