GarmashAlex/mopro
Making client-side proving on mobile simple.
Repositories
GarmashAlex/ethrex
ethrex: Ethereum Rust Execution L1 and L2 client.
GarmashAlex/compiler
Compiler from Rust to Miden Assembly
GarmashAlex/zebra
Zcash - Financial Privacy in Rust 🦓
GarmashAlex/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
GarmashAlex/snarkVM
A zkVM for Decentralized Private Computations (DPC)
GarmashAlex/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
GarmashAlex/nearcore
Reference client for NEAR Protocol
GarmashAlex/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
GarmashAlex/agglayer
Rust implementation of the Agglayer.
GarmashAlex/js-sdk
SDK to work with Privado ID
GarmashAlex/forge-std
A collection of helpful contracts and libraries for use with Forge and Foundry
GarmashAlex/openvm
A performant and modular zkVM framework built for customization and extensibility.
GarmashAlex/near-sdk-rs
Rust library for writing NEAR smart contracts
GarmashAlex/hyli
The new proof-powered L1 to build the next generation of apps.
GarmashAlex/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
GarmashAlex/prysm
Go implementation of Ethereum proof of stake
GarmashAlex/bitcoin
Bitcoin Core integration/staging tree
GarmashAlex/taiko-mono
Taiko Alethia based rollup protocol 🥁
GarmashAlex/kona
Monorepo for OP Stack Types, Components, and Services built in Rust.
GarmashAlex/co-snarks
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
GarmashAlex/consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
GarmashAlex/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
GarmashAlex/babylon
GarmashAlex/nimbus-eth1
Nimbus: an Ethereum Execution Client for Resource-Restricted Devices
GarmashAlex/relayere
Across Protocol Bots & Infurastructure
GarmashAlex/massa
The Decentralized and Scaled Blockchain
GarmashAlex/elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
GarmashAlex/rust-libp2p
The Rust Implementation of the libp2p networking stack.
GarmashAlex/celestia-app
Celestia consensus node