Smart-Contract-Modelling-uOttawa / Symboleo-IDELinks
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
Sorting:
- Caterpillar: A BPMN-based BPMS for Ethereum☆124Updated 2 years ago
- Compiler to convert BPMN 2.0 xml to solidity smart contract☆18Updated 9 months ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆85Updated last year
- ☆119Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆37Updated 7 years ago
- Zero-Knowledge Swiss Knife☆94Updated 2 years ago
- Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application☆64Updated 3 years ago
- Typescript abstractions over Rust crypto library's WASM wrapper☆30Updated last month
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆107Updated 2 years ago
- This is solc-verify, a modular verifier for Solidity.☆52Updated last year
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- Examples of Mastermind implemented in different ZK languages and frameworks.☆13Updated 2 months ago
- Crescent adds privacy to existing credentials with zero-knowledge☆32Updated this week
- An EVM interpreter in Dafny☆129Updated 7 months ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆53Updated 5 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆67Updated 2 years ago
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆56Updated last year
- This Github repo demonstrates how one could set up a Fluree ledger to use zero-knowledge proofs.☆29Updated 2 months ago
- Render React form components and sections from an OpenLaw template.☆16Updated 2 years ago
- Public repository for Blockchains and Cryptocurrencies (601.641/601.441) JHU (Fall 2020)☆58Updated 4 years ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- Code for zero-knowledge middleboxes☆62Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- Libra zero knowledge proof system☆51Updated 2 years ago
- a Public Good Cryptography Lab providing technological empowerment by creating secure building blocks for Web 3.0 protocols☆16Updated 2 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆129Updated last year