argumentcomputer/ix

a zero-knowledge proof-carrying code protocol for Lean 4

语言：Rust · GitHub 星标：107 · Fork：5

在 GitHub 上查看原仓库