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

Commit e560d5b

Browse files
committed
README.md updated #3
1 parent a6457cf commit e560d5b

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

README.md

+6-6
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ To actually include this library in a project it is required to:
1515
This library is used in [ZKLLVM]{https://github.com/NilFoundation/zkllvm} transpiler binary.
1616
It produces gate argument for EVM from zkllvm-assigner which consists of circuit.crct and assignment.tbl file.
1717
It can also create test proof to check gate argument by [evm-placeholder-verification]{https://github.com/NilFoundation/zkllvm}
18-
To build transpiler app follow ZKLLVM instructions to prepare evironment and input data.
18+
To build transpiler app follow ZKLLVM instructions to prepare evironment and input data. Use this branch [ZKLLVM](https://github.com/NilFoundation/zkllvm/tree/64-add-optimize-option-to-transpiler-app).
1919

2020
1. Build transpiler binary file
2121
```bash
@@ -25,18 +25,18 @@ make -C ${ZKLLVM_BUILD:-build} transpiler -j$(nproc)
2525
```bash
2626
${ZKLLVM_BUILD:-build}/bin/transpiler/transpiler -m gen-gate-argument -i input_folder -o output_folder
2727
```
28+
Use --optimize-gates option to place small sequental gates to one .sol file
2829
Run to generate test proof:
2930
```bash
3031
${ZKLLVM_BUILD:-build}/bin/transpiler/transpiler -m gen-test-proof -i input_folder -o output_folder
3132
```
32-
3. Copy `output_folder` to `evm-placeholder-verification`. Use this branch [evm-placholder-verification](https://github.com/NilFoundation/evm-placeholder-verification/tree/33-batching-evaluation-proofs))
33+
3. Copy `output_folder` to `evm-placeholder-verification/examples`. Use this branch [evm-placholder-verification](https://github.com/NilFoundation/evm-placeholder-verification/tree/37-merge-33-and-17)
3334

3435
4. Run python scripts from the folder `evm-placeholder-verification/test` to verify test proof
3536
```bash
36-
python3 web3_deploy_gate_argument.py output_folder
37-
python3 web3_placeholder_universal_test.py output_folder
37+
python3 web3_deploy_gate_argument.py examples/output_folder
38+
python3 web3_placeholder_verify_deployed_test.py examples/output_folder
3839
```
39-
4040
## Dependencies
4141

4242
### Internal
@@ -53,4 +53,4 @@ zkLLVM compiler ecosystem:
5353
* [zkLLVM Blueprint](https://github.com/NilFoundation/zkllvm-blueprint.git).
5454

5555
### External
56-
* [Boost](https://boost.org) (>= 1.76)
56+
* [Boost](https://boost.org) (>= 1.76)

0 commit comments

Comments
 (0)