diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index a3608580d..faa9de096 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -3,5 +3,4 @@ /zero/ @muursh @Nashtare @atanmarko /smt_trie/ @0xaatif @muursh @Nashtare /mpt_trie/ @0xaatif @Nashtare @muursh -/trace_decoder/ @0xaatif @muursh @Nashtare .github/ @0xaatif @atanmarko @muursh @Nashtare diff --git a/zero/README.md b/zero/README.md index 936a73c91..f2db9a0f3 100644 --- a/zero/README.md +++ b/zero/README.md @@ -458,26 +458,6 @@ Filled in: Finally, note that both of these testing scripts force proof generation to be sequential by allowing only one worker. Because of this, this is not a realistic representation of performance but makes the debugging logs much easier to follow. -### Trace decoder tests - -The trace decoder module has some basic regression tests, using the json witness data from the `trace_decoder/tests/data/witnesses` subdirectories. -When needed (e.g. some block with corner-case discovered), additional input witness data should be generated using the following procedure: - -1. Run the `rpc` tool to fetch the block (or multiple blocks) witness: - -```sh -cargo run --package zero --bin rpc fetch --rpc-url --start-block --end-block > ./b_.json -``` - -2. Download the header file for the block (or range of blocks), making the json array of headers: - -```sh -file_name = "b__header.json" -echo "[" > $file_name && cast rpc eth_getBlockByNumber "0x" 'false' --rpc-url >> $file_name && echo "]" >> $file_name -``` - -Move the generated files to the appropriate subdirectory, and they will be automatically included in the test run. - ## License Licensed under either of diff --git a/zero/tests/cases/README.md b/zero/tests/cases/README.md new file mode 100644 index 000000000..798e59f55 --- /dev/null +++ b/zero/tests/cases/README.md @@ -0,0 +1,7 @@ +```bash +cargo run --package zero --bin rpc fetch --rpc-url $rpc_url --start-block $number --end-block $number > ./b$number_$network.json +header_name=b$number_$network_header.json +echo "[" > $file_name +cast rpc eth_getBlockByNumber 0x$number false --rpc-url $rpc_url >> $file_name +echo "]" >> $file_name +```