@l2iterative -- research partner
US, Singapore, HK
- Tweets 2,255
- Following 1,433
- Followers 3,752
- Likes 147
This is big news. TEE for CPU and GPU have arrived! Nvidia Confidential Computing has open-sourced its SDK library. This can imply many things, including outsourced ZKP proof generation with circuit and data privacy... with GPU acceleration on H100.
github.com/NVIDIA/nvtrust
4
56
220
30,994
Exciting @DzkLabs update! We've joined the @efabless shuttle program, taping out 'Thumbelina'. This chip packs area-efficient BLS12-377 units for #ZKP, focusing on #AleoMining. Notably, our modular multiplication unit claims just 0.6 mm^2 in a 130nm process.🎯 1/5
2
6
109
9,209
Reproduced -- M3 Max is even faster: 1,286,596 hashes per second, compared with Eli's M3 Pro laptop.
Our new prover Stwo just blew our mind 🔥
Here's a demo by @PapiniShahar and @EliBenSasson of our next-gen prover, Stwo, and its groundbreaking performance: proving 620,000 hashes per second using an M3 laptop!
This is x1000 better than our current prover, Stone, and is the fastest in the market 💨
Stwo will be in production in early 2025, meaning that all Starknet-powered chains will be much faster to prove and more cost-effective!
Tech Specs:
We measured throughput for proving invocations of the Poseidon2 hash over M31 field on a MacPro M3 machine.
Deep dive into Stwo here: github.com/starkware-libs/st…
5
17
103
18,396
You may get cats for writing Bitcoin scripts or contributing to Bitcoin!
BREAKING: BITCOIN RESEARCHER GIFTED A QUANTUM CAT FOR BREAKTHROUGH IN OP_CAT DEVELOPMENT
gmeow!
@weikengchen, a researcher focused on ZK tech from L2 Iterative Ventures, released his working prototype of an OP_CAT-powered STARK verifier on the bitcoin signet!
this means that ZK proofs can be verified natively on bitcoin once OP_CAT is activated 🙀 it paves the way for future ZK rollups like starknet to run natively on bitcoin 🙀
to celebrate this breakthrough, the Quantum Cats community is gifting weikeng with cat1396. we hope they enjoy each other and become best friends 🐱
THANK YOU WEIKENG!
please join us and celebrate with weikeng in the comments below👇
12
5
93
6,711
"Electron Labs' bridge between NEAR and Ethereum is vulnerable. Zk circuits used for the NEAR light client are incomplete and severely under-constrained. It is possible to create valid proofs for invalid set of signatures. User funds are at risk!" @NEARProtocol? @labs_electron?
This tweet is a public disclosure for a vulnerability in a recently launched/about to launch blockchain bridge. Below gist has been encrypted with timevault.drand.love and can be decrypted in 10 days, on 17/06/2023. The team has been aware of vuln for a while and decided
8
22
93
49,734
Thanks to @TaprootWizards! This transaction finally gets out of the mempool after a few hours since many signet nodes haven't realized OP_CAT is activated :)
For a full walkthrough, check out github.com/Bitcoin-Wildlife-…
2
11
32
10,112
StarkWare verifies first zero-knowledge proof on Bitcoin cointelegraph.com/news/stark… via @cointelegraph
2
13
60
6,183
Bitcoin's 'OP_CAT' Possibilities Teased in StarkWare Test Project coindesk.com/tech/2024/07/17… via @coindesk
3
12
58
3,265
And the backend is…Stwo?!
Nexus zkVM 3.0 Specification = open science.
Full document: specification.nexus.xyz
8
52
51
6,124
Ingonyama got enough money to do an ASIC chip for ZKP and FHE. @Ingo_zk @cysic_xyz @UlvetannaHQ @_Supranational @AleoHQ @RiscZero @nil_foundation @zama @brevis_zk @DelphinusLab
calcalistech.com/ctechnews/a…
4
4
56
11,144
Our paper "HOLMES: Efficient Distribution Testing for Secure Collaborative Learning" (Ian Chang, Katerina Sotiraki, Weikeng Chen, Murat Kantarcioglu, Raluca Popa) has been accepted in USENIX Security 2023. It uses interactive zero-knowledge proofs to accelerate MPC.
4
7
51
7,001
just contributed a PR for u32 mul to BitVM. It took 3705 bytes in Bitcoin script. This suffices for fraud proofs.
Can you do better? Submit a PR today to BitVM.
github.com/BitVM/BitVM/pull/…
3
3
52
4,723
When ZKML takes 10+ hours, MPC-ML only takes five minutes... and this shouldn't be surprising!
Can't wait to share our latest results in MPC: PUMA - Secure Inference of LLaMA-7B in Five Minutes ! arxiv.org/abs/2307.12533
6
1
49
15,083
Let me first apologize to @randhindi @GuyZys @remi_gai first. But @badcryptobitch's MPC memes are gold.
4
6
51
6,562
Recently I dig into ML for ZK (not ZK for ML)---training a chatGPT-like AI that writes and verifies ZK circuits. I created a Telegram channel, if you are interested... feel free to join!
t.me/+aYoRtficf1AwMjBh
1
6
45
7,662
In 2024, human beings discovered even shorter proofs for everything.
3
3
50
3,586
We improved the multiplication performance for Circle STARK related fields.
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 end-to-end cost reduction of more than half! 🤯
github.com/Bitcoin-Wildlife-…
Even though STARKs are Bitcoin-friendly and lean on algebra, multiplications incur significant costs, which is why this optimization is so important.
Unlike STARKs, this new multiplication algorithm (like the previous algorithm) does not require OP_CAT, cementing M31’s status as a Bitcoin-friendly prime, regardless of OP_CAT!
More details on multiplying numbers on Bitcoin below 👇
4
4
42
2,685
I know Succinct core team is mostly MIT and UC Berkeley, but from the MIT people I know they would not have allowed this, and I am deeply sad that Berkeley students are part of this.
Apparently once you're production ready you no longer need to acknowledge outside contributions to your project
1
40
6,297
why do all the benchmarks against RISC Zero choose to (1) not use precompiles that already exist (2) not use GPU prover although it is right there. The problem is that precompiles exactly challenge the fundamental idea of the Jolt design---zkVM is not about just lookup.
1/ We're excited to share the initial release of Jolt, a new approach to zkVM design. Early benchmarks indicate it outperforms RISC Zero by ~6x and SP1 by up to 2x. Major optimizations are still in the pipeline.
2
2
39
11,940
Today might be one of the many worst days of Succinct, though Paradigm should be able to force Symbiotic to announce a partnership with Succinct by the end of this year.
EigenLayer is becoming boundless.
We’re helping power slashing on the world's leading restaking protocol.
Through this integration, @boundless_xyz will help secure the AVS ecosystem.
2
38
5,218
Our portfolio company, RISC Zero, is hiring a DevRel.
jobs.ashbyhq.com/RISCZero/ac…
1
4
35
6,235
Our paper “MPCAuth: Multi-factor Authentication for Distributed-trust Systems” (Sijun Tan, Weikeng Chen, Ryan Deng, Raluca Ada Popa) has been accepted in IEEE S&P 2023. This is a complete rewrite of eprint.iacr.org/2021/342
1
10
37
4,678
Succinct can give projects a 4M grant to use them so that the cost becomes much cheaper than RISC Zero. I believe Paradigm has enough money for Succinct to spend in this way.
Sorry for the confusion, we were using the numbers from your website
OP Mainnet:
$0.0134/tx * 15.6tx/block * 15768000blocks/yr
= $3,296,142.72 per year
blog.succinct.xyz/op-succinc…
1
37
5,384
If zkEVM is too powerful (and with a lot of debates), would there be an open letter like the one against GPT5, to call for a pause on zkEVM?
(Nay I would not sign)
2
3
31
6,083
I will be in Seoul this Wednesday and the rest of the week!
Speaker Announcement
@weikengchen, Research Partner at @l2iterative will be speaking at #BTCONSEOUL
@l2iterative invests in the architects of the next digital era, backing blockchain initiatives that stand at the frontier of technological convergence, societal transformation, and the expansive potential of Web3.
#KBW #KBW2024 #koreablockchainweek 🟧 See you at BTCON | lu.ma/8e3ynu77
1
2
32
2,658
"When you submerge 4 Nvidia consumer GPU cards into the Sea, the salty water becomes healthy."
This is how Nvidia's "blockchain" exception to data-center use of consumer-grade cards benefits zk-ML and zk-Rollup.
coindesk.com/markets/2018/01…
1
22
2,517
I created a list "zkEVM debates". Will be adding more people...
nitter.app/i/lists/16415815927822…
1
5
26
2,769
Vitalik has pivoted into Circle STARK.
@VitalikButerin casually wrote a Circle STARK prover and verifier and presented his journey on the main stage of StarknetCC.
I love how he is just sharing what he is passionate about. No effort to package it into bullshit, just thinking about how those new efficient primitives can unlock.
2
28
2,047
I have been telling portfolio companies NOT to open-source any code because “backed by” will copy. It is crucial that RISC Zero recursion circuit remains only half-open-sourced so that “backed by” doesn’t have recursion.
i still find it wild how venture-backed competitors build directly on their competitors' open source code
and i'm all for it
means you have to win not by siloing innovation but on network effects, economies of scale, and being first to market with new tech
9
1
26
23,936
Introducing Plonky4: github.com/Plonky4 (this github org is owned by the same team)
Plonky 3 codebase is excellent. I think it's some of the best things that exist in this industry. I need more time to dive more into it.
We will be copying and using many ideas from here in our lambdaworks STARK prover. We will obviously reference them.
Thanks @dlubarov for building in the open.
github.com/Plonky3/plonky3
3
5
26
8,125
An update about DZK.
linkedin.com/feed/update/urn…
4
1
25
7,978
This video is the first time we talked about reusing Bitcoin PoW in STARK verification.
Reuse Bitcoin PoW By @weikengchen
Research partner of L2 Iterative
piped.video/watch?v=4OVuRO9h…
2
3
26
2,217
To clarify, I am still in Findora/Discreet Labs as the Chief Scientist, while rebuilding the team at DZK.
An update about DZK.
linkedin.com/feed/update/urn…
2
2
21
8,862
Now that Aztec has given up privacy payments, you should take a look at Findora, probably the only privacy payment project other than Zcash nowadays.
findora.org/
3
14
24
3,051
This is a very important result for Reed-Solomon-based proof systems. Particularly, it cuts the number of hashes by half, which has significant value to, for example, basically every ZK company that doesn't use Halo2 today.
Say hello to STIR 🥣!
STIR is an IOPP for RS which, compared to FRI, has shorter arguments (~2x) and a faster verifier (~1.2x) that performs fewer hashes (~2x).
Joint work with Gal Arnon, Alessandro Chiesa and Eylon Yogev.
ia.cr/2024/390 - gfenzi.io/papers/stir
1
2
24
2,694
replacing my old laptop with a M3 Max MacBook Pro using the $STRK ECMP airdrops. Thanks @Starknet @argentHQ. Thanks @GuthL. And thanks @ZeroSync_
3
24
2,277
There is a SBF discount!
Is it a coincidence that @realDonaldTrump @POTUS announced the SBR on SBF's birthday?
Who knows!? Enjoy a 30% discount on #MITBitcoinExpo 2025 GA tickets anyway 🥳
Offer valid for a limited time only!
52
9
1,023
Just use STARK
Smashing on-chain verification costs
The current on-chain verification costs in Ethereum are high, reaching 100M USD per year. These costs come from data storage, access, and computation.
Aligned is poised to revolutionize the cost landscape of zero-knowledge proofs, potentially slashing the current high on-chain verification costs in Ethereum.
Aligned allows developers to verify and use the result of their proofs for just 2100 gas.
Curious to know how? Check out this thread:
2
4
18
4,792
In less than one hour, I will be talking about the other direction of "application-specific", that is a *totipotent* software stack for ZKP, and why it is important for developing ZKP applications, as well as hardware-software co-design for ZKP.
🤝 We're chatting with ZPrize architect @weikengchen 1 week from today about his involvement in the competition.
👀 He'll also be sharing some alpha...
🔔 Set that reminder!
nitter.app/i/spaces/1RDGlaZWXqRJL
7
22
3,661
Plonky17! @dlubarov
1
39
20
1,540
…maybe we should give it to @aztecnetwork? @Zac_Aztec
3
22
3,136
Ingo’s danksharding is verifiably 6x-7x faster than state of the art parallel solutions. And importantly, without using 4nm ASIC.
9/ our approach to danksharding is unique and innovative, currently 6x-7x faster compared to parallel version of rust-kzg with blst-from-sctatch backend.
Primitives such as batched-NTT running up to 30x faster than supranational Sppark.
1
21
1,889
A rule of thumbs: real VC and crypto people don't have these many available timeslots in their calendar.
i wanna sleep but DPRK wants to play games so feel free to book their calendly’s solid with fake calls
loooveeeee you 😘
ps: dont use your real info you fucking morons
calendly.com/ceisberg-str8fi…
calendly.com/joan-openfort/3…
calendly.com/alexchrye/30min
calendly.com/kohei-hanasaka/…
calendly.com/shotaisoda-glob…
53
12
4,544
Nubit is a Bitcoin-native DA layer that can be used for Bitcoin L2s and other applications. We are glad to be one of the pre-seed investors.
1/ We are elated to announce our $3M Pre-Seed round participated by prominent investors, including dao5 (@daofive), OKX Ventures (@OKX_Ventures), and Primitive Ventures (@primitivecrypto). Nubit is pioneering a bitcoin-native future with enhanced data throughput and availability services, setting the stage for a paradigm shift in the Bitcoin landscape.
4
20
2,286
Aleo is developing WebGPU enhanced proof generation. 150x speed up, without using any ASIC.
We're going to start posting some benchmarks for @AleoHQ in the next couple weeks. We're already seeing 150x speedups for basic finite field arithmetic.
Stay tuned.
3
2
20
5,179
Ok this is a web2 use case we are seeing here and it can be big.
We believe ZK tech is ready for mass adoption and the number of real world usecases is staggering.
We're proud to share our latest ZK-tech showcase: Bonsai Pay, an open source ZK-powered payments platform that enables users to send crypto to any Google account using Ethereum.
3
19
6,324
North Korea compromised Gnosis SAFE.
Damn. Bybit just released their audit report—the compromise was not Bybit, but SAFE's servers. They hot swapped the Gnosis SAFE UI with JS code that ONLY targeted Bybit's cold wallet. Independently confirmed by WaybackMachine snapshots.
Lazarus Group is on another level.
19
10
753
Warning: the discussion in this tweet thread (including upstream) has been fruitful and can take more than half an hour to read in its entirety
1
1
20
5,252
zkemail contributor gets university award and recognition
この度、ゼロ知識証明などの高機能暗号に関する研究や、zk emailに関する国際的な活動を評価していただき、東京大学総長賞を受賞しました。研究開発を支えてくださった皆様に感謝申し上げます。今後も実用的・高機能な暗号技術の研究及びその応用と普及に貢献していきます。
u-tokyo.ac.jp/ja/students/ev…
2
20
2,251
ID.me is now on-chain
Our latest demo, built using the RISC Zero zkVM, unlocks identity for Web3:
✅ Prove & mint your identity as a soulbound NFT
✅ Maintain on-chain privacy, stay compliant
✅ Links Web2 authentication with Web3 for easy implementation
Start building ▶️ r0.link/zkKYC
1
3
20
4,975
Huge
BREAKING MEOWS:
@StarkWareLtd, developer of the StarkNet rollup ($12B FDV):
🙀announces plans to scale bitcoin with OP_CAT
🙀adds CAT emoji to username
🙀launches $1M fund to support OP_CAT development
do you get it yet anon?
2
19
1,880
I will be on a panel talking about Bitcoin's potential upgrade with @blapta, @OrlandoWHB, @LukeGLW, and @AlpacaYovela in @BitlayerLabs's Bitcoin Next event on Nov 13 in Bangkok.
1
19
682
This is in Dubai!
Buildspace by @Hadronfc nearing completion. Folks who want to rent the space for side events during T2049 can dm @ashwinho4
66
12
632
Now Merkle tree is cheap.
#ePrint An efficient verifiable state for zk-EVM and beyond from the Anemoi hash function: J Liu, H Patil, AS Peddireddy, K Singh, H Sun, H Sun, W Chen ia.cr/2022/1487
1
2
18
We released our second article, "Tech Deep Dive: Verifying FHE in RISC Zero, Part II".
We implemented a profiler, called profiler0, and a debugger, called gdb0.
l2ivresearch.substack.com/p/…
8
18
5,799
Congratulations that a constructive SNARK-friendly hash function paper gets into CRYPTO 2023! (Image by Midjourney.)
Now that CRYPTO'23 results are officially out, I'm super proud to announce that Anemoi and Jive will be at Santa Barbara in August 🥳🥳
Check out our paper(eprint.iacr.org/2022/840) if you haven't yet!! And huge congrats to all my co-authors! ❤️
1
1
19
1,824
Last year @SamsungNext joined @z_prize for mobile ZKP acceleration, already thinking about ZK chips in the phone. It could be a small dot in the PCB. I think it is a time for @Qualcomm and @Arm to explore.
Think browser certificates & passkeys, digital IDs, GPS location proofs, CNP transactions, age verification, election tallying/voting machines, authenticated images/videos in journalism, to name some.
A big overlap being ZK chips will be everywhere
19
4,702
Wow
Polyhedra x Pika → AI-Powered Video on EXPchain
@pika_labs joins EXPchain AI Marketplace - a world-first concept connecting top AI APIs with onchain builders.
The future of AI-powered content starts next week on EXPchain.ai
Why does this matter? 👇
• Text-to-video, image animation & AI editing → Now seamless onchain
• Direct access for EXPchain builders → build further engagement on our world class AI toolkit
• New tools for gaming, marketing & entertainment → Frictionless AI adoption
We’re already using Pika to enhance user engagement. So can you.
Examples below 🥁
55
13
647
Findora is working to deploy WASM prover from ZPrize into the SDK. This would be in March.
3/6: The purpose of the recent @z_prize competition was to ensure those optimizations end up #opensource, promoting a healthy ecosystem that shares value w/ users as opposed to being captured by a few specialized & well-capitalized players
zprize.io/
1
2
17
2,372
🌟 مرحبًا! تعلموا عن البراهين صفر المعرفة باللغة العربية مع قناتنا على #يوتيوب! اشتركوا ليصلكم كل جديد: piped.video/@EGY-ZKP-wr8km 📚💡 #ZeroKnowledgeProofs #Privacy #Learn
3
3
16
51,665
Now you can create your own circuits/zkVM with Zirgen and potentially raise millions of dollars.
RISC Zero is now fully open source. 🟡
We released our entire circuit source code and compiler tech.
Empowering developers, partners, and auditors worldwide to confidently build, verify, and innovate.
18
1,291
We got aligned.🟩
Talking about private equity, hedge funds and crypto with the fiends of @l2iterative.
Thanks @weikengchen for pushing us to meet @klee_049. They got aligned.
2
17
2,865
ASIC for Binius would make it much faster than any other ZK systems we see today.
RISC Zero is about to hit unprecedented speeds.
We are partnering with @IrreducibleHW to integrate Binius into the RISC Zero zkVM.
Accelerate.
2
1
18
1,339
More info about Plonky3 can be found in this Delendum's workshop video by Daniel piped.video/watch?v=giFA3UXb…
2
14
3,016
I happen to know a few professors and practitioners working on this. This is a relatively new research area, and there is a lot of potential. Let me know if you are interested. We should create an initiative to study this new family of tools.
Someone should invent like "Zero-Knowledge" ZK SNARKs, where not only is the proof succinct, but it also doesn't reveal anything else beyond the truth of the statement.
Is anyone working on this?
1
1
15
first open-source production-ready Starknet prover
@andrewmilson just completed the world's first production-ready open source STARK prover.
He generated a proof and submitted it to @StarkWareLtd's onchain verifier. It was accepted, which proves that it works.
We feel honored to have him as part of the ZeroSync team!!
💪🤓🧡
3
15
1,656
PolyU and HKU brought DIZK to Plonk, an effort toward modern distributed proof generation. Now, one can generate proofs with low latency without waiting for ASICs.
🥇 The winning team is made up of students from @HongKongPolyU and @HKUniversity.
They reduced proof generation time by 40%, and developed a new dispatcher to efficiently distribute the prover's computation across a cluster of computers.
1
7
16
2,899
Wait, what? “Federico grew up in Buenos Aires with his parents and sister. He learned to code at age 12, inspired by his software engineer father, and at age 14, sold his first program—a plugin for the video game Minecraft—for $10,000.” coinage.media/s2/he-stole-20…
1
17
3,736
miners support Bitcoin innovation
“We all appreciate the prosperity that the ordinals protocol brought to the mining ecosystem”
Andy Chow, @AntPoolofficial CEO
7
1
6
1,045
