Skip to content
View idrees2516's full-sized avatar

Block or report idrees2516

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. Markdown is supported. 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. perp-options-clob perp-options-clob Public

    Perpetuals + options CLOB engine in Rust: deterministic event-sourced sequencer, SFPM portfolio margin, oracle defense, BitMEX-style funding, liquidation cascade with insurance fund and ADL

    Rust 1

  2. lzx lzx Public

    LZX: production-grade lattice-based post-quantum zkVM — 11 lattice-crypto papers implemented (ProtogaLattice, Akita, Cyclo, HyperWolf, LatticeFold+, PikkuFold, Quasar, RoKoko, SALSA, Symphony, Twis…

    Rust 1

  3. zoda zoda Public

    Zero-Overhead Data Availability: tensor-code DA with EIP-4844/7594 KZG, post-quantum lattice commitments, sampling, custody and bridges — zero-dependency Rust

    Rust 1

  4. hyperlight hyperlight Public

    9-venue ETH/SOL orderbook terminal + 4-engine arbitrage stack: provably optimal global sweep optimizer, multi-hop negative-cycle graph, EV-gated execution, online genetic optimizer — 100% Rust (Axu…

    Rust

  5. dsec-rs dsec-rs Public

    Deep Rust reimplementation of DeepSeek Elastic Compute (DSec) — sandbox infrastructure for agentic RL training at scale, with a PufferLib core port

    Rust 1

  6. clob clob Public

    Rust 1