ZK Security Lab @ZKSecuritylab

Independent ZK security research. We analyze finite field arithmetic to find soundness vulnerabilities that conventional audits miss. zksecuritylab.github.io Joined May 2018

Tweets

14
Followers

231
Following

19
Likes

17

ZK Security Lab @ZKSecuritylab

3 months ago

Our scanner: 1,125 files, 202,334 lines of code, 4 ZK systems, under 60 seconds. Found BRC, plus 9 other classes we haven't tweeted yet. Including a confirmed missing-constraint bug in SP1's field division. Paper: submitted to IACR ePrint.

ZK Security Lab @ZKSecuritylab

3 months ago

Why hasn't anyone found this? Existing ZK audit tools (Picus, QED², Ecne) analyze circuit logic. They assume the field is "correct." Nobody analyzes the field itself. We do. We found 10 vulnerability classes this way — BRC is just one.

ZK Security Lab @ZKSecuritylab

3 months ago

50% of all field elements in SP1 and RISC0 have two different byte representations. Both pass every range check. Both satisfy every constraint. Nobody noticed. Not Veridise. Not KALOS. Not Cantina. Here's what we found 🧵

RIDERE È UNA COSA SERIA😂

NIENTE POLITICA

Emilystellaemi2 @Emilystellaemi2

18K Followers 14K Following RIDERE È UNA COSA SERIA😂 NIENTE POLITICA

Attenti al lupo....

Lupo Silenzioso @luposilenzioso2

4K Followers 3K Following Attenti al lupo....

ZK Circuit Security Researcher & Auditor | Circuit Soundness & Bugs | Daily Handwritten Math & Exploit PoCs (Finite Fields, Curves, Circom, R1CS)

Sarthak Tambule @sarthaktambule1

18 Followers 404 Following ZK Circuit Security Researcher & Auditor | Circuit Soundness & Bugs | Daily Handwritten Math & Exploit PoCs (Finite Fields, Curves, Circom, R1CS)

TIPSTER MEDINOM @TMedinom

247 Followers 3K Following

نقوم بكافة الأعمال من مظلات السيارات سواتر مظلات الشد الانشائي جلسات برجولات مظلات مواقف سيارات مشاريع حكومية لتواصل جوال:0557757441

مؤسسة مساحا... @ASs203030

876 Followers 4K Following نقوم بكافة الأعمال من مظلات السيارات سواتر مظلات الشد الانشائي جلسات برجولات مظلات مواقف سيارات مشاريع حكومية لتواصل جوال:0557757441

Abstract Artist🌻Painter ♥Creator / Storyteller 🎨 Having the time of my Life💛 Be You. For You💗

Iamjulieta | Abstract... @iamjulietap

366 Followers 869 Following Abstract Artist🌻Painter ♥Creator / Storyteller 🎨 Having the time of my Life💛 Be You. For You💗

Ron Avraham @RonAvraham19872

314 Followers 3K Following

potato @Cryptoenthuse2

939 Followers 1K Following

Lightworker, animal lover, and gardener. I believe in truth, justice, honesty, kindness and compassion for all life. We are all one. May God Bless you today.

Afriel @afriel3333

1K Followers 4K Following Lightworker, animal lover, and gardener. I believe in truth, justice, honesty, kindness and compassion for all life. We are all one. May God Bless you today.

Bem-vindo à minha coleção nft, sinta-se à vontade para encontrar o que melhor combina com você.
https://t.co/J07xpR6ec3

Aldemix_NFT @Aldemix_NFT

12 Followers 77 Following Bem-vindo à minha coleção nft, sinta-se à vontade para encontrar o que melhor combina com você. https://t.co/J07xpR6ec3

MNM International - we are top best manufacturers of knitted garments like tshirts, polotshirts, vests, round neck tshirts and sanitary pad, baby & adult diaper

Mastermind Internatio... @mnmintl_apparel

251 Followers 2K Following MNM International - we are top best manufacturers of knitted garments like tshirts, polotshirts, vests, round neck tshirts and sanitary pad, baby & adult diaper

I am a professional graphics designer. I am an expert on Adobe Illustrator and Adobe Photoshop. I have a lot of experience in designing

Magics @NatifulMd

