Alice Liu
@alicelingl
education lead @ProjectZKM | host @HouseofZK | educational programs manager @crypto_chicks
The main event: @drakefjustin, Researcher at @ethereumfndn, is live on the @eth_proofs Summit stage clarifying the motivations and future outlook of this crucially important initiative - and how it's helping drive ZK advancement to exponential new levels 🤝
ZK Day @ SF, hosted by @HouseofZK at @frontiertower, was one of my favorite dev meetups we’ve put together! Huge thanks to our attendees who brought incredible energy to our event and to our presenters from @SuccinctLabs, @zkemail, @TheProofLab, and @aztecnetwork for their high…
If you’re in San Francisco and want to sharpen your ZK expertise, head to @FrontierTower this afternoon for a set of workshops and discussions that will leave you verifiably sharper: lu.ma/hozksanfrancis… Come build with @SuccinctLabs, @TheProofLab, @ProjectZKM, @0xLita,…
. @DacEconomy from @ProjectZKM presenting at @frontiertower’s Crypto Summit about the Ziren zkVM & Entangled Rollups. Clip about how universal verifiable compute in real time is needed for decentralization:

IRL podcasts hit different Had a great time chatting about prover networks, real-time proving and what's next for Succinct with @alicelingl in SF!
The @SuccinctLabs Special, with @pumatheuma x.com/i/broadcasts/1…
I had a lot of fun chatting with @pumatheuma at @SFOxZo about @SuccinctLabs’ work in real-time proving with Ethproofs, proving networks and their latest integrations! The team put an incredible amount of detail and care into optimizing each layer of their zkVM stack. Tune in to…
The @SuccinctLabs Special, with @pumatheuma x.com/i/broadcasts/1…
Right before ZK Day at SF, @frontiertower will be hosting Crypto Summit this weekend. @ProjectZKM’s co-founder @DacEconomy will be presenting on the 20th. Be sure to stop by! Use code ALICE80 for 80% off your Crypto Summit ticket. 🔗 lu.ma/crypto-summit?…
It's here. Crypto Summit is coming to @frontiertower this weekend Jul 19-20 2-day conference @ a vertical village for frontier tech Reps from @ethereum @Celo @OrangeDAOxyz @singularityu @SuccinctLabs @ethereumfounda @Etherealize_io @ProjectZKM @EspressoSys Get your pass👇
Hope to see you all there!
2/ Join us at @houseofzk San Francisco for a ZK-focused workshop during Crypto Summit Week! @alicelingl will present Building ZK & BTCFi Applications on ZKM — don’t miss it. Limited spots available — register now to save yours 📅 July 23, 2025 📍Frontier Tower SF 🔗 RSVP:…
House of ZK Radio #59: Eric Vreeland, CSO at Polyhedra - out now on Spotify & YouTube 🔲🔳 In this episode we sit down with @vreeland, CSO at @PolyhedraZK, to discuss the building of performant ZK infrastructure - from the industry’s fastest proof systems to a new frontier in…
If you’re a dev in SF building with ZK, stop by our event at @frontiertower! We have a full afternoon’s worth of technical workshops led by top ZK projects in SF
Calling all San Francisco-based devs 📢 House of ZK is hosting a developer-focused ZK Workshop Day during Crypto Summit Week 🌉 🗓 July 23rd 🕑 2pm-5pm 📍 @frontiertower, SF 🔗 lu.ma/hozksanfrancis… Co-organized as part of the broader Crypto Summit Week programming and…
House of ZK Radio #57: Ming Guo, Chief Scientist at ZKM, & Stephen Duan, Core Contributor at GOAT Network - out now on Spotify & YouTube 🔲🔳 In this episode, recorded live at the Bitcoin Economy Conference in Las Vegas, we sit down with @DacEconomy (Chief Scientist at…
Introducing Ziren (formerly zkMIPS) The most performant general-purpose zkVM on CPU, now scaled with GPU, distributed proving, and more. Build with confidence. Deploy without compromise 🟠 Full context: zkm.io/blog/ziren-bui… Technical updates: zkm.io/blog/ziren-wha…
The Across x Succinct Special - With Matt Rice & Uma Roy x.com/i/broadcasts/1…
House of ZK Radio #56: Muthu Venkitasubramaniam & Carmit Hazay of Ligero - out now on Spotify & YouTube 🔲🔳 In this episode, we’re joined by Muthu Venkitasubramaniam (CEO) and Carmit Hazay (Chief Cryptographer) of @ligero_inc, a company building lightweight, verifiable…
With over 25 zkVMs now in development, the question isn’t just how they scale, but also how they’ll interoperate. This panel from our recent @eth_proofs Summit explores how proof verification can be universal, what infrastructure is still missing, why proof markets need…
As Ethereum moves toward enshrining ZK clients, what does governance look like for zkVMs? 🟢 At House of ZK’s @eth_proofs Summit, this panel unpacked how multiprover security, formal verification, and open proof markets challenge today’s governance models as zkVMs inch closer to…
What makes zkVM benchmarking disputable - and why does it matter for the future of verifiable compute? 🟢 At House of ZK’s @eth_proofs Summit, this panel tackled the design of adversarial workloads, how to score proofs (latency, size, cost), and how benchmarks should inform zkVM…
Excited to cover the latest in ZK and privacy with @HouseofZK at @NoirLang’s Noircon 2 in Berlin!


Will zkRollups on Bitcoin render other blockchains obsolete? 🟠 At House of ZK’s @Bitcoin Economy Conference, this panel unpacked whether Bitcoin-native zkRollups can match the programmability of other L1s - and what tradeoffs and narratives come with it. Featuring: 🔸 @cmpeq,…