├── .github └── workflows │ ├── docs.yml │ └── rust.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── README.md ├── annotated_proof.json ├── examples ├── bootloader │ ├── cpu_air_params.json │ ├── cpu_air_prover_config.json │ ├── fact_topologies.json │ ├── fib_annotated_proof.json │ ├── fibonacci_compiled.json │ ├── fibonacci_input.json │ ├── gen │ │ └── .gitkeep │ ├── hidden │ │ └── .gitkeep │ ├── requirements.txt │ ├── stone-prover │ │ └── .gitkeep │ ├── test_bootloader_fib.py │ └── test_compiled_bootloader.json └── verify_stone_proof.rs ├── src ├── annotated_proof.rs ├── annotation_parser.rs ├── bin │ └── stark_evm_adapter.rs ├── errors.rs ├── fri_merkle_statement.rs ├── lib.rs ├── merkle_statement.rs └── oods_statement.rs └── tests ├── annotation_parser.rs └── fixtures ├── annotated_proof.json ├── expected_split_proofs.json ├── fact_topologies.json ├── fri_0_contract_args.json ├── madara_fibonacci_proof.json ├── madara_fibonacci_proof_topologies.json ├── main_proof_contract_args.json ├── stone_proof.json ├── stone_proof_annotation.txt ├── stone_proof_annotation_extra.txt └── trace_0_contract_args.json /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/README.md -------------------------------------------------------------------------------- /annotated_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/annotated_proof.json -------------------------------------------------------------------------------- /examples/bootloader/cpu_air_params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/cpu_air_params.json -------------------------------------------------------------------------------- /examples/bootloader/cpu_air_prover_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/cpu_air_prover_config.json -------------------------------------------------------------------------------- /examples/bootloader/fact_topologies.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/fact_topologies.json -------------------------------------------------------------------------------- /examples/bootloader/fib_annotated_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/fib_annotated_proof.json -------------------------------------------------------------------------------- /examples/bootloader/fibonacci_compiled.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/fibonacci_compiled.json -------------------------------------------------------------------------------- /examples/bootloader/fibonacci_input.json: -------------------------------------------------------------------------------- 1 | { 2 | "fibonacci_claim_index": 10 3 | } 4 | -------------------------------------------------------------------------------- /examples/bootloader/gen/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/bootloader/hidden/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/bootloader/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/requirements.txt -------------------------------------------------------------------------------- /examples/bootloader/stone-prover/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/bootloader/test_bootloader_fib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/test_bootloader_fib.py -------------------------------------------------------------------------------- /examples/bootloader/test_compiled_bootloader.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/bootloader/test_compiled_bootloader.json -------------------------------------------------------------------------------- /examples/verify_stone_proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/examples/verify_stone_proof.rs -------------------------------------------------------------------------------- /src/annotated_proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/annotated_proof.rs -------------------------------------------------------------------------------- /src/annotation_parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/annotation_parser.rs -------------------------------------------------------------------------------- /src/bin/stark_evm_adapter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/bin/stark_evm_adapter.rs -------------------------------------------------------------------------------- /src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/errors.rs -------------------------------------------------------------------------------- /src/fri_merkle_statement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/fri_merkle_statement.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/merkle_statement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/merkle_statement.rs -------------------------------------------------------------------------------- /src/oods_statement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/src/oods_statement.rs -------------------------------------------------------------------------------- /tests/annotation_parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/annotation_parser.rs -------------------------------------------------------------------------------- /tests/fixtures/annotated_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/annotated_proof.json -------------------------------------------------------------------------------- /tests/fixtures/expected_split_proofs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/expected_split_proofs.json -------------------------------------------------------------------------------- /tests/fixtures/fact_topologies.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/fact_topologies.json -------------------------------------------------------------------------------- /tests/fixtures/fri_0_contract_args.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/fri_0_contract_args.json -------------------------------------------------------------------------------- /tests/fixtures/madara_fibonacci_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/madara_fibonacci_proof.json -------------------------------------------------------------------------------- /tests/fixtures/madara_fibonacci_proof_topologies.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/madara_fibonacci_proof_topologies.json -------------------------------------------------------------------------------- /tests/fixtures/main_proof_contract_args.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/main_proof_contract_args.json -------------------------------------------------------------------------------- /tests/fixtures/stone_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/stone_proof.json -------------------------------------------------------------------------------- /tests/fixtures/stone_proof_annotation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/stone_proof_annotation.txt -------------------------------------------------------------------------------- /tests/fixtures/stone_proof_annotation_extra.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/stone_proof_annotation_extra.txt -------------------------------------------------------------------------------- /tests/fixtures/trace_0_contract_args.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-evm-adapter/HEAD/tests/fixtures/trace_0_contract_args.json --------------------------------------------------------------------------------