Tautrust

A Verifier written in Rust that uses THIR.

A blog of this verifier.

Usage

git clone [email protected]:isan-Ethen/tautrust.git

cd tautrust

./Makefile

Name		Name	Last commit message	Last commit date
Latest commit History 282 Commits
rthir-tree-samples		rthir-tree-samples
src		src
t3modules		t3modules
tests		tests
.gitignore		.gitignore
Cargo.toml		Cargo.toml
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
if.rs		if.rs
if_assign.rs		if_assign.rs
return_value.rs		return_value.rs
rust-toolchain.toml		rust-toolchain.toml
rustfmt.toml		rustfmt.toml
sample.rs		sample.rs
user_function.rs		user_function.rs