cwgoes / tm-proposer-idris
Formalization of Tendermint proposer election properties
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for tm-proposer-idris
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- Sonic implementation in Rust☆17Updated 5 years ago
- Rust implementation of Amino☆26Updated 4 years ago
- Multi-party computation utilities toolkit for rust☆16Updated 4 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated 5 months ago
- DSL for Secure DApps☆33Updated last year
- Hackathon project for Snarky workshop.☆11Updated 5 years ago
- Contract examples☆10Updated 2 years ago
- Rust crate for BLS Aggregate Signatures☆9Updated 5 years ago
- Asynchronously safe BFT consensus, implementation in Rust☆35Updated 5 years ago
- Shamir Secret Sharing☆19Updated 4 years ago
- Compiler for BitML☆26Updated 2 years ago
- Byzantine model checker☆21Updated last year
- A functional smart contract system☆6Updated 5 years ago
- ☆21Updated 4 years ago
- MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc☆10Updated 4 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 11 months ago
- BFT consensus in Rust☆21Updated 2 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 4 years ago
- Embedded curve over the Ristretto255 scalar field, for use in Bulletproofs☆17Updated 5 years ago
- ☆32Updated 6 years ago
- CLI tool for participating in Cosmos Fundraiser☆12Updated 4 years ago
- Welcome to the Sikka Commons☆8Updated 5 years ago