Consensys / quorum-tools
Tools for running Quorum clusters and integration tests
☆51Updated 2 years ago
Related projects: ⓘ
- ZSL on Quorum☆72Updated 5 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- An EVM code verification framework in Coq☆44Updated 7 years ago
- Tools for deploying Quorum clusters to AWS☆33Updated 2 months ago
- ☆74Updated this week
- ☆42Updated 6 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Deploy Quorum network in a cloud provider of choice☆36Updated 2 years ago
- Data Privacy for Quorum Blockchains☆53Updated 2 years ago
- ☆37Updated this week
- Directly run EVM bytecode (using Parity technology)☆24Updated 7 years ago
- Sphinx source for the architecture docs☆25Updated last year
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 4 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- ☆97Updated this week
- Ethereum and Quorum private blockchain explorer☆84Updated 5 years ago
- Solidity sha3 in Javascript.☆44Updated 6 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 2 months ago
- An official reference implementation of Republic Protocol, written in Go☆58Updated 5 years ago
- Documentation assets for Quorum☆82Updated 4 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- Main repository for POADAO consensus. Includes contracts for Initial Ceremony, Governance, Management of Validators☆67Updated last year
- Configuration Documentation for Kovan☆40Updated 6 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Updated 6 years ago