ValarDragon

CTF-Crypto

Contains tools for solving RSA and other crypto problems in CTFs.

notional

Full Documentation of Notional's systems

.github

temp_hashing

Temporary repo to share hashing code before its upstreamed to zexe

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

cometbft

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

conc-bst

Efficient, concurrent BST with minimal locking

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

dao-contracts

CosmWasm smart contracts for InterChain DAOs.

dpc

fast-ai

gaia

Cosmos Hub

gogoproto

Protocol Buffers for Go with Gadgets for Cosmos

governance

Resources for Cosmos governance

ibc-go

Interblockchain communication protocol (IBC) implementation in Golang.

keplr-wallet

The most powerful wallet for the Cosmos ecosystem and the Interchain

nonnative

R1CS constraints for non-native field arithmetic

osmosis

The AMM Laboratory

OsmosisData

plonk-with-lookups

Plonky3

A toolkit for polynomial IOPs (PIOPs)

protocols

A zkRollup DEX & Payment Protocol

snarky

OCaml DSL for verifiable computation

straightedge

Straightedge on the Cosmos SDK

sumcheck

linear-time sumcheck protocol for multilinear polynomials and related addends

tendermint

⟁ Tendermint Core (BFT Consensus) in Go

tendermint-rs

Tendermint in Rust!

zexe

Rust library for decentralized private computation