A middleware using Spartan as a SNARK backend for importing zk-interface constraints system
Primary LanguageRust