├── .gitattributes ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── ashlang ├── Cargo.lock ├── Cargo.toml ├── benchmarks │ ├── 1024_mul.ash │ └── pow5_assign.ash ├── examples │ └── matmul.rs ├── src │ ├── cli.rs │ ├── compiler.rs │ ├── grammar.pest │ ├── lib.rs │ ├── log.rs │ ├── main.rs │ ├── parser.rs │ ├── provers │ │ ├── README.md │ │ ├── ashlang_prover.rs │ │ └── mod.rs │ ├── r1cs │ │ ├── README.md │ │ ├── ar1cs_parser.rs │ │ ├── arithm.rs │ │ ├── constraint.rs │ │ ├── mod.rs │ │ ├── r1cs_grammar.pest │ │ └── vm.rs │ ├── test.ash │ └── time.rs ├── stdlib │ ├── add.ash │ ├── assert_eq.ar1cs │ ├── chacha │ │ ├── chacha.ash │ │ └── chacha_quarter.ash │ ├── crash.ar1cs │ ├── io │ │ ├── input_len.ash │ │ ├── read.ash │ │ ├── read_input.ar1cs │ │ ├── read_public_input.ar1cs │ │ └── write_output.ar1cs │ ├── mod.ash │ ├── mul.ash │ ├── poseidon.ash │ ├── pow5.ash │ ├── pow5_static.ash │ ├── sqrt.ar1cs │ └── sum.ash └── test-vectors │ ├── chacha_test.ash │ ├── if_assignment_test.ash │ ├── io_test.ash │ ├── loop_test.ash │ ├── mat_math_test.ash │ ├── mem_alloc.ash │ ├── mem_fn.ash │ ├── mem_fn2.ash │ ├── mem_fn_test.ash │ ├── ooo_test.ash │ ├── pow5_test.ash │ ├── r1cs_readme.ash │ ├── r1cs_test.ash │ ├── u32_test.ash │ └── vec_assign_test.ash ├── demo.ash ├── rust-toolchain.toml └── test.sh /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- 1 | [workspace] 2 | members = ["ashlang"] 3 | resolver = "3" 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/README.md -------------------------------------------------------------------------------- /ashlang/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/Cargo.lock -------------------------------------------------------------------------------- /ashlang/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/Cargo.toml -------------------------------------------------------------------------------- /ashlang/benchmarks/1024_mul.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/benchmarks/1024_mul.ash -------------------------------------------------------------------------------- /ashlang/benchmarks/pow5_assign.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/benchmarks/pow5_assign.ash -------------------------------------------------------------------------------- /ashlang/examples/matmul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/examples/matmul.rs -------------------------------------------------------------------------------- /ashlang/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/cli.rs -------------------------------------------------------------------------------- /ashlang/src/compiler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/compiler.rs -------------------------------------------------------------------------------- /ashlang/src/grammar.pest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/grammar.pest -------------------------------------------------------------------------------- /ashlang/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/lib.rs -------------------------------------------------------------------------------- /ashlang/src/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/log.rs -------------------------------------------------------------------------------- /ashlang/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/main.rs -------------------------------------------------------------------------------- /ashlang/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/parser.rs -------------------------------------------------------------------------------- /ashlang/src/provers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/provers/README.md -------------------------------------------------------------------------------- /ashlang/src/provers/ashlang_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/provers/ashlang_prover.rs -------------------------------------------------------------------------------- /ashlang/src/provers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/provers/mod.rs -------------------------------------------------------------------------------- /ashlang/src/r1cs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/r1cs/README.md -------------------------------------------------------------------------------- /ashlang/src/r1cs/ar1cs_parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/r1cs/ar1cs_parser.rs -------------------------------------------------------------------------------- /ashlang/src/r1cs/arithm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/r1cs/arithm.rs -------------------------------------------------------------------------------- /ashlang/src/r1cs/constraint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/r1cs/constraint.rs -------------------------------------------------------------------------------- /ashlang/src/r1cs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/r1cs/mod.rs -------------------------------------------------------------------------------- /ashlang/src/r1cs/r1cs_grammar.pest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/r1cs/r1cs_grammar.pest -------------------------------------------------------------------------------- /ashlang/src/r1cs/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/r1cs/vm.rs -------------------------------------------------------------------------------- /ashlang/src/test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/test.ash -------------------------------------------------------------------------------- /ashlang/src/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/src/time.rs -------------------------------------------------------------------------------- /ashlang/stdlib/add.ash: -------------------------------------------------------------------------------- 1 | (v, k) 2 | 3 | return v + k 4 | -------------------------------------------------------------------------------- /ashlang/stdlib/assert_eq.ar1cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/assert_eq.ar1cs -------------------------------------------------------------------------------- /ashlang/stdlib/chacha/chacha.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/chacha/chacha.ash -------------------------------------------------------------------------------- /ashlang/stdlib/chacha/chacha_quarter.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/chacha/chacha_quarter.ash -------------------------------------------------------------------------------- /ashlang/stdlib/crash.ar1cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/crash.ar1cs -------------------------------------------------------------------------------- /ashlang/stdlib/io/input_len.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/io/input_len.ash -------------------------------------------------------------------------------- /ashlang/stdlib/io/read.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/io/read.ash -------------------------------------------------------------------------------- /ashlang/stdlib/io/read_input.ar1cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/io/read_input.ar1cs -------------------------------------------------------------------------------- /ashlang/stdlib/io/read_public_input.ar1cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/io/read_public_input.ar1cs -------------------------------------------------------------------------------- /ashlang/stdlib/io/write_output.ar1cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/io/write_output.ar1cs -------------------------------------------------------------------------------- /ashlang/stdlib/mod.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/mod.ash -------------------------------------------------------------------------------- /ashlang/stdlib/mul.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/mul.ash -------------------------------------------------------------------------------- /ashlang/stdlib/poseidon.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/poseidon.ash -------------------------------------------------------------------------------- /ashlang/stdlib/pow5.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/pow5.ash -------------------------------------------------------------------------------- /ashlang/stdlib/pow5_static.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/pow5_static.ash -------------------------------------------------------------------------------- /ashlang/stdlib/sqrt.ar1cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/sqrt.ar1cs -------------------------------------------------------------------------------- /ashlang/stdlib/sum.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/stdlib/sum.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/chacha_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/chacha_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/if_assignment_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/if_assignment_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/io_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/io_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/loop_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/loop_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/mat_math_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/mat_math_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/mem_alloc.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/mem_alloc.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/mem_fn.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/mem_fn.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/mem_fn2.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/mem_fn2.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/mem_fn_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/mem_fn_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/ooo_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/ooo_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/pow5_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/pow5_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/r1cs_readme.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/r1cs_readme.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/r1cs_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/r1cs_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/u32_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/u32_test.ash -------------------------------------------------------------------------------- /ashlang/test-vectors/vec_assign_test.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/ashlang/test-vectors/vec_assign_test.ash -------------------------------------------------------------------------------- /demo.ash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/demo.ash -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "1.88" 3 | -------------------------------------------------------------------------------- /test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chancehudson/ashlang/HEAD/test.sh --------------------------------------------------------------------------------