Skip to content
View Naveen-6087's full-sized avatar
👾
👾
12 followers · 41 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report Naveen-6087

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. eth-wasm-verifier eth-wasm-verifier Public

    Deterministic, fuel-metered WebAssembly runtime for proof verifiers in Rust. Strict validation, sandboxed hashing host calls, reproducible verifier builds.

    Rust

  2. ssz-merkle ssz-merkle Public

    SSZ serialization, Merkle proofs and generalized indices for Ethereum consensus types in Rust. no_std, light-client ready.

    Rust

  3. leanfocil leanfocil Public

    Executable Lean 4 formal specification and machine-checked proofs for FOCIL (EIP-7805 fork-choice inclusion lists).

    Lean

  4. inclusion-gossip inclusion-gossip Public

    P2P gossip sub-network simulator for Ethereum EIP-7547 & FOCIL inclusion lists under adversarial conditions

    Go

  5. uno-game-zkv uno-game-zkv Public

    UNO Card game built using Noir and BB for ZKVerify Network

    TypeScript

  6. sp1-patricia-trie sp1-patricia-trie Public

    implementation of Ethereum's Merkle Patricia Trie with SP1 zkVM integration for zero-knowledge proof generation and verification.

    Rust 1