Skip to content
View Kuhai9801's full-sized avatar
2 followers · 2 following

Block or report Kuhai9801

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

Work

Contributor:

  • ProvableHQ/leo
  • project-llzk/llzk-lib
  • Plonky3/Plonky3
  • openvm-org/openvm
  • NethermindEth/stellar-private-payments, etc.

I also build scieqlint, a static analysis tool for scientific documentation and technical writing.

Code4rena

sgtpepper

  • Helped secure: Monetrix, Intuition, and Injective Peggy Bridge

Highlights:

Cantina

sgtpepper

  • 1 high-risk public finding
  • Revert Finance - StableSwap Hooks: 1 high-risk finding

HackenProof

sgtpepper1

  • Calyx Smart Contracts: 1 medium-risk finding

HackerOne

sgtpepper1

  • 8x8: 1 medium-risk finding

Contact

For serious security or ZK work, reach me here:

Pinned Loading

  1. scieqlint scieqlint Public

    Deterministic linter for scientific docs

    Python 8 3

  2. leo leo Public

    Forked from ProvableHQ/leo

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

    Rust

  3. llzk-lib llzk-lib Public

    Forked from project-llzk/llzk-lib

    Library for parsing, generating, and analyzing LLZK code.

    C++