CertiKProject / deepsea-preview
☆27Updated this week
Related projects: ⓘ
- ☆10Updated this week
- Testnet configuration and data for Shentu Chain☆56Updated 9 months ago
- ☆22Updated this week
- ☆21Updated 4 years ago
- An experimental consensus algorithm for secure multiparty computations☆63Updated last year
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago
- Cosmos Ethereum Bridge☆22Updated 5 years ago
- A CosmosSDK application for moving assets on and off of EVM based, POW chains☆40Updated last year
- ☆15Updated this week
- Celestia Specifications☆51Updated 2 years ago
- All contents related to the Mina grant program and projects in scope☆15Updated 2 years ago
- Ledger Nano S support for Tendermint/Cosmos☆42Updated 4 years ago
- ☆31Updated 3 years ago
- A Cosmos Hub data aggregator and exporter.☆52Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Capability-based security protocol for smart contracts☆22Updated last year
- An example of a server side IBC relayer to be used for Game of Zones and beyond☆56Updated 3 years ago
- Lockdrop contracts☆23Updated last year
- ☆20Updated 3 years ago
- Repo for the ATOM 2021 Intiative☆31Updated 3 years ago
- A lightning fast decentralised liquidity protocol.☆46Updated 5 years ago
- ☆36Updated 2 years ago
- Cross-chain relays :)☆53Updated last year
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Token faucet web app for the Cosmos Hub and Gaia testnets.☆25Updated 4 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- Information about the Interchain Foundation Funding Program☆73Updated 2 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆24Updated 5 months ago
- A shielded pegzone bridging Cosmos and Zcash.☆26Updated 4 years ago