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
- Zero-Knowledge Swiss Knife☆94Updated last year
- A high-level framework for developing efficient zk-SNARK circuits☆184Updated last year
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆134Updated 3 years ago
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆54Updated last year
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆80Updated 5 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆17Updated 3 years ago
- Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.☆57Updated 5 years ago
- ☆57Updated 2 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆35Updated 6 years ago
- Open source implementation of zkSTARKs in pure Rust☆81Updated 11 months ago
- An interactive tutorial to get started with the Node.js bindings for DAML☆14Updated last year
- Recursive SNARKs based on Plonk and Halo☆112Updated 3 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆51Updated 5 years ago
- Implementation of incrementally verifiable ledger system☆16Updated 3 years ago
- ☆115Updated 3 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆123Updated 2 years ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- ZKProofs website☆89Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆48Updated 3 months ago
- Libra zero knowledge proof system☆48Updated last year
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆172Updated 2 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers.☆60Updated 3 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆52Updated 8 months ago
- A java library for tamper-evidence using Kafka. Messages are optionally encrypted and hashed sequentially.☆28Updated last year
- The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.☆117Updated last week
- Pinocchio-based adaptive zk-SNARK and distributed computation☆16Updated 6 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆84Updated last year
- ☆48Updated last year
- Discrete-event simulation for BFT consensus protocols☆48Updated 3 years ago