Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.

Modular, byzantine-fault-tolerant consensus engine

Container runtimes on macOS (and Linux) with minimal setup

Creusot helps you prove your code is correct in an automated fashion.

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

IBC applications and middleware for Cosmos SDK chains.

A brief info of the state of the consensus

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Painless multisig for many keys across many cosmos-sdk chains

e2e testing framework for the interchain

This repository implements IBC solo machine which can be used to interface with other machines and replicated ledgers which speak IBC.

A simple and convenient Golang server and client library for the Cosmos chain-registry

Decentralized Custody Engine for Bitcoin

⚛️❤️👁 Brought to you by the LensCrafters

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Cosmos Hub

Reference implementation of Anoma

A cosmos network key-signer buildable in WASM

RFCs for changes to the TLA+ specification language

Hermes IBC Workshop - Fungible Token Transfer (ics-20) between two Starport chains

web application for discovering IBC channel info

The Cosmos Improvements Proposals

🌱 Blockchain for planetary regeneration

Model-based testing tool