Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

e2e erc20 transfer proving #127

Closed
wants to merge 105 commits into from
Closed

e2e erc20 transfer proving #127

wants to merge 105 commits into from

Conversation

lispc
Copy link

@lispc lispc commented Mar 28, 2022

This branch brings together with SHL, SHR, CALLDATALOAD, SSTORE, SLOAD, dummy implementation of SHA3 / LOG3 / CODECOPY, and ERC20 integration tests.

test_evm_circuit_multiple_erc20_openzeppelin_transfers passed (with LOG3 / SHA3 skipped)

How to test:

#install docker locally
cd integration-tests
./run.sh --steps "setup"
./run.sh --steps "gendata"

# you can get block number from log, like "test evm circuit block 8". useful for real proving later
# mock prove
RUST_LOG=debug cargo test --profile release --test circuits --features circuits test_evm_circuit_multiple_erc20_openzeppelin_transfers -- --nocapture 

# real prove
# use correct "BLOCK_NUM=?" same as mock proving output  
RUST_LOG=debug BLOCK_NUM=8 RPC_URL=http://localhost:8545 ./target/release/prover_cmd

@lispc
Copy link
Author

lispc commented Apr 8, 2022

close for #127

@lispc lispc closed this Apr 8, 2022
@lispc lispc mentioned this pull request Apr 8, 2022
Closed
@lispc lispc deleted the feat/e2e_call_erc20 branch October 31, 2022 12:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants