aeryz

aeryz's Stars

• gabriel-pineda/git-wrapped-api

  Language:TypeScript1.3k13

• benluelo/nope

  Nope is a hyper-secure scripting language and RISC virtual machine for performant and risk-free on-chain execution.

  Language:Rust7

• movebit/movefmt

  Language:Move64

• unionlabs/union

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

  Language:Rust4.8k365

• 0xPolygonZero/zk_evm

  Language:Rust8939

• a16z/jolt

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

  Language:Rust728187

• Consensys/gnark-crypto

  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 knowledge proof systems.

  Language:Go526187

• HorizenLabs/poseidon2

  Language:Rust5015

• reilabs/gnark-lean-extractor

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

  Language:Go102

• Consensys/gnark

  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

  Language:Go1.5k407

• ulrikstrid/nix-config

  My personal nix configuration(s)

  Language:Nix5

• matrix-org/matrix-appservice-slack

  A Matrix <--> Slack bridge

  Language:TypeScript27872

• benluelo/enumorph

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

  Language:Rust2

• ventali/awesome-zk

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

  1.4k212

• the-nix-way/home-manager-config-template

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

  Language:Nix334

• KaiserKarel/validators

  Configurations and deployments for validators.

  Language:Shell5

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust35.1k2.6k

• nix-community/nix-init

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

  Language:Rust94522

• ralexstokes/ssz-rs

  Implementation of ethereum's `ssz`

  Language:Rust10443

• cosmos/ibc

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

  Language:TeX942398

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust57.4k3.1k

• CosmWasm/wasmd

  Basic cosmos-sdk app with web assembly smart contracts

  Language:Go373418

• informalsystems/hermes

  IBC Relayer in Rust

  Language:Rust457352

• hyperledger-labs/yui-ibc-solidity

  IBC in Solidity

  Language:Solidity13964

• matter-labs/awesome-zero-knowledge-proofs

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

  5.4k858

• cometbft/cometbft

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

  Language:Go683539

• informalsystems/cosmos.nix

  A reproducible package set for Cosmos, IBC and CosmWasm

  Language:Nix5712

• cosmos/cosmos-rust

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

  Language:Rust316124

• cwwg/cwwg

  CWWG monorepo

  Language:Cython2

• ComposableFi/cw-toolkit

  Cosmwasm workshops and tutorials

  Language:Rust3