anoma/vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

语言：Rust · GitHub 星标：162 · Fork：49

话题：blockchain · cryptography · zero-knowledge · zkp

在 GitHub 上查看原仓库