Skip to content
View 0xSoftBoi's full-sized avatar
🏠
Working from home
🏠
Working from home
23 followers · 98 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Quickdraw

Highlights

Block or report 0xSoftBoi

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.

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
0xSoftBoi/README.md

0xSoftBoi — security & systems

security & systems engineer · cross-chain infra + smart-contract security · rust, evm

recent work:

  • alloy-rs/core #1105 — EIP-712 self-referential struct canonicalization in dyn-abi (alloy is the Rust lib under Foundry & Reth)
  • uutils/coreutils #12327 — date timezone re-zoning in the Rust rewrite of GNU coreutils
  • lock-mint-bridge-lab — audited my own lock-and-mint bridge end-to-end: Foundry stateful invariants (512x100), Slither, Halmos, Ronin/Wormhole/Nomad exploit reproductions
  • BRIDGE-bench — static analysis lands ~0% F1 on compositional bridge hacks; a static-prefiltered LLM reaches ~40%

now: building Suwappu — agent-native cross-chain swaps.

0xsoftboi.github.io · @0xSoftBoi · layerinfinite@gmail.com

Pinned Loading

  1. anthropic-fellowship anthropic-fellowship Public

    BRIDGE-bench: AI-assisted cross-chain bridge vulnerability detection

    Solidity

  2. cowswaprouter cowswaprouter Public

    TWAP order splitter for CoW Protocol — split large sells into N time-sliced batch settlements with full Wake fuzz test suite

    Solidity

  3. fhe-dark-chess fhe-dark-chess Public

    Referee-free fog-of-war chess: the joint predicates (capture / blocked-slider / check) ZK can't decide, computed over an encrypted opponent board with Zama tfhe-rs

    Rust

  4. lock-mint-bridge-lab lock-mint-bridge-lab Public

    Annotated lock-and-mint bridge for auditors — the supply<=collateral invariant, an attestation-gate fix, a 512x100 Foundry invariant suite, and Ronin/Wormhole/Nomad exploit reproductions

    Solidity

  5. quantgroup quantgroup Public

    Annotated constant-product AMM for auditors — attack simulations, invariant tests, Wake fuzz suite, 18 Foundry tests, SWC/CWE mapping

    Solidity

  6. zk-dark-chess zk-dark-chess Public

    Cryptographic fog-of-war chess: ZK move-legality over a Poseidon board commitment (Circom + Groth16), with a real proof verified on-chain in Foundry

    Solidity