SNAPKITTYWEST/dsss

DSSS: Deterministic Sovereign Solving System — Z3 drop-in with CAD backend, typed circuit DSL, ZK-QF_NRA pipeline. Patent pending. Copyright BEL ESPRIT D ACCORD TRUST HOLDINGS INC.

语言：Haskell · GitHub 星标：2 · Fork：0

话题：cad · circom · formal-verification · futhark · haskell · idris2 · liquidhaskell · smt-solver

在 GitHub 上查看原仓库