gakunt Goto Github PK

aleo-tiktacto

angle-core

🇪🇺 Smart contracts for the Core Module and the governance of the Angle Protocol

aptos-core

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

awesome-zero-knowledge-proofs

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

babylon

Main repo for Babylon full node

cairium

Library of Cairo contracts for Starknet.

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

contractsforstarknet

Library of Cairo contracts for Starknet.

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

dev-rewards

eigenda

Secure, high-throughput, and decentralized Data Availability

go-ethereum

Official Go implementation of the Ethereum protocol

holograph-protocol

Holograph Protocol

jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

juno

Open Source Platform for Interoperable Smart Contracts

leo

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

nitro

Nitro goes vroom and fixes everything

noir

Noir is a domain specific language for zero knowledge proofs

optimism

Optimism is Ethereum, scaled.

orion

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

prysm

Go implementation of Ethereum proof of stake

rabby

The game-changing wallet for Ethereum and all EVM chains

snarky

OCaml DSL for verifiable computation

starknetbyexample

Starknet By Example

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

wasmi

WebAssembly (Wasm) interpreter.

zkevm-circuits

zksync-web-era-docs

zkSync Era Documentation