Smart-Contract-Modelling-uOttawa / Symboleo-IDE
An IDE for Symboleo, a formal contract specification language.
☆18Updated 7 months ago
Alternatives and similar repositories for Symboleo-IDE:
Users that are interested in Symboleo-IDE are comparing it to the libraries listed below
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆56Updated last year
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Updated 7 years ago
- Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network☆16Updated 4 years ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆104Updated 2 years ago
- Super Amazing Universal Composability, Yeah!☆34Updated 3 years ago
- Zero-Knowledge Swiss Knife☆94Updated 2 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- Deadline countdowns for high-quality academic venues relevant to blockchain☆21Updated last week
- a Public Good Cryptography Lab providing technological empowerment by creating secure building blocks for Web 3.0 protocols☆16Updated 2 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆53Updated 5 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆82Updated 5 years ago
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆11Updated last month
- Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application☆64Updated 3 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆84Updated last year
- A variant of a Fuzzy Vault cryptographic scheme designed for encrypting data with better human recovery features.☆49Updated 4 years ago
- Typescript abstractions over Rust crypto library's WASM wrapper☆30Updated last month
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers.☆64Updated 4 years ago
- Blind signatures over secp256k1 elliptic curve☆18Updated 2 years ago
- ☆119Updated last year
- Elliptic curve mathematics including Tate and Weil pairings for BLS signatures and zk-SNARK algorithms.☆17Updated 2 months ago
- A high-level framework for developing efficient zk-SNARK circuits☆187Updated 2 years ago
- Accord Project Cicero contracts on Hyperledger Fabric v2☆14Updated 2 years ago
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Updated last year
- ☆66Updated 2 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆136Updated 3 years ago
- Render React form components and sections from an OpenLaw template.☆16Updated 2 years ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago