├── .env.example ├── .gitignore ├── .gitmodules ├── .vscode └── settings.json ├── Cargo.lock ├── Cargo.toml ├── LICENSE-MIT ├── README.md ├── elf └── riscv32im-succinct-zkvm-elf ├── examples ├── no_std_build │ ├── Cargo.lock │ ├── Cargo.toml │ ├── rust-toolchain.toml │ └── src │ │ └── main.rs └── proofs │ ├── cpu_air_params.json │ ├── cpu_air_prover_config.json │ ├── dex │ ├── cairo0_fibonacci.cairo │ ├── cairo0_stone5_example_proof.json │ ├── cairo0_stone6_blake2s_248_lsb_example_proof.json │ ├── cairo0_stone6_example_proof.json │ └── cairo0_stone6_keccak_160_lsb_example_proof.json │ ├── dynamic │ ├── cairo0_fibonacci.cairo │ ├── cairo0_stone6_example_proof.json │ └── cairo_layout_params.json │ ├── fibonacci_input.json │ ├── generate.py │ ├── recursive │ ├── bitcoin_bootloader_proof.json │ ├── bitcoin_proof.json │ ├── cairo0_fibonacci.cairo │ ├── cairo0_stone5_example_proof.json │ ├── cairo0_stone6_blake2s_248_lsb_example_proof.json │ ├── cairo0_stone6_example_proof.json │ └── cairo0_stone6_keccak_160_lsb_example_proof.json │ ├── recursive_with_poseidon │ ├── cairo0_fibonacci.cairo │ ├── cairo0_stone5_example_proof.json │ ├── cairo0_stone6_blake2s_248_lsb_example_proof.json │ ├── cairo0_stone6_example_proof.json │ └── cairo0_stone6_keccak_160_lsb_example_proof.json │ ├── small │ ├── cairo0_fibonacci.cairo │ ├── cairo0_stone5_example_proof.json │ ├── cairo0_stone6_blake2s_248_lsb_example_proof.json │ ├── cairo0_stone6_example_proof.json │ └── cairo0_stone6_keccak_160_lsb_example_proof.json │ ├── starknet │ ├── cairo0_fibonacci.cairo │ ├── cairo0_stone5_example_proof.json │ ├── cairo0_stone6_blake2s_248_lsb_example_proof.json │ ├── cairo0_stone6_example_proof.json │ └── cairo0_stone6_keccak_160_lsb_example_proof.json │ └── starknet_with_keccak │ ├── cairo0_fibonacci.cairo │ ├── cairo0_stone5_example_proof.json │ ├── cairo0_stone6_blake2s_248_lsb_example_proof.json │ ├── cairo0_stone6_example_proof.json │ └── cairo0_stone6_keccak_160_lsb_example_proof.json ├── program ├── Cargo.lock ├── Cargo.toml └── src │ └── main.rs ├── rust-toolchain └── script ├── Cargo.lock ├── Cargo.toml ├── build.rs └── src └── bin ├── evm.rs └── main.rs /.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/.env.example -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/.gitmodules -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/README.md -------------------------------------------------------------------------------- /elf/riscv32im-succinct-zkvm-elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/elf/riscv32im-succinct-zkvm-elf -------------------------------------------------------------------------------- /examples/no_std_build/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/no_std_build/Cargo.lock -------------------------------------------------------------------------------- /examples/no_std_build/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/no_std_build/Cargo.toml -------------------------------------------------------------------------------- /examples/no_std_build/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/no_std_build/rust-toolchain.toml -------------------------------------------------------------------------------- /examples/no_std_build/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/no_std_build/src/main.rs -------------------------------------------------------------------------------- /examples/proofs/cpu_air_params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/cpu_air_params.json -------------------------------------------------------------------------------- /examples/proofs/cpu_air_prover_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/cpu_air_prover_config.json -------------------------------------------------------------------------------- /examples/proofs/dex/cairo0_fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dex/cairo0_fibonacci.cairo -------------------------------------------------------------------------------- /examples/proofs/dex/cairo0_stone5_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dex/cairo0_stone5_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/dex/cairo0_stone6_blake2s_248_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dex/cairo0_stone6_blake2s_248_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/dex/cairo0_stone6_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dex/cairo0_stone6_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/dex/cairo0_stone6_keccak_160_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dex/cairo0_stone6_keccak_160_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/dynamic/cairo0_fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dynamic/cairo0_fibonacci.cairo -------------------------------------------------------------------------------- /examples/proofs/dynamic/cairo0_stone6_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dynamic/cairo0_stone6_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/dynamic/cairo_layout_params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/dynamic/cairo_layout_params.json -------------------------------------------------------------------------------- /examples/proofs/fibonacci_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/fibonacci_input.json -------------------------------------------------------------------------------- /examples/proofs/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/generate.py -------------------------------------------------------------------------------- /examples/proofs/recursive/bitcoin_bootloader_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive/bitcoin_bootloader_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive/bitcoin_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive/bitcoin_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive/cairo0_fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive/cairo0_fibonacci.cairo -------------------------------------------------------------------------------- /examples/proofs/recursive/cairo0_stone5_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive/cairo0_stone5_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive/cairo0_stone6_blake2s_248_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive/cairo0_stone6_blake2s_248_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive/cairo0_stone6_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive/cairo0_stone6_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive/cairo0_stone6_keccak_160_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive/cairo0_stone6_keccak_160_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive_with_poseidon/cairo0_fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive_with_poseidon/cairo0_fibonacci.cairo -------------------------------------------------------------------------------- /examples/proofs/recursive_with_poseidon/cairo0_stone5_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive_with_poseidon/cairo0_stone5_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive_with_poseidon/cairo0_stone6_blake2s_248_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive_with_poseidon/cairo0_stone6_blake2s_248_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive_with_poseidon/cairo0_stone6_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive_with_poseidon/cairo0_stone6_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/recursive_with_poseidon/cairo0_stone6_keccak_160_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/recursive_with_poseidon/cairo0_stone6_keccak_160_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/small/cairo0_fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/small/cairo0_fibonacci.cairo -------------------------------------------------------------------------------- /examples/proofs/small/cairo0_stone5_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/small/cairo0_stone5_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/small/cairo0_stone6_blake2s_248_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/small/cairo0_stone6_blake2s_248_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/small/cairo0_stone6_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/small/cairo0_stone6_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/small/cairo0_stone6_keccak_160_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/small/cairo0_stone6_keccak_160_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet/cairo0_fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet/cairo0_fibonacci.cairo -------------------------------------------------------------------------------- /examples/proofs/starknet/cairo0_stone5_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet/cairo0_stone5_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet/cairo0_stone6_blake2s_248_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet/cairo0_stone6_blake2s_248_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet/cairo0_stone6_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet/cairo0_stone6_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet/cairo0_stone6_keccak_160_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet/cairo0_stone6_keccak_160_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet_with_keccak/cairo0_fibonacci.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet_with_keccak/cairo0_fibonacci.cairo -------------------------------------------------------------------------------- /examples/proofs/starknet_with_keccak/cairo0_stone5_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet_with_keccak/cairo0_stone5_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet_with_keccak/cairo0_stone6_blake2s_248_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet_with_keccak/cairo0_stone6_blake2s_248_lsb_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet_with_keccak/cairo0_stone6_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet_with_keccak/cairo0_stone6_example_proof.json -------------------------------------------------------------------------------- /examples/proofs/starknet_with_keccak/cairo0_stone6_keccak_160_lsb_example_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/examples/proofs/starknet_with_keccak/cairo0_stone6_keccak_160_lsb_example_proof.json -------------------------------------------------------------------------------- /program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/program/Cargo.lock -------------------------------------------------------------------------------- /program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/program/Cargo.toml -------------------------------------------------------------------------------- /program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/program/src/main.rs -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/rust-toolchain -------------------------------------------------------------------------------- /script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/script/Cargo.lock -------------------------------------------------------------------------------- /script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/script/Cargo.toml -------------------------------------------------------------------------------- /script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/script/build.rs -------------------------------------------------------------------------------- /script/src/bin/evm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/script/src/bin/evm.rs -------------------------------------------------------------------------------- /script/src/bin/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilowhk/swiftness-sp1/HEAD/script/src/bin/main.rs --------------------------------------------------------------------------------