83 Followers 585 Following I am a professional graphics designer. I am an expert on Adobe Illustrator and Adobe Photoshop. I have a lot of experience in designing

Hello.I Am professional Designer ,I make fun & motivation & Anime & Otaku & Kpop & Kdrama Tee.
We Have Simple Cool Design Of T shirt and Other March.

Islam Rajon @rajon8989

870 Followers 5K Following Hello.I Am professional Designer ,I make fun & motivation & Anime & Otaku & Kpop & Kdrama Tee. We Have Simple Cool Design Of T shirt and Other March.

Mother, wife, daughter, and sister.

Gayle @Gayle56698101

33 Followers 433 Following Mother, wife, daughter, and sister.

I am Sohel ,
I'm a T-Shirt Designer.I will Provide you Photoshop Photo Editing,Background Remove any photo, Business Card etc.If your need feel free contact me.

Md Sohel @MdSohel77266843

7 Followers 55 Following I am Sohel , I'm a T-Shirt Designer.I will Provide you Photoshop Photo Editing,Background Remove any photo, Business Card etc.If your need feel free contact me.

friendly camgirl💋
Sex addicted👠
Visit my page here💏😏
👌

Martin Meenken @MMeenken

47 Followers 660 Following friendly camgirl💋 Sex addicted👠 Visit my page here💏😏 👌

Riding the Waves of The Universe #Poet #Artist #Writer not a Fighter #Love #Skateboarding #Freedom to #CHOOSE to Be #Happy & Successful #GCC #JustBeNice

SeekOutFreedom @SeekOutFreedom

1K Followers 2K Following Riding the Waves of The Universe #Poet #Artist #Writer not a Fighter #Love #Skateboarding #Freedom to #CHOOSE to Be #Happy & Successful #GCC #JustBeNice

aminul ahsan bhuiyan @aminulahsan53

232 Followers 972 Following

Find out latest Fashionable items ranging from casuals to formals. tweets may contain affiliate links.
https://t.co/gVzKCSAWSj

Fashion-Trendz @firstrendsetter

68 Followers 347 Following Find out latest Fashionable items ranging from casuals to formals. tweets may contain affiliate links. https://t.co/gVzKCSAWSj

Likes and/or retweets are not endorsement

Good guy @germanvelezna

228 Followers 1K Following Likes and/or retweets are not endorsement

shop @m38919737

9 Followers 492 Following

Retired reference librarian and teacher

Nan Hughes @NanHughes2

263 Followers 880 Following Retired reference librarian and teacher

'sense made from common metal.' 'sometimes my auto-opinion has it's own opinions, ignore 'em.'

Ivan @Happydog23

2K Followers 4K Following 'sense made from common metal.' 'sometimes my auto-opinion has it's own opinions, ignore 'em.'

Crederci sempre arrendersi mai.

Pina Esposto @EspostoPina

236 Followers 213 Following Crederci sempre arrendersi mai.

🇸🇪Patrick Lunda... @LundahlPatrick

337 Followers 1K Following

Hey, I’m a professional Graphics Designer with 5 years of experience. Just place your order and get the exclusive service on Twitter.
Thanks...

Labu Mia @labumia112

755 Followers 4K Following Hey, I’m a professional Graphics Designer with 5 years of experience. Just place your order and get the exclusive service on Twitter. Thanks...

F8🏄‍♂️ @betterrunn

69 Followers 499 Following independent

Retired Senior Citizen with an attitude. Life long Republican who does not like the direction the party is going.

Carol Price @CarolP1941

211 Followers 698 Following Retired Senior Citizen with an attitude. Life long Republican who does not like the direction the party is going.

(っ◔◡◔)っ �... @ahoy_sponge_boy

2K Followers 2K Following I am Sponj

Climate lover, political activist, proud mama, animal protector. My President is black. #TheResistance., #goJoe #NeverTrump #BlackLivesMatter

Rhubarb @bakingcutie

867 Followers 2K Following Climate lover, political activist, proud mama, animal protector. My President is black. #TheResistance., #goJoe #NeverTrump #BlackLivesMatter

My Guru calls me Mommy - Gamer - Dreamer - Nature Lover🌲- Seeker of Truth - Earthling 🌍
Struggling with inner peace as the world goes up in flames!

