Top Tweets for #ZKConnect
November 18th, 2025, 21:43.
Dr. Julian Sutherland (@JulekSU) from @Nethermind delivered one of the most rigorous talks of the event, a deep dive into why formal verification is becoming non-negotiable for zkVM safety at the @brevis_zk #ZKCONNECT.
š Why it matters
zkVMs replace re-execution with cryptographic proofs.
But those proofs are only trustworthy if they match the exact semantics of the ISA theyāre proving.
š§± Security rests on the entire stack:
ā¢Constraint system soundness
ā¢Proof system soundness (FRI, ALI, Sumcheckā¦)
ā¢Prover and verifier correctness
If any layer drifts, the guarantees collapse.
š§Ŗ Formal verification is the bridge
It brings machine-checked assurance across:
ā¢ISAs
ā¢DSLs
ā¢Circuits
ā¢Proof systems
And Lean has become the backbone, already used to verify RISC-V, EVM, WASM, Plonky3, Halo2, Circom, and more.
š§ Active work underway
ā¢Keccak verification
ā¢STIR/WHIR formalization
ā¢SP1 soundness
ā¢Rust ā Lean extraction
ā¢Probabilistic program logic
š The endgame
A unified, formally verified trust base for zkVMs powering Ethereumās future, correctness scaling with performance.
A masterclass explanation of why cryptography alone isnāt enough.
Day 55ć@brevis_zk
Brevis Current Kaito stats
ā Position; #20
ā Mindshare; #1.75%
The whitepaper of the provernet went live yesterday, which is a marketplace for ZK proofs powered by TODA Auction and $BREV currency.
Upcoming today is #ZKCONNECT, organized by Brevis, and will explore how ZKVMs, ZK Coprocessors, ZKML, and ZK-TLS are moving from concept to real production. Ensure presence.
Have a great day ahead.
Day 54 ć@brevis_zk
Brevis Current Kaito stats
ā Position; #13
ā Mindshare; #1.99%
gBrevis, new week, new meow!
Brevis: Where Mysteries Meet ZK Power.
Let's keep pushing the boundaries for Zk proofs and Brevis ecosystem.
How time flies...
What a day it was at #ZKConnect during the #Web3Festival back on April 5th 2025!
Builders, founders, and researchers packed the room, and everyone who attended could tell: @brevis_zk isnāt just building, theyāre redefining whatās possible with ZK.
@no89thkey, co-founder of @brevis_zk broke down how Brevis is powering the next generation of dApps, giving them unified, verifiable access to historical data across chains.
@yq_acc, co-founder of @alt_layer, followed with Autonome; a rollup framework built for verifiable agents and interoperability, perfectly aligning with Brevisā vision of modular, trustless data.
From live ZK proving demos powered by Nvidiaās RTX 5090s to discussions on scaling Ethereum to 10,000 TPS, the day captured one clear message:
ZK isnāt the future anymore, itās happening right now.
Those who were there already knowā¦
@brevis_zk has been quietly cooking something huge.
gBrevis to all ZK believers š
zk infra just hit prod tempo.
mobile proofs. no gpu. no oracle dependence.
@brevis_zk quietly building what other chains promised
sub-10s blocks arenāt marketing theyāre migration signals #zkconnect
a16z zk report calls out pico prism for sub-10s proofs on 96.8% eth blocks at half sp1 hypercube costs. @brevis_zk just made mobile zk verification a reality killing gpu dependency. 70m proofs ytd already drove $4b tvl surge now gokiteai partnership verifies ai agent txns cryptographically. devcon zkconnect next week flips the script on oracle reliance. zkinfra rotates hard into production scale
Cysic Connect š
Zero knowledge is powerful.
But @cysic_xyz makes it practical.
Blazing fast hardware, real world scalability.
Builders, rollups, infra connect the dots.
ZK at silicon speed ā”
#Cysic #ZKConnect
ā¤ļøHuge shoutout to everyone who made #ZKConnect a success!
š¤Organized by:
Brevis & @PancakeSwap
šÆCo-hosted with:
@OpenBuildxyz & @alt_layer
š„Partners:
@TrustaLabs @0G_labs @AvailProject @ThenaFi_ @AutomataNetwork @DelphinusLab @ProjectZKM @primus_labs @OurTinTinLand @IOSGVC @ezklxyz @themu_xyz @shanhaiwoo @DRK_Lab @EthStorage
Weāre only just getting startedāonward to a more private, scalable, and verifiable future!š ļø
š What a day at #ZKConnect during the #Web3Festival!
hundreds of + builders, founders, and researchers joined us to explore the cutting edge of ZK tech!
š Thank you everyone for making this an awesome event!
$CAKE is cooking at #ZKConnect!
So proud to see @PancakeSwap pushing the boundaries of ZK tech & DeFi innovation š„
The future is bright, and itās powered by $CAKE, brilliant minds & unstoppable energy! šāØ
#DeFi #Web3 #ZeroKnowledge
š„ Weāre LIVE at #ZKConnect!
š” Weāre diving deep into ZK tech and the future with DeFi, with our @Headchef_pcs Chef Kids cooking up insights on our latest innovations
āØ Big thanks to our awesome hooks partner @brevis_zk, this is an epic event for all ZK & DeFi enthusiasts!
We're now LIVE at #ZKConnect!
āØAnd here, I've got to give a huge shoutout to our amazing partner, @brevis_zk. Their support has been like the essential hook that's making this event an absolute epic for all you passionate ZK and DeFi enthusiasts out there!š
š§ Excited about the latest breakthroughs in #ZK?
š”Join #ZKConnect before the @festival_web3!
Organized by Brevis & @PancakeSwap, with cohosts @OpenBuildxyz & @alt_layer!
šSoho House, Hong Kong
š
April 5 13:00-18:00 GMT+8
ā¬ļøRegister Nowā¬ļø
https://t.co/Oy4OnFhlrz
š„ Weāre LIVE at #ZKConnect!
š” Weāre diving deep into ZK tech and the future with DeFi, with our @Headchef_pcs Chef Kids cooking up insights on our latest innovations
āØ Big thanks to our awesome hooks partner @brevis_zk, this is an epic event for all ZK & DeFi enthusiasts!
ā³ The wait is almost over! Just one more day until #ZKConnect at the #Web3Festival.
Join us for a day packed with innovation, insights, and community connections.
š”Donāt miss outāmake sure youāre registered!
See you tomorrow!
šhttps://t.co/Oy4OnFhlrz
š§ Excited about the latest breakthroughs in #ZK?
š”Join #ZKConnect before the @festival_web3!
Organized by Brevis & @PancakeSwap, with cohosts @OpenBuildxyz & @alt_layer!
šSoho House, Hong Kong
š
April 5 13:00-18:00 GMT+8
ā¬ļøRegister Nowā¬ļø
https://t.co/Oy4OnFhlrz
š¢ @alt_layer together with @brevis_zk, @PancakeSwap, and @OpenBuildxyz teams will hold #ZKConnect in #HongKong on April 5!
Learn about the research on how Zero Knowledge (ZK) technologies are changing the future of decentralized apps and beyond!
https://t.co/D0uef3qV80
ā°Just one week to go!
Ready for #ZKConnect at the #Web3Festival? We are!
š”Join us for groundbreaking insights into #ZK technology with @OpenBuildxyz, @alt_layer, @EthStorage, and more.
šRegister today to secure your spot!
https://t.co/Oy4OnFhlrz
š§ Excited about the latest breakthroughs in #ZK?
š”Join #ZKConnect before the @festival_web3!
Organized by Brevis & @PancakeSwap, with cohosts @OpenBuildxyz & @alt_layer!
šSoho House, Hong Kong
š
April 5 13:00-18:00 GMT+8
ā¬ļøRegister Nowā¬ļø
https://t.co/Oy4OnFhlrz
Come hang with the Automata team this April with @festival_web3 taking centre stage. Loads to unpack with @brevis_zk @PancakeSwap @alt_layer @OpenBuildxyz at #ZKConnect āŗļø
š§ Excited about the latest breakthroughs in #ZK?
š”Join #ZKConnect before the @festival_web3!
Organized by Brevis & @PancakeSwap, with cohosts @OpenBuildxyz & @alt_layer!
šSoho House, Hong Kong
š
April 5 13:00-18:00 GMT+8
ā¬ļøRegister Nowā¬ļø
https://t.co/Oy4OnFhlrz
š§ Excited about the latest breakthroughs in #ZK?
š”Join #ZKConnect before the @festival_web3!
Organized by Brevis & @PancakeSwap, with cohosts @OpenBuildxyz & @alt_layer!
šSoho House, Hong Kong
š
April 5 13:00-18:00 GMT+8
ā¬ļøRegister Nowā¬ļø
https://t.co/Oy4OnFhlrz
Have you heard @SoyAuraBrito on #ZKRadio?
Don't miss these amazing capsules š informative #ZKConnect.
š°ļøTodos every day on ZKRadio's rotating programming....
#zcash #zec $zec
@ZcashFoundation @ZcashCommGrants @thecodebuffet @peacemongerZ @ZkAv_Club
šYa escucharon a @SoyAuraBrito en #ZKRadio???
No te pierdas estas increibles capsulas š informativas #ZKConnect
š°ļøTodos los dĆas en la programaciĆ³n rotativa de ZKRadio...
#zcash #zec $zec
@ZcashFoundation @ZcashCommGrants
Community Events
$MINA's community events were vibrant with several happenings worldwide, notably:
#zkConnect Geneva: This event connected students and developers passionate about zk technology for networking and discussions on major industry milestones.
[ėÆøė ķė”ķ ģ½ zkConnect ģģø]
11ģ 24ģ¼ ėÆøė ķė”ķ ģ½ ź°ė°ģ ģķ¬ģģ“ ė
¼ģ¤ģģ ģ§ķėģµėė¤!
ģ“ģ ģ ģø ZK ź°ė°ģė¤ź³¼ ķØź» Protokit ķķ ė¦¬ģ¼ ģøģ
ź³¼ ė¤ķøģķ¹ ģź°ģ ź°ģ”ģµėė¤.
ģøģ
ģ ģ§ķķ“ ģ£¼ģ Luke Namģź² ź°ģ¬ėė¦½ėė¤! :)
#minaprotocol #ėÆøėķė”ķ ģ½ #zkconnect
![minaprotocol_KR's tweet photo. [ėÆøė ķė”ķ ģ½ zkConnect ģģø]
11ģ 24ģ¼ ėÆøė ķė”ķ ģ½ ź°ė°ģ ģķ¬ģģ“ ė
¼ģ¤ģģ ģ§ķėģµėė¤!
ģ“ģ ģ ģø ZK ź°ė°ģė¤ź³¼ ķØź» Protokit ķķ ė¦¬ģ¼ ģøģ
ź³¼ ė¤ķøģķ¹ ģź°ģ ź°ģ”ģµėė¤.
ģøģ
ģ ģ§ķķ“ ģ£¼ģ Luke Namģź² ź°ģ¬ėė¦½ėė¤! :)
#minaprotocol #ėÆøėķė”ķ ģ½ #zkconnect https://t.co/OXgOVmxz6o](https://pbs.twimg.com/media/GdNcNoibUAASNMe.jpg)
![minaprotocol_KR's tweet photo. [ėÆøė ķė”ķ ģ½ zkConnect ģģø]
11ģ 24ģ¼ ėÆøė ķė”ķ ģ½ ź°ė°ģ ģķ¬ģģ“ ė
¼ģ¤ģģ ģ§ķėģµėė¤!
ģ“ģ ģ ģø ZK ź°ė°ģė¤ź³¼ ķØź» Protokit ķķ ė¦¬ģ¼ ģøģ
ź³¼ ė¤ķøģķ¹ ģź°ģ ź°ģ”ģµėė¤.
ģøģ
ģ ģ§ķķ“ ģ£¼ģ Luke Namģź² ź°ģ¬ėė¦½ėė¤! :)
#minaprotocol #ėÆøėķė”ķ ģ½ #zkconnect https://t.co/OXgOVmxz6o](https://pbs.twimg.com/media/GdNcMMwaMAABK8B.jpg)
![minaprotocol_KR's tweet photo. [ėÆøė ķė”ķ ģ½ zkConnect ģģø]
11ģ 24ģ¼ ėÆøė ķė”ķ ģ½ ź°ė°ģ ģķ¬ģģ“ ė
¼ģ¤ģģ ģ§ķėģµėė¤!
ģ“ģ ģ ģø ZK ź°ė°ģė¤ź³¼ ķØź» Protokit ķķ ė¦¬ģ¼ ģøģ
ź³¼ ė¤ķøģķ¹ ģź°ģ ź°ģ”ģµėė¤.
ģøģ
ģ ģ§ķķ“ ģ£¼ģ Luke Namģź² ź°ģ¬ėė¦½ėė¤! :)
#minaprotocol #ėÆøėķė”ķ ģ½ #zkconnect https://t.co/OXgOVmxz6o](https://pbs.twimg.com/media/GdNcKpaa4AAN1bl.jpg)
Last Seen Hashtags on Sotwe
Bignaturaltits
Seen from Germany
ŁŲ±ŁŲ®
Boxcover
Seen from Turkey
gebze trv
Seen from Turkey
TABOO
Seen from Turkey
äŗę
ē©ä»¶ļ¼ę„éē£č¦ćŖćć¼ć
Seen from Japan
Ų§ŁŲ±ŁŲ§Ų¶
Seen from Oman
robloxrule34
Seen from Ukraine
StocksSahiHai
Seen from United States
mondaymotivates
Seen from United States
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers