Log inSign up
Avihu Levy ✨🐺
StarkWare 🥷
1,104 posts
user avatar
Avihu Levy ✨🐺
StarkWare 🥷
@avihu28
CPO @StarkWareLtd. Plausibly not Satoshi.
Joined May 2009
681
Following
5,828
Followers
  • Pinned
    user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Apr 9
    Quantum-Safe Bitcoin Transactions Without Softforks github.com/avihu28/Quantu…
    1.9M
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Nov 7, 2024
    "ColliderScript: Covenants in Bitcoin via 160-bit hash collisions" colliderscript.co/colliderscript…
    223K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Dec 25, 2022
    Cairo flipped Rust 🐬 (TVL in Smart Contract Language)
    85K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Jun 9, 2023
    Image description of the coming Starknet versions 1. Current state:
    51K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Dec 17, 2024
    It ain't much but it's honest work
    7.4K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Jan 17, 2023
    StarkNet is growing fast
    26K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Feb 5, 2023
    In the picture: ppl building using STARKs (or planning to)
    28K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Aug 8, 2021
    StarkEx Total Value Locked (with dYdX, Deversifi, Sorare & Immutable) is now leading the L2 TVL with over $168M!
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Dec 6, 2023
    Stone update: The Stone prover is out (🔥) What projects are out there to expand its capabilities? (updated thread as they come)
    85K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Sep 5, 2023
    Gm 🔥
    13K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Feb 27, 2022
    Snark verification on StarkNet! (not a typo)
    user avatar
    tekkac
    @tek_kac
    Feb 24, 2022
    Work-in-Progress: An implementation of #Ethereum's pairing-friendly #EllipticCurve in Cairo. Any ideas what it could be used for? github.com/tekkac/cairo-a… #StarkNet #cairolang #cryptography #zksnark #zeroknowledge
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Jul 19, 2023
    Did I think @EliBenSasson will say “more tps daddy” on the main stage in EthCC? No What about wearing huge yellow hands 👉👈? Also no And yet
    5.9K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Jun 9, 2023
    Just had my talk about Volition in @EthPrague ! Here is an illustration from it of the TPS, avg fee and total daily fees* of the network (the size of the circle)
    20K
  • user avatar
    Avihu Levy ✨🐺
    StarkWare 🥷
    @avihu28
    Aug 26, 2024
    Just to get the sense of how fast @weikengchen & @pingzhouyuan are working - I proposed this optimization one night over TG. In less than 2 days they had it implemented in script and 2 more days for another optimization iteration 4 days M31 mul cost 1418 -> 476 -> 402
    user avatar
    StarkWare 🥷
    @StarkWareLtd
    Aug 26, 2024
    A major breakthrough in multiplication over Bitcoin, and in STARK verification on Bitcoin signet! ₿🧪 A new algorithm for M31 multiplication by @avihu28 reduces multiplication cost by 70%! Once fully integrated into our OP_CAT-based Circle STARK verifier (link below), we expect
    26K

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms of Service|Privacy Policy|Cookie Policy|Accessibility|Ads info|© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up