Athene @MentalMayhem

1K Followers 2K Following My Guru calls me Mommy - Gamer - Dreamer - Nature Lover🌲- Seeker of Truth - Earthling 🌍 Struggling with inner peace as the world goes up in flames!

yeah, sure, here I am.

linusjames @linusjames

880 Followers 4K Following yeah, sure, here I am.

GUILLAUME DAUPHIN @applepourtous

447 Followers 7K Following

A loving heart no foolishness.Peace to All.

Melody @PhillyGirlMelo

342 Followers 1K Following A loving heart no foolishness.Peace to All.

Happily married Mom, retired Hairdresser,Pilates instructor, dog 🐶lover Alt accnt for @roxyoak #OneVoice1 Z7 #OneVoiceImmigration #OneVoiceWomen 🇺🇸 No DM‘s

💙🇺🇸LibLisa�... @oakrox

2K Followers 2K Following Happily married Mom, retired Hairdresser,Pilates instructor, dog 🐶lover Alt accnt for @roxyoak #OneVoice1 Z7 #OneVoiceImmigration #OneVoiceWomen 🇺🇸 No DM‘s

Here we go again! Second time suspended. #Vote blue #resist #dumptrump not a bot true blue thru and tthru

Doodlebug @Doodleb02757354

595 Followers 1K Following Here we go again! Second time suspended. #Vote blue #resist #dumptrump not a bot true blue thru and tthru

Young old lady who likes foreign tv shows, red wings,crocheting, reading books, but blue all thru,50 yrs local 1243, fibromyalgia patient

LucyD. @LucyD3gierzak

71 Followers 535 Following Young old lady who likes foreign tv shows, red wings,crocheting, reading books, but blue all thru,50 yrs local 1243, fibromyalgia patient

#CivilRights ACTIVIST! TRUMPCARE IS NO CARE! @GOP cult member @realDonaldTrump who's in the Grand Lodge of Illuminati/KKK think the rest of us are disposable!

Claude Ridley Jr., I'... @ClaudeRidley

16K Followers 19K Following #CivilRights ACTIVIST! TRUMPCARE IS NO CARE! @GOP cult member @realDonaldTrump who's in the Grand Lodge of Illuminati/KKK think the rest of us are disposable!

Drums, Guitars, Bass, B3, Vox; Engineer, Inventor, Dad, hubby of @Cloutwoman, love music, food, wine, cars, travel, philanthropy.

John Cloutman @Cloutman

4K Followers 4K Following Drums, Guitars, Bass, B3, Vox; Engineer, Inventor, Dad, hubby of @Cloutwoman, love music, food, wine, cars, travel, philanthropy.

Retired project manager, wife, mother, grandmother to 2 brilliant, adorable, amazing kids, traveler, golfer, proud liberal, political junkie! married soulmate!

Linda Hoza @Gramies1

2K Followers 4K Following Retired project manager, wife, mother, grandmother to 2 brilliant, adorable, amazing kids, traveler, golfer, proud liberal, political junkie! married soulmate!

Marine combat Vet 88-92 proudly served.🌊🌊🌊🌊 #Resist impeach the commander & Beast 🐗no room in the WH for rats and snakes!

sandfox032...0 @byronkpeterson

9K Followers 10K Following Marine combat Vet 88-92 proudly served.🌊🌊🌊🌊 #Resist impeach the commander & Beast 🐗no room in the WH for rats and snakes!

I live in japan. I'm going to tweet about Japan. Please ask me some questions about Japan. I'm not very good at English.please follow me!!

japanese answer boy @answer_boy

70 Followers 329 Following I live in japan. I'm going to tweet about Japan. Please ask me some questions about Japan. I'm not very good at English.please follow me!!

A mother & Grandmother. An East Coast girl living out West. Trying to make a dollar out of 15 cents. #Ravens Fan , ΖΦΒ 🕊, Writer.♌🦁🌊🌊🌊

Kyna Kyna BoBeana @kre31

3K Followers 3K Following A mother & Grandmother. An East Coast girl living out West. Trying to make a dollar out of 15 cents. #Ravens Fan , ΖΦΒ 🕊, Writer.♌🦁🌊🌊🌊

I’m a cat love at heart

Jennifer Schroetter @jabberjaws410

123 Followers 306 Following I’m a cat love at heart

highohm @HighOhmResister

307 Followers 576 Following FBR

Nature lover, dog lover, Mayor Pete lover, ex-Republican, pro-environment , rights for all🌈 Namaste🙏🏼

jill @jill98596824

2K Followers 3K Following Nature lover, dog lover, Mayor Pete lover, ex-Republican, pro-environment , rights for all🌈 Namaste🙏🏼

💙 Proud Jersey Democrat. Love my country. Music, animal, nature and food lover. Free spirit. Retired Nonna & cat lady. Equality for all. No MAGA’s & NO DM’s.

Christine M💙 @chrissym59

4K Followers 5K Following 💙 Proud Jersey Democrat. Love my country. Music, animal, nature and food lover. Free spirit. Retired Nonna & cat lady. Equality for all. No MAGA’s & NO DM’s.

Cost Accounting professional with 20 years experience in the food and beverage industry, recently relocated to the PNW! #Resist #VoteBlueNoMatterWho #FBR

tmarinoboltup @huskydadinpnw

9K Followers 9K Following Cost Accounting professional with 20 years experience in the food and beverage industry, recently relocated to the PNW! #Resist #VoteBlueNoMatterWho #FBR

Greed and Hatred employ Ignorance to spread their propaganda. They call it conservatism. #TermLimits #PaperBallots #Resist

Buck Rumpler @Buck_Rumpler

8K Followers 9K Following Greed and Hatred employ Ignorance to spread their propaganda. They call it conservatism. #TermLimits #PaperBallots #Resist

🌊🌊🌊🇸🇪🇺🇸🇪🇺 I'm a Swede, 75. Married. had problems with my old account @leifnys, so I had to open @leifnys1. A thug is occupying the office of WH.

leifnys @leifnys1

604 Followers 1K Following 🌊🌊🌊🇸🇪🇺🇸🇪🇺 I'm a Swede, 75. Married. had problems with my old account @leifnys, so I had to open @leifnys1. A thug is occupying the office of WH.

🌻Born, raised, still growing up.
Approved formerly great hair bearer.
#persist#ImVaxxedAreYou

Pascal @Scorpzilla

1K Followers 1K Following 🌻Born, raised, still growing up. Approved formerly great hair bearer. #persist#ImVaxxedAreYou

#WomensRightsAreHumanRights

#ElectWomen♀️🗽... @ElectWomen420

1K Followers 3K Following #WomensRightsAreHumanRights

Join the TG Mini app - https://t.co/nrH3uQ8F7y

Earnalot @Earnalot888

8K Followers 6 Following Join the TG Mini app - https://t.co/nrH3uQ8F7y

Treasury-backed DeFi for the CocoCat ecosystem. $79AU
CA: 0xC35ef0564751A27b468F791113c686C8eeBaa9Ca | 3.25% sell tax

79th Vault @79thVault

4K Followers 82 Following Treasury-backed DeFi for the CocoCat ecosystem. $79AU CA: 0xC35ef0564751A27b468F791113c686C8eeBaa9Ca | 3.25% sell tax

Empowering Web3 growth through task collaboration and community engagement.

📌 @TaskOnCampaigns
📌 @TaskOnIntern

Community ➡️ https://t.co/gMqDiqszX6

TaskOn | Ultimate Web... @taskonxyz

700K Followers 870 Following Empowering Web3 growth through task collaboration and community engagement. 📌 @TaskOnCampaigns 📌 @TaskOnIntern Community ➡️ https://t.co/gMqDiqszX6

Thousands of Actors to automate your business, get real-time web data, and equip your AI agents. ➡️ https://t.co/rySkh8pPkM • https://t.co/PiUfLvrm0u • https://t.co/x4G1meKqfK

Apify @apify

20K Followers 305 Following Thousands of Actors to automate your business, get real-time web data, and equip your AI agents. ➡️ https://t.co/rySkh8pPkM • https://t.co/PiUfLvrm0u • https://t.co/x4G1meKqfK

21 / ai made me lazy and rich / dm open

