0Kelv

0Kelv's Stars

• aptos-labs/aptos-core

  Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

  Language:Rust6.2k3.6k

• ProvableHQ/sdk

  A Software Development Kit (SDK) for Zero-Knowledge Transactions

  Language:JavaScript592472

• kroma-network/tachyon

  Modular ZK(Zero Knowledge) backend accelerated by GPU

  Language:C++7.8k231

• starknet-io/starknet.js

  JavaScript library for StarkNet

  Language:TypeScript1.2k747

• taikoxyz/taiko-mono

  A based rollup. 🥁 🌸

  Language:Svelte4.5k2.2k

• dojoengine/dojo

  Dojo is a toolchain for building provable games and applications

  Language:Rust417171

• okx/xlayer-node

  Go implementation of a node that operates the X Layer zkEVM Network

  Language:Go3.4k216

• noir-lang/noir

  Noir is a domain specific language for zero knowledge proofs

  Language:Rust884194

• AleoNet/snarkOS

  A Decentralized Operating System for ZK Applications

  Language:Rust4.3k2.6k

• ProvableHQ/leo

  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

  Language:Rust4.8k655

• base-org/contracts

  Language:Solidity187104

• foundry-rs/foundry

  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

  Language:Rust8.3k1.7k

• starkscan/starkscan-verifier

  Verify Cairo contracts on Starkscan in 1 minute.

  Language:TypeScript1.3k257

• BibliothecaDAO/loot-survivor

  Loot Survivor - onchain arcade

  Language:Cairo7836

• ethereumbook/ethereumbook

  Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

  Language:JavaScript19.9k4.9k

• lens-protocol/momoka

  Open source code showing how you can verify the DA claims are true

  Language:TypeScript254107

• foundry-rs/starknet-foundry

  Blazing fast toolkit for developing Starknet contracts.

  Language:Rust323171

• cairo-book/cairo-book

  The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

  Language:JavaScript234223

• shramee/starklings-cairo1

  An interactive tutorial to get you up and running with Cairo v1 and Starknet

  Language:Cairo450394

• zksync/credo

  2.2k1k

• matter-labs/zksync-era

  zkSync era

  Language:Rust3.1k2.1k

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

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

  5.3k838

• FuelLabs/fuels-ts

  Fuel Network Typescript SDK

  Language:TypeScript44.1k1.3k

• FuelLabs/fuels-rs

  Fuel Network Rust SDK

  Language:Rust44.1k1.3k

• FuelLabs/fuel-core

  Rust full node implementation of the Fuel v2 protocol.

  Language:Rust58k2.8k

• FuelLabs/sway

  🌴 Empowering everyone to build reliable and efficient smart contracts.

  Language:Rust62.6k5.4k

• heyxyz/hey

  Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿

  Language:TypeScript23.4k1.6k

• base-org/node

  Everything required to run your own Base node

  Language:Shell68.3k2.6k

• base-org/chains

  provides metadata for networkIDs and chainIDs

  Language:Kotlin79.3k2.5k