informalsystems / themis-contractLinks
A command line-based parameterized contracting tool
☆46Updated 2 years ago
Alternatives and similar repositories for themis-contract
Users that are interested in themis-contract are comparing it to the libraries listed below
Sorting:
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆16Updated this week
- Formalization of Tendermint proposer election properties☆15Updated 7 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Codex durability engine research☆36Updated 3 months ago
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆41Updated 8 months ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- ☆19Updated last year
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 5 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 6 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Tools for peer-to-peer privacy with Ethereum and AZTEC☆43Updated last year
- High Level IPVM Spec☆54Updated 2 years ago
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- A demo application built on the Tendermint ABCI. Tech owner: Peter Bourgon.☆35Updated 7 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- Low-security temporary experimental application-specific blockchains☆16Updated 5 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Updated 2 years ago
- Bamboo: a morphing smart contract language☆37Updated 7 years ago
- Status codes for Ethereum smart contracts☆10Updated 7 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Home for Filecoin Research☆73Updated 3 years ago
- Radicle Developers of All Countries, Unite!☆16Updated 4 years ago
- Data aggregator for Cosmwasm☆18Updated 3 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Updated 5 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- Filecoin consensus work☆42Updated 3 years ago
- GitHub -> IPFS mirroring☆28Updated 8 years ago