Smart-Contract-Modelling-uOttawa / Symboleo-IDELinks
An IDE for Symboleo, a formal contract specification language.
☆18Updated 8 months ago
Alternatives and similar repositories for Symboleo-IDE
Users that are interested in Symboleo-IDE are comparing it to the libraries listed below
Sorting:
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆56Updated last year
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆126Updated 3 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated 3 months ago
- Zero-Knowledge Swiss Knife☆94Updated 2 years ago
- ☆119Updated last year
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆107Updated 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☆83Updated 5 years ago
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆12Updated last week
- Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.☆56Updated 6 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- ☆48Updated 2 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆37Updated 7 years ago
- This Guidance shows how to deploy a secure, scalable, and cost-efficient blockchain key management solution for blockchain validation wor…☆19Updated last week
- pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!☆18Updated 7 years ago
- Crescent adds privacy to existing credentials with zero-knowledge☆32Updated last week
- An interactive tutorial to get started with the Node.js bindings for DAML☆14Updated 5 months ago
- oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.☆23Updated last year
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers.☆65Updated 4 years ago
- Render React form components and sections from an OpenLaw template.☆16Updated 2 years ago
- zk-SNARK parameter multi-party computation protocol☆172Updated 5 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated 8 months ago
- ☆19Updated 6 years ago
- Generate Solidity Code from its AST☆15Updated 8 years ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆13Updated 3 months ago
- ☆44Updated 7 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆136Updated 3 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago