Skip to content
This repository was archived by the owner on Jul 5, 2024. It is now read-only.

Milestones

List view

  • ZK Light Client part 2

    - Build a circuit that receives (hashed): - old MPT root and new MPT root - list of initial account/storage states - list of updates of account/storage states - and proves: - initial state with MPT proofs with old MPT root - updates states with MPT proofs reach new MPT root - Build a light client PoC that: - Receives a partial statedb+codedb for block N - Executes the EVM with transactions from block N on top of the partial statedb+codedb - Verifies a zk proof using old root, new root, initial statedb, updates collected during execution

    Due by December 31, 2023
    •4/4 issues closed
    100% complete0 open4 closed

  • Explore block proof chunking & dynamism

    - Introduction https://hackmd.io/1h_McCIcTpmILN0xZlbnSw # Third iteration (31st March 2024) - [ ] Finish the PoC defined in the second iteration # Second iteration (31st December 2023) - [ ] Make a minimal Proof of Concept of block chunking with proof aggregation, where only the EVM and State Circuit are chunked. (the other circuits are just repeated in every chunk without continuation) - [x] Nearly completed (only a few details missing) # First iteration (30th October 2023) - [x] Figure out if we would need many changes in our circuits to accomplish this

    Due by March 31, 2024
    •10/10 issues closed
    100% complete0 open10 closed

  • ZK Light Client part 1

    - Introduction https://hackmd.io/xFvkAVfZSi-cd-_31YOeSA - Do the exercises to validate the project (in particular, figure out network savings) - Implement the circuit (relying on the MptTable for now, without MPT circuit) - Make a full application: See project description section "zkp for MPT proofs"

    Due by September 30, 2023
    •4/4 issues closed
    100% complete0 open4 closed

  • word-hi-lo

    Refactor the usage of EVM Words from RLC to Hi/Lo Targeting end of April or end of May

    Due by May 31, 2023
    •15/15 issues closed
    100% complete0 open15 closed

  • tech-debt-1

    Reduce tech debt in Circuit input builder and Constraint builder, mainly by refactoring (reduce code repetition) Targeting end of April or end of May

    Due by May 31, 2023
    •28/28 issues closed
    100% complete0 open28 closed

  • Increase opcode/error support

    - Support as many opcodes as possible - Aim for 90% official Ethereum test passing Targeting end of April or end of May

    Due by May 31, 2023
    •14/14 issues closed
    100% complete0 open14 closed

  • successful-erc20

    Allow making a successful ERC20 transfer using OpenZeppelin ERC20 implementation.

    No due date
    •39/39 issues closed
    100% complete0 open39 closed