Smart-Contract-Modelling-uOttawa / Symboleo-IDE
An IDE for Symboleo, a formal contract specification language.
☆18Updated last month
Related projects ⓘ
Alternatives and complementary repositories for Symboleo-IDE
- A java library for tamper-evidence using Kafka. Messages are optionally encrypted and hashed sequentially.☆28Updated last year
- Cryptographic Library for Anonymous Reputation and Credentials☆12Updated 2 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆51Updated 5 years ago
- ☆119Updated last year
- Zero-Knowledge Swiss Knife☆94Updated last year
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆80Updated 5 years ago
- ☆24Updated 5 years ago
- Accord Project Cicero contracts on Hyperledger Fabric v2☆14Updated last year
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 10 months ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆102Updated 2 years ago
- The garbled circuit backend for the ObliVM framework☆17Updated 8 years ago
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆54Updated 11 months ago
- Linearly Homomorphic Time Lock Puzzle Library☆28Updated 4 years ago
- Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.☆57Updated 5 years ago
- ☆48Updated last year
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆17Updated 3 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers.☆60Updated 3 years ago
- OHIE - Blockchain scaling☆34Updated 3 years ago
- Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application☆54Updated 2 years ago
- The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.☆116Updated last week
- Java library for distributed zero knowledge proof systems☆234Updated 2 years ago
- ☆14Updated 5 years ago
- ☆20Updated 6 years ago
- This is the repository to host the code for hslang parsing and code generation.☆20Updated 2 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆114Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆125Updated last year
- A bilinear pairing library for petlib☆35Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated last year
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆35Updated 6 years ago
- A high-level framework for developing efficient zk-SNARK circuits☆184Updated last year