Deni @0xDeniAi

844 Followers 48 Following 21 / ai made me lazy and rich / dm open

Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

Veridise @VeridiseInc

5K Followers 529 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

compiler engineer | building web3 security tooling | @nowarp_io @paritytech | ex @Zilliqa @Huawei

Georgiy Komarov @_jubnzv

42 Followers 98 Following compiler engineer | building web3 security tooling | @nowarp_io @paritytech | ex @Zilliqa @Huawei

ZKForge: a privacy ecosystem using zkSTARK Proof for encrypted messaging, private dApps, and x402 transactions.
6pKDTUavWbdHH27nUBeZNGDSmg3gw5XMGq6gAPUf264F

ZKForge @ZKForge_io

2K Followers 35 Following ZKForge: a privacy ecosystem using zkSTARK Proof for encrypted messaging, private dApps, and x402 transactions. 6pKDTUavWbdHH27nUBeZNGDSmg3gw5XMGq6gAPUf264F

Buy the book (proceeds go to charity):
English: https://t.co/UxgYxYJ3NF
Chinese: https://t.co/ItFd8FEyuK

@binance
@BNBchain
@YZiLabs
@GiggleAcademy

CZ 🔶 BNB @cz_binance

13.0M Followers 1K Following Buy the book (proceeds go to charity): English: https://t.co/UxgYxYJ3NF Chinese: https://t.co/ItFd8FEyuK @binance @BNBchain @YZiLabs @GiggleAcademy

Clean indoor air, pandemic prevention. Many other functions. Testimonials: ''almost like a real engineer''

viv 🔸 @vivian_belenky

772 Followers 548 Following Clean indoor air, pandemic prevention. Many other functions. Testimonials: ''almost like a real engineer''

The world's largest institutional Ethereum event.
June 14-16, 2027. NYC. Early bird tickets now live.
Hosted by @ETHGlobal

ETHConf @ethconf

3K Followers 409 Following The world's largest institutional Ethereum event. June 14-16, 2027. NYC. Early bird tickets now live. Hosted by @ETHGlobal

We let competing companies or complete strangers compute together on sensitive data: private inputs, verifiable outputs, no trusted hardware.

The Interfold @theInterfold

8K Followers 326 Following We let competing companies or complete strangers compute together on sensitive data: private inputs, verifiable outputs, no trusted hardware.

Building @luceboxai
Former co-founder Cua (YC P25), previously Notion

Sandro @pupposandro

6K Followers 2K Following Building @luceboxai Former co-founder Cua (YC P25), previously Notion

helping ethereum win

timbeiko.eth @TimBeiko

147K Followers 1K Following helping ethereum win

Founded Polkadot, Kusama, Ethereum, Parity, Web3 Foundation. Building Polkadot. All things Web 3.0

Gavin Wood @gavofyork

442K Followers 164 Following Founded Polkadot, Kusama, Ethereum, Parity, Web3 Foundation. Building Polkadot. All things Web 3.0

The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.

Ethereum @ethereum

4.6M Followers 0 Following The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.

I choose balance. First-level balance.

mi pinxe lo crino tcati

https://t.co/gCQrmCby7P

vitalik.eth @VitalikButerin

8.0M Followers 551 Following I choose balance. First-level balance. mi pinxe lo crino tcati https://t.co/gCQrmCby7P

The Blockchain for Trading • Infrastructure for the modern economy • RT ≠ endorsement • Account managed by @Sei_FND

Sei @SeiNetwork

748K Followers 367 Following The Blockchain for Trading • Infrastructure for the modern economy • RT ≠ endorsement • Account managed by @Sei_FND

Incorruptible financial infrastructure: a network of chains secured by cryptography, not validators.

ZKsync @zksync

1.4M Followers 107 Following Incorruptible financial infrastructure: a network of chains secured by cryptography, not validators.

Trends for United States

Michigan

#UFC333

Josh Hoover

Jason Beck

Texas Tech

Chelsea

Volkov

#iufb

Malachi Toney

Tommy Carr

Tottenham

#COYS

Palmer

#GoBlue

Aaron Pico

Alonso

Hammond

Jackson Harris

Cincinnati

Mensah

You might like

@Patrizi94111952