├── .github └── workflows │ └── ci.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── benches ├── benchmark_aleo_credits.rs ├── benchmark_aleo_roulette.rs └── benchmarks │ ├── aleo_credits.rs │ ├── aleo_roulette.rs │ ├── helpers │ └── mod.rs │ ├── mod.rs │ └── vm │ ├── lambdavm │ └── mod.rs │ ├── mod.rs │ └── snarkvm │ ├── mod.rs │ └── stack.rs ├── clippy.toml ├── debug ├── Cargo.lock ├── Cargo.toml ├── Makefile ├── README.md ├── heaptrack-full.sh ├── src │ └── main.rs └── valgrind-full.sh ├── examples └── sample-program │ ├── main.rs │ └── sample.aleo ├── programs ├── add │ └── main.aleo ├── and │ └── main.aleo ├── compare │ └── main.aleo ├── credits.aleo ├── div │ └── main.aleo ├── hash_psd2 │ └── main.aleo ├── is_eq_neq │ └── main.aleo ├── mul │ └── main.aleo ├── nand │ └── main.aleo ├── nor │ └── main.aleo ├── or │ └── main.aleo ├── record │ └── main.aleo ├── record_entries │ └── main.aleo ├── records.aleo ├── roulette.aleo ├── shl │ └── main.aleo ├── shr │ └── main.aleo ├── subtract │ └── main.aleo ├── ternary │ └── main.aleo ├── token.aleo └── xor │ └── main.aleo ├── src ├── circuit_io_type.rs ├── helpers.rs ├── instructions │ ├── add.rs │ ├── and.rs │ ├── assert.rs │ ├── cast.rs │ ├── compare.rs │ ├── div.rs │ ├── hash_psd2.rs │ ├── is_eq.rs │ ├── mod.rs │ ├── mul.rs │ ├── nand.rs │ ├── nor.rs │ ├── or.rs │ ├── shl.rs │ ├── shr.rs │ ├── sub.rs │ ├── ternary.rs │ └── xor.rs ├── jaleo │ ├── deploy.rs │ ├── execute.rs │ ├── mod.rs │ ├── record.rs │ ├── transition.rs │ └── types │ │ ├── mod.rs │ │ ├── serialize.rs │ │ └── user_input.rs ├── lib.rs ├── main.rs ├── program_build.rs ├── record.rs ├── universal_srs.rs └── variable_type.rs └── tests ├── aleo_roulette.rs ├── credits_aleo.rs ├── helpers └── mod.rs ├── instructions ├── add.rs ├── and.rs ├── cast.rs ├── compare.rs ├── div.rs ├── hash_psd2.rs ├── is_eq_neq.rs ├── mod.rs ├── mul.rs ├── nand.rs ├── nor.rs ├── or.rs ├── shl.rs ├── shr.rs ├── sub.rs ├── ternary.rs └── xor.rs ├── marlin_proof_verification.rs └── mod.rs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | **/target 2 | .vscode/ -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/README.md -------------------------------------------------------------------------------- /benches/benchmark_aleo_credits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmark_aleo_credits.rs -------------------------------------------------------------------------------- /benches/benchmark_aleo_roulette.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmark_aleo_roulette.rs -------------------------------------------------------------------------------- /benches/benchmarks/aleo_credits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/aleo_credits.rs -------------------------------------------------------------------------------- /benches/benchmarks/aleo_roulette.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/aleo_roulette.rs -------------------------------------------------------------------------------- /benches/benchmarks/helpers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/helpers/mod.rs -------------------------------------------------------------------------------- /benches/benchmarks/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/mod.rs -------------------------------------------------------------------------------- /benches/benchmarks/vm/lambdavm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/vm/lambdavm/mod.rs -------------------------------------------------------------------------------- /benches/benchmarks/vm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/vm/mod.rs -------------------------------------------------------------------------------- /benches/benchmarks/vm/snarkvm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/vm/snarkvm/mod.rs -------------------------------------------------------------------------------- /benches/benchmarks/vm/snarkvm/stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/benches/benchmarks/vm/snarkvm/stack.rs -------------------------------------------------------------------------------- /clippy.toml: -------------------------------------------------------------------------------- 1 | allow-unwrap-in-tests = true 2 | -------------------------------------------------------------------------------- /debug/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/debug/Cargo.lock -------------------------------------------------------------------------------- /debug/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/debug/Cargo.toml -------------------------------------------------------------------------------- /debug/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/debug/Makefile -------------------------------------------------------------------------------- /debug/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/debug/README.md -------------------------------------------------------------------------------- /debug/heaptrack-full.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/debug/heaptrack-full.sh -------------------------------------------------------------------------------- /debug/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/debug/src/main.rs -------------------------------------------------------------------------------- /debug/valgrind-full.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/debug/valgrind-full.sh -------------------------------------------------------------------------------- /examples/sample-program/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/examples/sample-program/main.rs -------------------------------------------------------------------------------- /examples/sample-program/sample.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/examples/sample-program/sample.aleo -------------------------------------------------------------------------------- /programs/add/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/add/main.aleo -------------------------------------------------------------------------------- /programs/and/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/and/main.aleo -------------------------------------------------------------------------------- /programs/compare/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/compare/main.aleo -------------------------------------------------------------------------------- /programs/credits.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/credits.aleo -------------------------------------------------------------------------------- /programs/div/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/div/main.aleo -------------------------------------------------------------------------------- /programs/hash_psd2/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/hash_psd2/main.aleo -------------------------------------------------------------------------------- /programs/is_eq_neq/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/is_eq_neq/main.aleo -------------------------------------------------------------------------------- /programs/mul/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/mul/main.aleo -------------------------------------------------------------------------------- /programs/nand/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/nand/main.aleo -------------------------------------------------------------------------------- /programs/nor/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/nor/main.aleo -------------------------------------------------------------------------------- /programs/or/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/or/main.aleo -------------------------------------------------------------------------------- /programs/record/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/record/main.aleo -------------------------------------------------------------------------------- /programs/record_entries/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/record_entries/main.aleo -------------------------------------------------------------------------------- /programs/records.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/records.aleo -------------------------------------------------------------------------------- /programs/roulette.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/roulette.aleo -------------------------------------------------------------------------------- /programs/shl/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/shl/main.aleo -------------------------------------------------------------------------------- /programs/shr/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/shr/main.aleo -------------------------------------------------------------------------------- /programs/subtract/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/subtract/main.aleo -------------------------------------------------------------------------------- /programs/ternary/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/ternary/main.aleo -------------------------------------------------------------------------------- /programs/token.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/token.aleo -------------------------------------------------------------------------------- /programs/xor/main.aleo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/programs/xor/main.aleo -------------------------------------------------------------------------------- /src/circuit_io_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/circuit_io_type.rs -------------------------------------------------------------------------------- /src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/helpers.rs -------------------------------------------------------------------------------- /src/instructions/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/add.rs -------------------------------------------------------------------------------- /src/instructions/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/and.rs -------------------------------------------------------------------------------- /src/instructions/assert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/assert.rs -------------------------------------------------------------------------------- /src/instructions/cast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/cast.rs -------------------------------------------------------------------------------- /src/instructions/compare.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/compare.rs -------------------------------------------------------------------------------- /src/instructions/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/div.rs -------------------------------------------------------------------------------- /src/instructions/hash_psd2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/hash_psd2.rs -------------------------------------------------------------------------------- /src/instructions/is_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/is_eq.rs -------------------------------------------------------------------------------- /src/instructions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/mod.rs -------------------------------------------------------------------------------- /src/instructions/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/mul.rs -------------------------------------------------------------------------------- /src/instructions/nand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/nand.rs -------------------------------------------------------------------------------- /src/instructions/nor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/nor.rs -------------------------------------------------------------------------------- /src/instructions/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/or.rs -------------------------------------------------------------------------------- /src/instructions/shl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/shl.rs -------------------------------------------------------------------------------- /src/instructions/shr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/shr.rs -------------------------------------------------------------------------------- /src/instructions/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/sub.rs -------------------------------------------------------------------------------- /src/instructions/ternary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/ternary.rs -------------------------------------------------------------------------------- /src/instructions/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/instructions/xor.rs -------------------------------------------------------------------------------- /src/jaleo/deploy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/deploy.rs -------------------------------------------------------------------------------- /src/jaleo/execute.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/execute.rs -------------------------------------------------------------------------------- /src/jaleo/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/mod.rs -------------------------------------------------------------------------------- /src/jaleo/record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/record.rs -------------------------------------------------------------------------------- /src/jaleo/transition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/transition.rs -------------------------------------------------------------------------------- /src/jaleo/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/types/mod.rs -------------------------------------------------------------------------------- /src/jaleo/types/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/types/serialize.rs -------------------------------------------------------------------------------- /src/jaleo/types/user_input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/jaleo/types/user_input.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/program_build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/program_build.rs -------------------------------------------------------------------------------- /src/record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/record.rs -------------------------------------------------------------------------------- /src/universal_srs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/universal_srs.rs -------------------------------------------------------------------------------- /src/variable_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/src/variable_type.rs -------------------------------------------------------------------------------- /tests/aleo_roulette.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/aleo_roulette.rs -------------------------------------------------------------------------------- /tests/credits_aleo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/credits_aleo.rs -------------------------------------------------------------------------------- /tests/helpers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/helpers/mod.rs -------------------------------------------------------------------------------- /tests/instructions/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/add.rs -------------------------------------------------------------------------------- /tests/instructions/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/and.rs -------------------------------------------------------------------------------- /tests/instructions/cast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/cast.rs -------------------------------------------------------------------------------- /tests/instructions/compare.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/compare.rs -------------------------------------------------------------------------------- /tests/instructions/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/div.rs -------------------------------------------------------------------------------- /tests/instructions/hash_psd2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/hash_psd2.rs -------------------------------------------------------------------------------- /tests/instructions/is_eq_neq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/is_eq_neq.rs -------------------------------------------------------------------------------- /tests/instructions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/mod.rs -------------------------------------------------------------------------------- /tests/instructions/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/mul.rs -------------------------------------------------------------------------------- /tests/instructions/nand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/nand.rs -------------------------------------------------------------------------------- /tests/instructions/nor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/nor.rs -------------------------------------------------------------------------------- /tests/instructions/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/or.rs -------------------------------------------------------------------------------- /tests/instructions/shl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/shl.rs -------------------------------------------------------------------------------- /tests/instructions/shr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/shr.rs -------------------------------------------------------------------------------- /tests/instructions/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/sub.rs -------------------------------------------------------------------------------- /tests/instructions/ternary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/ternary.rs -------------------------------------------------------------------------------- /tests/instructions/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/instructions/xor.rs -------------------------------------------------------------------------------- /tests/marlin_proof_verification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/marlin_proof_verification.rs -------------------------------------------------------------------------------- /tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lambdaclass/aleo_lambda_vm/HEAD/tests/mod.rs --------------------------------------------------------------------------------