Stephen Duan
@sd_eigen
Followers
944
Following
2K
Media
16
Statuses
1K
Build zkVM. CTO @ProjectZKM | Contributor @GOATRollup. Ex founder @Eigen_Network
worldwide
Joined July 2016
Happy to share the phased experiment result from our approach to realize the verifiable garbled circuit by zkVM. Behind this document, we have lots of works regarding how to choose a better hash function/precompiles, xor3 precompile, hinted double scalar, and comparison between
GOAT Network introduces BitVM2-GC — our latest updates toward scalable Bitcoin verification. By utilizing the zkVM(Ziren) to implement a verifiable garbled circuit scheme of DV-SNARK verifier, our BitVM2-GC cuts on-chain fraud-proof data by ~1000×, and achieve smallest off-chain
0
1
3
“Ziren is complex. Manual audits matter, but continuous automated verification is just as critical.” - @sd_eigen, CTO of @ProjectZKM In episode #95 (recorded at @EFDevcon), ZKM CTO Stephen Duan explains why securing a zkVM requires more than periodic audits - it demands a
7
9
57
Thoughts about @ethereum Fusaka Upgrade. "EIP-7823: Set upper bounds for MODEXP" and "EIP-7883: ModExp Gas Cost Increase" would be very helpful to encourge zkVM to support MODEXP precompile, cause it's hard to implement MODEXP with unlimited (base, modular and exponent) in
1
0
4
@brevis_zk @DelphinusLab @a16zcrypto @SuccinctJT @eth_proofs @0xMiden @NexusLabs @BruestleJeremy @RiscZero @SuccinctLabs @ethereum @ziskvm ZKM 🔹 Audit 🔹 ZKM's Ziren is undergoing an audit by @VeridiseInc, using its Picus verification platform: https://t.co/VAR4UxOj1n Veridise adapted Ziren’s Plonky3 constraints and ran analyses through @AuditHubDev. Initial results confirmed deterministic behavior for addition
0
2
20
At yesterday's Verifying Intelligence event at @EFDevcon, ZKM CTO @sd_eigen sat down with @VeridiseInc CSO @bensepanski to discuss the auditing of Ziren. With the audit currently in its second and final phase, Stephen stressed how security is of fundamental importance for any
1
7
77
Our BitVM2 implementation passed a comprehensive audit by @zellic_io! All findings addressed, system hardened. SNARK verification on Bitcoin is ready for mainnet. Huge thanks to all the BitVM Alliance companies: Citrea, GOAT Network, BOB, Babylon, Bitlayer, Alpen, Fiamma.
8
12
65
15.50 - 16.20. Panel discussion: How chains are shaping the BTCFi landscape Moderator: Diogo Costa @lstmaximalist (Head of Comms, Babylon) Panelists: - Zhixi Zhang @nikki_sunset (Senior BD & Product Strategist, @build_on_bob) - Stephen Duan @sd_eigen (CTO, @GOATRollup) - Steven
1
3
16
🟠 Introducing the voices shaping the future of Bitcoin DeFi at the upcoming Native BTCFi Summit 🟠 Get ready to hear from industry leaders, protocol founders and innovators pushing Bitcoin beyond its traditional boundaries. In the next few days, we’ll share the full agenda 📝
40
20
126
As we unpack what global collaboration really looks like in Web3. Top builders from Hyperlane, ZKM, Brevis, and AltLayer will share how teams work effectively across cultures.#AsiaWeb3Day @EFDevcon 🇦🇷 ⏰Time: Nov. 20 18:00–24:00 Local Time 👉RSVP: https://t.co/EHLrAMhZRO Panel:
1
4
38
Finally landed at the antipodal point, Buenos Arias, 2 * 13h flights back to back, totally around 36 hours on the way. #devconnect #Ethereum #goatnetwork #ziren
1
0
6
Delighted to be sponsoring @EtherArgentina's Hackathon during @EFDevcon 🇦🇷 Not only will ZKM be running our own track, but Education Lead @alicelingl will serve as a hackathon mentor and CTO @sd_eigen as a juror. To get involved, visit:
cryptonomads.org
Who is going to Ethereum Argentina? Where and when is it? Everything you need to know about the crypto event
📢 Se suma ZKM como Sponsor de Ethereum Argentina Hackathon. @ProjectZKM es una infraestructura blockchain de nueva generación centrada en un zkVM llamado Ziren, que habilita cómputos verificables, Entangled Rollups y una red de liquidación universal donde distintas cadenas
0
9
45
🌿 ZKM × Invisible Garden A heartfelt thanks to ZKM @ProjectZKM for sponsoring Invisible Garden once again! ZKM has been supporting our mission to cultivate Ethereum & ZK builders since last year — helping us bring deep, hands-on education to the global developer community.
6
2
18
The Privacy-Preserving Chains are emerging. Who will dominate? 💪 Join our expert panel to hear from the leaders building the next layer of private Web3: @Shubhamb (@MantaNetwork) @aurobindo_arman @ZKVProtocol @sd_eigen @ProjectZKM @geniusyinka (@nillion) This is the essential
1
8
48
@zainlabs @HorizenLabs @ZKVProtocol @EFDevcon @_CHEN_Xiaohong_ @Pi_Squared_Pi2 @Viggy_117 @eigencloud @0xThiru @MetisL2 We’re pleased to announce that @sd_eigen, CTO of @ProjectZKM, will join Verifying Intelligence at @EFDevcon 🇦🇷 🗓️ Nov 19th 📍 Cultural Vivo, Buenos Aires, 🎟️ https://t.co/SDjwSJwqFo Stephen Duan is the CTO of ZKM, Core Contributor to @GOATRollup, Co-founder of Baidu Blockchain,
1
1
17
Proofs in seconds, not minutes.⏱️ At #ZKONNECT industry leaders join forces for: “EVM Proved in 10 Secs: The Race to Real-Time Proving.” Mod: Francesco @francescoswiss, DevRel of @Consensys and @MetaMask Speakers: Arthur Remy @goinfrexeth, Product Lead of @LineaBuild Stephen
242
176
761
Oh, one week, two disproves.
In new work with Alistair Stewart, we disprove proximity gaps and list-decodability conjectures up to capacity. These conjectures underpin the security and efficiency of many deployed SNARKs and are the subject of Ethereum’s “Millennium Prize.” https://t.co/1noTxGAAq7 🧵
2
0
7
Nice work! zkVM can not only chase performance regardless of the security.
In new work with @AngusGruen, we show that the 𝘶𝘱-𝘵𝘰-𝘤𝘢𝘱𝘢𝘤𝘪𝘵𝘺 proximity gaps conjecture (Ben-Sasson–Carmon–Ishai–Kopparty–Saraf) is not true. This affects the security analysis of most zkVMs deployed today.
0
0
23
Ziren @ProjectZKM has hit 100⭐️ on GitHub! Thanks to all devs exploring #zkVM with us. Next up: Real-Time Proving && BitVM2-GC. Check it out → [ https://t.co/Lgf6I4vsIH]
1
4
45