Skip to content
View tekkac's full-sized avatar
:shipit:
:shipit:
36 followers · 53 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Starstruck

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Starstruck

Block or report tekkac

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

tekkac — cryptography, information theory, complexity

Ahoy, I work at Unlink, securing onchain payments.
These days I

  • optimize ZK circuits with gnark, Circom, and Noir,
  • benchmark zkECDSA verifiers and privacy protocols,
  • break puzzles and challenges and do cryptanalysis on the side.

Follow @tek_kac GitHub followers Sponsor

Selected work

Project What it is
zkecdsa-secp256k1-benchmark On-chain zkECDSA verification, benchmarked
noir-ecdsa-verifier ECDSA verification in Noir
cairo-alt_bn128 bn254 pairing library for Cairo · 26★
cairo-quines The first quines written in Cairo

Pinned Loading

  1. zkecdsa-secp256k1-benchmark zkecdsa-secp256k1-benchmark Public

    Benchmark for zkECDSA on-chain verification for secp256k1

    Circom

  2. asdu asdu Public

    A local terminal browser for Codex and Claude session storage

    Python 2

  3. cairo-alt_bn128 cairo-alt_bn128 Public

    bn254 pairing library for Cairo Zero

    Python 26 8

  4. noir-ecdsa-verifier noir-ecdsa-verifier Public

    Solidity

  5. garaga garaga Public

    Forked from keep-starknet-strange/garaga

    Efficient pairing library, written in Cairo 🐺.

    Cairo

  6. assertbytes-240 assertbytes-240 Public

    A Lean 4 proof that 240 is optimal for the zkGolf AssertBytes challenge

    Lean