Zilliqa / scilla-docs
Documentation for Scilla
☆17Updated last year
Related projects: ⓘ
- ☆18Updated 5 years ago
- ☆20Updated 2 years ago
- The Core Paper Project of EVM☆14Updated 4 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- ☆21Updated 4 years ago
- The Bonds framework along with associated modules.☆53Updated 4 years ago
- Asynchronously safe BFT consensus, implementation in Rust☆35Updated 5 years ago
- Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry☆32Updated 2 years ago
- ☆25Updated this week
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆25Updated 5 years ago
- ☆32Updated 5 years ago
- Research, specifications and proposals about blockchain projects.☆18Updated last year
- Snowball simulation☆18Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- This repository compiles the work that the BSC team does on Eth2.0.☆13Updated last year
- Low-level language for encoding AIR of computations☆34Updated last year
- AZTEC protocol specification☆31Updated 4 years ago
- A library for supporting zk-SNARKs to Substrate☆30Updated 2 years ago
- a Javascript wrapper for schnorrkel signatures on Ristretto using WebAssembly.☆16Updated 4 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- A port of Uniswap to use Substrate.☆15Updated 3 years ago
- All contents related to the Mina grant program and projects in scope☆15Updated 2 years ago
- ☆30Updated this week
- [DEPRECATED] Common tests for all Eth2.0 implementations☆18Updated 5 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 2 years ago
- The Zcash Network Stability Framework☆15Updated last year
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- ☆12Updated 9 months ago