The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

A tool to extract gnark circuits defined in Go to Lean for formal verification.

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

My personal nix configuration(s)

A Matrix <--> Slack bridge

Derive macro to generate TryFrom/From implementations for newtype enum variants

A curated list of awesome ZK resources, libraries, tools and more.

A Nix flake template for Home Manager configurations [maintainer=@lucperkins]

Configurations and deployments for validators.

A post-modern modal text editor.

Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]

Implementation of ethereum's `ssz`

Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

A cross-platform, OpenGL terminal emulator.

Basic cosmos-sdk app with web assembly smart contracts

IBC Relayer in Rust

IBC in Solidity

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

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

A reproducible package set for Cosmos, IBC and CosmWasm

The home of all shared Rust resources for the Cosmos ecosystem.

CWWG monorepo

Cosmwasm workshops and tutorials

A trustless, cross-chain bridging protocol.

A template setup for CW contracts.