├── .github └── dependabot.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── alu_u32 ├── Cargo.toml └── src │ ├── add │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ ├── bitwise │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ ├── com │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ ├── div │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ ├── lib.rs │ ├── lt │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ ├── mul │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ ├── shift │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ └── sub │ ├── columns.rs │ ├── mod.rs │ └── stark.rs ├── assembler ├── Cargo.toml ├── README.md ├── grammar │ └── assembly.pest └── src │ ├── bin │ └── assembler.rs │ └── lib.rs ├── basic-api-wasm ├── Cargo.toml ├── README.md ├── binary │ └── fibonacci └── src │ ├── lib.rs │ └── utils.rs ├── basic-api ├── Cargo.toml ├── benches │ └── keccak_bench.rs ├── src │ ├── commands │ │ ├── common.rs │ │ ├── interactive.rs │ │ ├── mod.rs │ │ ├── preprocess.rs │ │ ├── prove.rs │ │ ├── run.rs │ │ └── verify.rs │ ├── instance_data │ │ └── mod.rs │ ├── lib.rs │ ├── machine │ │ ├── basic.rs │ │ ├── boot.rs │ │ ├── mod.rs │ │ └── runtime.rs │ └── metrics │ │ ├── func_cpu_usage.rs │ │ ├── metrics.rs │ │ └── mod.rs └── tests │ ├── common │ └── mod.rs │ ├── programs │ ├── assembly │ │ ├── endianess_and_loadu8_storeu8.val │ │ ├── fibonacci.val │ │ └── subtraction.val │ └── binary │ │ ├── fibonacci.bin │ │ └── subtraction.bin │ ├── test_instructions │ ├── arith │ │ ├── mod.rs │ │ ├── props.rs │ │ └── tests.rs │ ├── bitwise │ │ ├── mod.rs │ │ ├── props.rs │ │ └── tests.rs │ ├── common.rs │ ├── conditional │ │ ├── mod.rs │ │ ├── props.rs │ │ └── tests.rs │ ├── cpu │ │ ├── mod.rs │ │ ├── props.rs │ │ └── tests.rs │ ├── main.rs │ ├── memory │ │ ├── mod.rs │ │ ├── props.rs │ │ └── tests.rs │ └── testmachine.rs │ ├── test_interpreter.rs │ ├── test_prover.rs │ └── test_static_data.rs ├── basic ├── Cargo.toml └── src │ └── bin │ ├── args │ └── mod.rs │ ├── interactive │ └── mod.rs │ └── valida.rs ├── basic_macro ├── Cargo.toml ├── src │ ├── bin │ │ ├── test_prover.rs │ │ └── valida.rs │ └── lib.rs └── tests │ ├── programs │ ├── assembly │ │ ├── fibonacci.val │ │ └── subtraction.val │ └── binary │ │ ├── fibonacci.bin │ │ └── subtraction.bin │ ├── test_interpreter.rs │ ├── test_prover.rs │ └── test_static_data.rs ├── bus ├── Cargo.toml └── src │ └── lib.rs ├── bytes ├── Cargo.toml └── src │ └── lib.rs ├── compile-and-install.sh ├── cpu ├── Cargo.toml └── src │ ├── columns.rs │ ├── lib.rs │ └── stark.rs ├── derive ├── Cargo.toml └── src │ └── lib.rs ├── docs ├── .gitignore ├── book.toml └── src │ ├── SUMMARY.md │ ├── design │ ├── bus-communication.md │ ├── chips │ │ ├── cpu.md │ │ ├── main.md │ │ ├── native-field.md │ │ ├── output.md │ │ ├── program-memory.md │ │ ├── range-check.md │ │ ├── rw-memory.md │ │ ├── u32-alu.md │ │ └── u32-alu │ │ │ ├── addition.md │ │ │ ├── bitwise.md │ │ │ ├── division.md │ │ │ ├── less-than.md │ │ │ ├── multiplication.md │ │ │ ├── shift.md │ │ │ └── subtraction.md │ ├── main.md │ ├── memory │ │ ├── main.md │ │ ├── program-memory.md │ │ └── rw-memory.md │ └── operations │ │ ├── bus-operations.md │ │ ├── cpu-operations.md │ │ └── main.md │ ├── isa │ ├── immediate-values.md │ ├── instruction-format.md │ ├── instruction-list.md │ ├── main.md │ ├── memory-addressing.md │ └── registers.md │ ├── quick-start │ ├── benchmark.md │ ├── clone-repo.md │ ├── main.md │ └── run-tests.md │ └── tutorial │ ├── custom-instruction.md │ ├── fibonacci │ ├── build-machine-config.md │ ├── compile-program.md │ └── run-prover.md │ ├── main.md │ └── prove-fibonacci.md ├── elf ├── Cargo.toml └── src │ └── lib.rs ├── elliptic ├── Cargo.toml └── src │ └── lib.rs ├── keccak ├── Cargo.toml └── src │ ├── columns.rs │ ├── constants.rs │ ├── lib.rs │ ├── logic.rs │ └── stark.rs ├── lookups ├── Cargo.toml └── src │ ├── lib.rs │ └── stark.rs ├── machine ├── Cargo.toml └── src │ ├── __internal.rs │ ├── advice.rs │ ├── check_constraints.rs │ ├── chip.rs │ ├── config.rs │ ├── core.rs │ ├── debug_builder.rs │ ├── error.rs │ ├── folding_builder.rs │ ├── indexer.rs │ ├── lib.rs │ ├── machine.rs │ ├── memory_backend.rs │ ├── permutation │ ├── columns.rs │ ├── mod.rs │ └── stark.rs │ ├── persistence.rs │ ├── program.rs │ ├── proof.rs │ ├── public.rs │ ├── quotient.rs │ ├── symbolic │ ├── mod.rs │ ├── symbolic_builder.rs │ ├── symbolic_expression.rs │ ├── symbolic_expression_ext.rs │ └── symbolic_variable.rs │ ├── verify.rs │ └── write_tape.rs ├── media ├── profiling_valida_prove.gif └── profiling_valida_run.png ├── memory ├── Cargo.toml └── src │ ├── columns.rs │ ├── lib.rs │ └── stark.rs ├── memory_footprint ├── Cargo.toml └── src │ └── lib.rs ├── native_field ├── Cargo.toml └── src │ ├── columns.rs │ ├── lib.rs │ └── stark.rs ├── opcodes ├── Cargo.toml └── src │ └── lib.rs ├── output ├── Cargo.toml └── src │ ├── columns.rs │ ├── lib.rs │ └── stark.rs ├── persistence ├── Cargo.toml └── src │ └── lib.rs ├── program ├── Cargo.toml └── src │ ├── columns.rs │ └── lib.rs ├── range ├── Cargo.toml └── src │ ├── columns.rs │ └── lib.rs ├── recursive-verifier-api ├── .gitignore ├── Cargo.toml └── src │ └── lib.rs ├── recursive-verifier ├── Cargo.toml ├── prepare-recursive-verifier-input.sh └── src │ └── bin │ ├── recursive-specific.rs │ └── recursive-universal.rs ├── rust-toolchain.toml ├── static_data ├── Cargo.toml └── src │ ├── columns.rs │ ├── lib.rs │ └── stark.rs ├── util ├── Cargo.toml └── src │ └── lib.rs └── verifier ├── Cargo.toml └── src └── lib.rs /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | tmp 3 | .cargo/config.toml 4 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/README.md -------------------------------------------------------------------------------- /alu_u32/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/Cargo.toml -------------------------------------------------------------------------------- /alu_u32/src/add/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/add/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/add/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/add/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/add/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/add/stark.rs -------------------------------------------------------------------------------- /alu_u32/src/bitwise/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/bitwise/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/bitwise/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/bitwise/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/bitwise/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/bitwise/stark.rs -------------------------------------------------------------------------------- /alu_u32/src/com/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/com/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/com/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/com/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/com/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/com/stark.rs -------------------------------------------------------------------------------- /alu_u32/src/div/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/div/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/div/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/div/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/div/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/div/stark.rs -------------------------------------------------------------------------------- /alu_u32/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/lib.rs -------------------------------------------------------------------------------- /alu_u32/src/lt/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/lt/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/lt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/lt/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/lt/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/lt/stark.rs -------------------------------------------------------------------------------- /alu_u32/src/mul/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/mul/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/mul/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/mul/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/mul/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/mul/stark.rs -------------------------------------------------------------------------------- /alu_u32/src/shift/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/shift/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/shift/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/shift/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/shift/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/shift/stark.rs -------------------------------------------------------------------------------- /alu_u32/src/sub/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/sub/columns.rs -------------------------------------------------------------------------------- /alu_u32/src/sub/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/sub/mod.rs -------------------------------------------------------------------------------- /alu_u32/src/sub/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/alu_u32/src/sub/stark.rs -------------------------------------------------------------------------------- /assembler/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/assembler/Cargo.toml -------------------------------------------------------------------------------- /assembler/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /assembler/grammar/assembly.pest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/assembler/grammar/assembly.pest -------------------------------------------------------------------------------- /assembler/src/bin/assembler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/assembler/src/bin/assembler.rs -------------------------------------------------------------------------------- /assembler/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/assembler/src/lib.rs -------------------------------------------------------------------------------- /basic-api-wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api-wasm/Cargo.toml -------------------------------------------------------------------------------- /basic-api-wasm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api-wasm/README.md -------------------------------------------------------------------------------- /basic-api-wasm/binary/fibonacci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api-wasm/binary/fibonacci -------------------------------------------------------------------------------- /basic-api-wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api-wasm/src/lib.rs -------------------------------------------------------------------------------- /basic-api-wasm/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api-wasm/src/utils.rs -------------------------------------------------------------------------------- /basic-api/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/Cargo.toml -------------------------------------------------------------------------------- /basic-api/benches/keccak_bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/benches/keccak_bench.rs -------------------------------------------------------------------------------- /basic-api/src/commands/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/commands/common.rs -------------------------------------------------------------------------------- /basic-api/src/commands/interactive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/commands/interactive.rs -------------------------------------------------------------------------------- /basic-api/src/commands/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/commands/mod.rs -------------------------------------------------------------------------------- /basic-api/src/commands/preprocess.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/commands/preprocess.rs -------------------------------------------------------------------------------- /basic-api/src/commands/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/commands/prove.rs -------------------------------------------------------------------------------- /basic-api/src/commands/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/commands/run.rs -------------------------------------------------------------------------------- /basic-api/src/commands/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/commands/verify.rs -------------------------------------------------------------------------------- /basic-api/src/instance_data/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/instance_data/mod.rs -------------------------------------------------------------------------------- /basic-api/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/lib.rs -------------------------------------------------------------------------------- /basic-api/src/machine/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/machine/basic.rs -------------------------------------------------------------------------------- /basic-api/src/machine/boot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/machine/boot.rs -------------------------------------------------------------------------------- /basic-api/src/machine/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/machine/mod.rs -------------------------------------------------------------------------------- /basic-api/src/machine/runtime.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/machine/runtime.rs -------------------------------------------------------------------------------- /basic-api/src/metrics/func_cpu_usage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/metrics/func_cpu_usage.rs -------------------------------------------------------------------------------- /basic-api/src/metrics/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/metrics/metrics.rs -------------------------------------------------------------------------------- /basic-api/src/metrics/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/src/metrics/mod.rs -------------------------------------------------------------------------------- /basic-api/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/common/mod.rs -------------------------------------------------------------------------------- /basic-api/tests/programs/assembly/endianess_and_loadu8_storeu8.val: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/programs/assembly/endianess_and_loadu8_storeu8.val -------------------------------------------------------------------------------- /basic-api/tests/programs/assembly/fibonacci.val: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/programs/assembly/fibonacci.val -------------------------------------------------------------------------------- /basic-api/tests/programs/assembly/subtraction.val: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/programs/assembly/subtraction.val -------------------------------------------------------------------------------- /basic-api/tests/programs/binary/fibonacci.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/programs/binary/fibonacci.bin -------------------------------------------------------------------------------- /basic-api/tests/programs/binary/subtraction.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/programs/binary/subtraction.bin -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/arith/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/arith/mod.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/arith/props.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/arith/props.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/arith/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/arith/tests.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/bitwise/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/bitwise/mod.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/bitwise/props.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/bitwise/props.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/bitwise/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/bitwise/tests.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/common.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/conditional/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/conditional/mod.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/conditional/props.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/conditional/props.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/conditional/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/conditional/tests.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/cpu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/cpu/mod.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/cpu/props.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/cpu/props.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/cpu/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/cpu/tests.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/main.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/memory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/memory/mod.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/memory/props.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/memory/props.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/memory/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/memory/tests.rs -------------------------------------------------------------------------------- /basic-api/tests/test_instructions/testmachine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_instructions/testmachine.rs -------------------------------------------------------------------------------- /basic-api/tests/test_interpreter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_interpreter.rs -------------------------------------------------------------------------------- /basic-api/tests/test_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_prover.rs -------------------------------------------------------------------------------- /basic-api/tests/test_static_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic-api/tests/test_static_data.rs -------------------------------------------------------------------------------- /basic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic/Cargo.toml -------------------------------------------------------------------------------- /basic/src/bin/args/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic/src/bin/args/mod.rs -------------------------------------------------------------------------------- /basic/src/bin/interactive/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic/src/bin/interactive/mod.rs -------------------------------------------------------------------------------- /basic/src/bin/valida.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic/src/bin/valida.rs -------------------------------------------------------------------------------- /basic_macro/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/Cargo.toml -------------------------------------------------------------------------------- /basic_macro/src/bin/test_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/src/bin/test_prover.rs -------------------------------------------------------------------------------- /basic_macro/src/bin/valida.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/src/bin/valida.rs -------------------------------------------------------------------------------- /basic_macro/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/src/lib.rs -------------------------------------------------------------------------------- /basic_macro/tests/programs/assembly/fibonacci.val: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/tests/programs/assembly/fibonacci.val -------------------------------------------------------------------------------- /basic_macro/tests/programs/assembly/subtraction.val: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/tests/programs/assembly/subtraction.val -------------------------------------------------------------------------------- /basic_macro/tests/programs/binary/fibonacci.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/tests/programs/binary/fibonacci.bin -------------------------------------------------------------------------------- /basic_macro/tests/programs/binary/subtraction.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/tests/programs/binary/subtraction.bin -------------------------------------------------------------------------------- /basic_macro/tests/test_interpreter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/tests/test_interpreter.rs -------------------------------------------------------------------------------- /basic_macro/tests/test_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/tests/test_prover.rs -------------------------------------------------------------------------------- /basic_macro/tests/test_static_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/basic_macro/tests/test_static_data.rs -------------------------------------------------------------------------------- /bus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/bus/Cargo.toml -------------------------------------------------------------------------------- /bus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/bus/src/lib.rs -------------------------------------------------------------------------------- /bytes/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/bytes/Cargo.toml -------------------------------------------------------------------------------- /bytes/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/bytes/src/lib.rs -------------------------------------------------------------------------------- /compile-and-install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/compile-and-install.sh -------------------------------------------------------------------------------- /cpu/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/cpu/Cargo.toml -------------------------------------------------------------------------------- /cpu/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/cpu/src/columns.rs -------------------------------------------------------------------------------- /cpu/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/cpu/src/lib.rs -------------------------------------------------------------------------------- /cpu/src/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/cpu/src/stark.rs -------------------------------------------------------------------------------- /derive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/derive/Cargo.toml -------------------------------------------------------------------------------- /derive/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/derive/src/lib.rs -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | output 2 | -------------------------------------------------------------------------------- /docs/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/docs/book.toml -------------------------------------------------------------------------------- /docs/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/docs/src/SUMMARY.md -------------------------------------------------------------------------------- /docs/src/design/bus-communication.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/cpu.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/main.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/native-field.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/output.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/program-memory.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/range-check.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/rw-memory.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu/addition.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu/bitwise.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu/division.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu/less-than.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu/multiplication.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu/shift.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/chips/u32-alu/subtraction.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/main.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/memory/main.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/memory/program-memory.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/memory/rw-memory.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/operations/bus-operations.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/operations/cpu-operations.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/design/operations/main.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/isa/immediate-values.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/isa/instruction-format.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/isa/instruction-list.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/isa/main.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/isa/memory-addressing.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/isa/registers.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/quick-start/benchmark.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/quick-start/clone-repo.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/quick-start/main.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/quick-start/run-tests.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/tutorial/custom-instruction.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/tutorial/fibonacci/build-machine-config.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/tutorial/fibonacci/compile-program.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/tutorial/fibonacci/run-prover.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/tutorial/main.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/tutorial/prove-fibonacci.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /elf/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/elf/Cargo.toml -------------------------------------------------------------------------------- /elf/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/elf/src/lib.rs -------------------------------------------------------------------------------- /elliptic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/elliptic/Cargo.toml -------------------------------------------------------------------------------- /elliptic/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/elliptic/src/lib.rs -------------------------------------------------------------------------------- /keccak/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/keccak/Cargo.toml -------------------------------------------------------------------------------- /keccak/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/keccak/src/columns.rs -------------------------------------------------------------------------------- /keccak/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/keccak/src/constants.rs -------------------------------------------------------------------------------- /keccak/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/keccak/src/lib.rs -------------------------------------------------------------------------------- /keccak/src/logic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/keccak/src/logic.rs -------------------------------------------------------------------------------- /keccak/src/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/keccak/src/stark.rs -------------------------------------------------------------------------------- /lookups/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/lookups/Cargo.toml -------------------------------------------------------------------------------- /lookups/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/lookups/src/lib.rs -------------------------------------------------------------------------------- /lookups/src/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/lookups/src/stark.rs -------------------------------------------------------------------------------- /machine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/Cargo.toml -------------------------------------------------------------------------------- /machine/src/__internal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/__internal.rs -------------------------------------------------------------------------------- /machine/src/advice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/advice.rs -------------------------------------------------------------------------------- /machine/src/check_constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/check_constraints.rs -------------------------------------------------------------------------------- /machine/src/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/chip.rs -------------------------------------------------------------------------------- /machine/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/config.rs -------------------------------------------------------------------------------- /machine/src/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/core.rs -------------------------------------------------------------------------------- /machine/src/debug_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/debug_builder.rs -------------------------------------------------------------------------------- /machine/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/error.rs -------------------------------------------------------------------------------- /machine/src/folding_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/folding_builder.rs -------------------------------------------------------------------------------- /machine/src/indexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/indexer.rs -------------------------------------------------------------------------------- /machine/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/lib.rs -------------------------------------------------------------------------------- /machine/src/machine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/machine.rs -------------------------------------------------------------------------------- /machine/src/memory_backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/memory_backend.rs -------------------------------------------------------------------------------- /machine/src/permutation/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/permutation/columns.rs -------------------------------------------------------------------------------- /machine/src/permutation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/permutation/mod.rs -------------------------------------------------------------------------------- /machine/src/permutation/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/permutation/stark.rs -------------------------------------------------------------------------------- /machine/src/persistence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/persistence.rs -------------------------------------------------------------------------------- /machine/src/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/program.rs -------------------------------------------------------------------------------- /machine/src/proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/proof.rs -------------------------------------------------------------------------------- /machine/src/public.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/public.rs -------------------------------------------------------------------------------- /machine/src/quotient.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/quotient.rs -------------------------------------------------------------------------------- /machine/src/symbolic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/symbolic/mod.rs -------------------------------------------------------------------------------- /machine/src/symbolic/symbolic_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/symbolic/symbolic_builder.rs -------------------------------------------------------------------------------- /machine/src/symbolic/symbolic_expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/symbolic/symbolic_expression.rs -------------------------------------------------------------------------------- /machine/src/symbolic/symbolic_expression_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/symbolic/symbolic_expression_ext.rs -------------------------------------------------------------------------------- /machine/src/symbolic/symbolic_variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/symbolic/symbolic_variable.rs -------------------------------------------------------------------------------- /machine/src/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/verify.rs -------------------------------------------------------------------------------- /machine/src/write_tape.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/machine/src/write_tape.rs -------------------------------------------------------------------------------- /media/profiling_valida_prove.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/media/profiling_valida_prove.gif -------------------------------------------------------------------------------- /media/profiling_valida_run.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/media/profiling_valida_run.png -------------------------------------------------------------------------------- /memory/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/memory/Cargo.toml -------------------------------------------------------------------------------- /memory/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/memory/src/columns.rs -------------------------------------------------------------------------------- /memory/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/memory/src/lib.rs -------------------------------------------------------------------------------- /memory/src/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/memory/src/stark.rs -------------------------------------------------------------------------------- /memory_footprint/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/memory_footprint/Cargo.toml -------------------------------------------------------------------------------- /memory_footprint/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/memory_footprint/src/lib.rs -------------------------------------------------------------------------------- /native_field/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/native_field/Cargo.toml -------------------------------------------------------------------------------- /native_field/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/native_field/src/columns.rs -------------------------------------------------------------------------------- /native_field/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/native_field/src/lib.rs -------------------------------------------------------------------------------- /native_field/src/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/native_field/src/stark.rs -------------------------------------------------------------------------------- /opcodes/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/opcodes/Cargo.toml -------------------------------------------------------------------------------- /opcodes/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/opcodes/src/lib.rs -------------------------------------------------------------------------------- /output/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/output/Cargo.toml -------------------------------------------------------------------------------- /output/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/output/src/columns.rs -------------------------------------------------------------------------------- /output/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/output/src/lib.rs -------------------------------------------------------------------------------- /output/src/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/output/src/stark.rs -------------------------------------------------------------------------------- /persistence/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/persistence/Cargo.toml -------------------------------------------------------------------------------- /persistence/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/persistence/src/lib.rs -------------------------------------------------------------------------------- /program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/program/Cargo.toml -------------------------------------------------------------------------------- /program/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/program/src/columns.rs -------------------------------------------------------------------------------- /program/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/program/src/lib.rs -------------------------------------------------------------------------------- /range/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/range/Cargo.toml -------------------------------------------------------------------------------- /range/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/range/src/columns.rs -------------------------------------------------------------------------------- /range/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/range/src/lib.rs -------------------------------------------------------------------------------- /recursive-verifier-api/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | tmp 3 | .cargo/config.toml 4 | -------------------------------------------------------------------------------- /recursive-verifier-api/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/recursive-verifier-api/Cargo.toml -------------------------------------------------------------------------------- /recursive-verifier-api/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/recursive-verifier-api/src/lib.rs -------------------------------------------------------------------------------- /recursive-verifier/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/recursive-verifier/Cargo.toml -------------------------------------------------------------------------------- /recursive-verifier/prepare-recursive-verifier-input.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/recursive-verifier/prepare-recursive-verifier-input.sh -------------------------------------------------------------------------------- /recursive-verifier/src/bin/recursive-specific.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/recursive-verifier/src/bin/recursive-specific.rs -------------------------------------------------------------------------------- /recursive-verifier/src/bin/recursive-universal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/recursive-verifier/src/bin/recursive-universal.rs -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2025-04-03" 3 | -------------------------------------------------------------------------------- /static_data/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/static_data/Cargo.toml -------------------------------------------------------------------------------- /static_data/src/columns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/static_data/src/columns.rs -------------------------------------------------------------------------------- /static_data/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/static_data/src/lib.rs -------------------------------------------------------------------------------- /static_data/src/stark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/static_data/src/stark.rs -------------------------------------------------------------------------------- /util/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/util/Cargo.toml -------------------------------------------------------------------------------- /util/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/util/src/lib.rs -------------------------------------------------------------------------------- /verifier/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/verifier/Cargo.toml -------------------------------------------------------------------------------- /verifier/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lita-xyz/valida-vm/HEAD/verifier/src/lib.rs --------------------------------------------------------------------------------