Smart-Contract-Modelling-uOttawa / Symboleo-IDELinks
An IDE for Symboleo, a formal contract specification language.
☆18Updated last year
Alternatives and similar repositories for Symboleo-IDE
Users that are interested in Symboleo-IDE are comparing it to the libraries listed below
Sorting:
- Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application☆68Updated 3 years ago
- Semantics of Solidity in K☆29Updated 6 years ago
- ☆119Updated 2 years ago
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆58Updated 2 years ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆110Updated 3 years ago
- Zero-Knowledge Swiss Knife☆97Updated 3 years ago
- Correctness proofs of Ethereum token contracts☆97Updated 6 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Updated 8 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆65Updated 6 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆88Updated 2 years ago
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆194Updated 3 years ago
- ☆22Updated 9 years ago
- ZKProofs website☆90Updated 2 years ago
- A Java library for zk-SNARK circuits☆216Updated 3 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- Solidity grammar for ANTLR4☆123Updated 5 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆56Updated 6 years ago
- 6.858 final project.☆18Updated 10 years ago
- A spot to add introductory resources for people getting into the space☆27Updated 4 years ago
- Deadline countdowns for high-quality academic venues relevant to blockchain☆26Updated last month
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆25Updated 5 years ago
- pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!☆18Updated 8 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 7 years ago
- The modular protocol framework based on Universal Composability☆18Updated 5 years ago
- Symbolic virtual machine for Ethereum☆69Updated 7 years ago
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Updated 2 years ago
- ☆47Updated 2 years ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago
- An EVM interpreter in Dafny☆135Updated last year