sz-piotr / tranquility
Tranquility is an in-development programming language intended to replace Solidity
☆18Updated 3 years ago
Alternatives and similar repositories for tranquility:
Users that are interested in tranquility are comparing it to the libraries listed below
- real time solidity debugging☆13Updated 6 years ago
- Advanced unit testing of solidity contracts in Rust☆12Updated 6 years ago
- Off-chain services for the Gnosis Protocol v1.☆33Updated 2 years ago
- Testbed repo for trying out ideas of what a smart contract API in Rust would look like☆42Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- basic on the project☆18Updated 5 years ago
- [ORPHANE] Examples of compiling Rust code to ewasm contracts☆21Updated 5 years ago
- PoC☆12Updated 6 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆16Updated 6 years ago
- CLI tool for interacting with smart contracts☆15Updated 2 years ago
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆27Updated 2 years ago
- Translations of standard contracts from Solidity to Vyper.☆12Updated 6 years ago
- [DEPRECATED] ETH 2.0 SSZ - optimized Go implementation☆13Updated 4 years ago
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Updated 3 years ago
- Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry☆33Updated 2 years ago
- Capability-based security protocol for smart contracts☆23Updated 2 years ago
- Instructions for benchmarking Ewasm precompiles. (And results.)☆20Updated 4 years ago
- easily compile solidity files from rust☆20Updated 5 years ago
- Ethereum serialisation for BLS12-381 operations in Rust.☆11Updated 5 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Merkle-Mountain-Range library☆17Updated 2 years ago
- LearnChannels.org - open source information resource on state channels☆31Updated 6 years ago
- ☆34Updated 4 years ago
- Markdown documentation generator for Solidity☆34Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆51Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- ☆30Updated 6 years ago
- WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…☆57Updated 6 years ago