METHODS AND SYSTEMS FOR DESIGNING, WRITING, AND TESTING ZERO-KNOWLEDGE PROOFS

摘要

There are provided systems and methods for providing tools in an integrated development environment (IDE) for performing one or more of defining, compiling, packaging, collaborating, and testing zero-knowledge proofs.