UNK Cosmic

“It turned out this is actually efficient enough to do on Bitcoin - within all the crazy constraints of Bitcoin Script.” - @robin_linus, Creator of BitVM & @ZeroSync_ In House of ZK Radio #86, Robin Linus broke down how BitVM removes Bitcoin’s verification limits as a blocker - explaining why disproving an incorrect SNARK can be cheaper than fully verifying a correct one and how that asymmetry is used to optimistically verify SNARKs inside Bitcoin’s restricted scripting environment. This is the mechanism that makes BitVM viable at all. And it’s the reason trust-minimized Bitcoin bridges can rely on an existential honesty assumption rather than an honest-majority model. Watch the full conversation with Robin as we trace how these primitives unlock a new class of Bitcoin-scale systems: #86-robin-linus-creator-of-bitvm-zerosync" target="_blank" rel="nofollow noopener">hozk.io/radio#86-robin…

“You don’t need to understand ZK to use a zkVM - but you do need to understand what can still go wrong.” - @bensepanski, CSO at @VeridiseInc zkVMs promise a world where developers can build scalable applications without needing deep cryptography expertise - but as Veridise CSO Ben Sepanski explains in this talk, the security model becomes far more complex than most builders expect. Even with abstractions, classical ZK pitfalls (missing input validation, replay issues, privacy leaks, under-constrained logic) can still appear inside zkVM guest code and can lead to exploitable conditions if not handled precisely. Ben walks through the real failure modes teams encounter when shifting from circuit-level development to full zkVM applications, why seemingly harmless choices in Rust/Go or Solidity can create critical vulnerabilities, and how subtle interactions between guest execution, witness generation, and on-chain verification expose new attack surfaces unique to zkVMs. If you’re building verifiable or private applications on top of a zkVM, this talk provides a clear, practical understanding of what can go wrong and how to prevent it: youtube.com/watch?v=8lRlMU…

Verifying Intelligence 3.0 is upon us 🇦🇷 This is your last call to register for the most highly anticipated ZK/AI event during @EFDevcon: luma.com/xevcy7za Huge thanks to our sponsors: @0G_labs, @ZKVProtocol, @Starknet, @ProjectZKM, @VeridiseInc, @OntologyNetwork, @EtherArgentina, & @MinaProtocol 🫂 Full speaking lineup below 👇

House of ZK Radio #88: Dr. Redouane Elkamhi, Chief Economist at GOAT Network - out now on Spotify & YouTube 🔳 In this episode we sit down with Dr. Redouane Elkamhi, Economic Lead at @goatnetwork and Professor of Finance at the University of Toronto, to unpack what a “real” Bitcoin L2 should look like from first principles. GOAT Network is the pioneer of decentralized sequencing for Bitcoin L2s - a design pattern that is now also being adopted in @Starknet's own decentralization roadmap - and is part of the BitVM Alliance, the group pushing the core research and implementation work for Bitcoin-native bridges and Rollups. Spotify: open.spotify.com/episode/3dBi3X… YouTube: youtube.com/watch?v=cPmSOH…

ZK Cross-Chain Latest Here we report on the progress of the leading builders in the ZK Cross-Chain ecosystem, documenting recent significant releases, technical breakthroughs and general updates. Featuring: @AcrossProtocol, @Agglayer, @EspressoSys, @hyperbridge, @PolyhedraZK, & @union_build. 🔹 Visit hozk.io for more reports from across the industry 🔹

* the need for ZK is more urgent than ever

The Brevis Special Report @brevis_zk is establishing itself as a key proving layer for bridging ZK computation, on-chain finance, and AI systems. This month marks a series of milestones that highlight that trajectory - from Pico Prism’s real-time @ethereum proving on consumer GPUs, to a $9M grant from the @UniswapFND for trustless rebate routing, to partnerships spanning verifiable AI, private data markets, and x402 payments. This report consolidates the latest developments across Brevis’s technology stack, partnerships, and events, showing how its zkVM, zkTLS, and data coprocessor are moving steadfastly beyond research into production. 🔹 Pico Prism 🔹 Brevis announced that its Pico Prism system achieved near-complete real-time proving of @ethereum L1 blocks using consumer-grade GPUs: blog.brevis.network/2025/10/15/pic… Tested on 45 million gas limit blocks, 99.6% were proven under 12 seconds and 96.8% under the @ethereumfndn’s 10-second standard, averaging 6.9 seconds. Compared with @SuccinctLabs’s SP1 Hypercube, Pico Prism proved 3.4 times more efficient, using 64 RTX 5090 GPUs instead of 160. The results show real-time Ethereum proving is now possible on affordable hardware, advancing zkVM scalability and transparency. The development drew a wave of praise from across the industry, including luminaries like @VitalikButerin and @drakefjustin. 🔹 Grant 🔹 The project has received a grant of up to $9 million from @UniswapFND to develop a trustless routing rebate program for @Uniswap v4: blog.brevis.network/2025/10/24/uni… The initiative will use Brevis’s ZK Data Coprocessor and zkVM to verify gas rebates on-chain without centralized control. By rewarding routers that integrate hooked pools, the program encourages faster adoption of v4 features, deeper liquidity, and lower trading costs, supporting a more transparent and efficient decentralized exchange ecosystem. 🔹 Events 🔹 1/ Brevis, together with @HouseofZK, will host ZKONNECT on Nov 18 at CasaSur Palermo Hotel in Buenos Aires, as part of @EFDevcon: The event will focus on the practical adoption of zkVMs, ZK Data Coprocessors, zkML, and zkTLS, highlighting how these technologies are moving from research into production. Discussions will cover real-world use cases in verifiable computation, cross-chain data interoperability, and Verifiable AI. Registration: luma.com/jix04ltq 2/ The project will also co-host Verifying Intelligence 3.0 with House of ZK and @invisiblgarden on Nov 19th at Cultural Vivo, Buenos Aires. This gathering will explore the intersection of ZK technology and AI, focusing on how ZKPs can bring transparency and trust to artificial intelligence - shaping the future of Verifiable AI. The event is sponsored by some of the biggest names in the ZK and AI spaces including @0G_labs, @Starknet, @ZKVProtocol, @ProjectZKM, @MinaProtocol, and others. Registration: luma.com/xevcy7za 🔹 Partnerships 🔹 Finally, the project has recently announced a range of new partnerships and integrations, including: • @vana: Partnered with Brevis to enable user-owned data marketplaces for AI training. Brevis provides zkTLS and Pico zkVM to prove data authenticity and computation correctness without exposing raw data. Vana coordinates user consent and compensation, enabling high-fidelity, privacy-preserving datasets for AI models: blog.brevis.network/2025/11/04/bre… • @KoalaSwap_app and @UnitsNetwork : Launched a rewards campaign powered by Brevis Incentra on Unit Zero. The program distributes 2M rewKOALA to LPs based on actual fee generation. Brevis verifies off-chain reward calculations with ZKPs, ensuring transparency and eliminating the need for custom reward contracts: blog.brevis.network/2025/10/27/koa… • @GoPlusSecurity: Formed a strategic partnership to launch the Security Oracle, combining GoPlus’s security engine with Brevis’s ZK compute. The oracle will provide verifiable, real-time risk assessments for addresses and tokens, creating a transparent and composable security data layer for Web3: x.com/brevis_zk/stat… • @pieverse_io: Collaborated with Brevis to bring ZK verification to the x402b payment framework on @BNBCHAIN. Each payment made with pieUSD includes a verifiable receipt, enabling trusted transaction history for AI agents and users without revealing sensitive details: x.com/brevis_zk/stat… • @UnifaiNetwork: Partnered with Brevis to make AI-driven DeFi strategies verifiable. Brevis provides ZK proofs confirming strategy execution, performance, and agent behavior across chains. The integration supports UnifAI’s mission of building a trustless, auditable infrastructure for autonomous finance: x.com/brevis_zk/stat… With real-time Ethereum proving now demonstrated, grants reinforcing on-chain transparency, and multiple integrations extending across DeFi and AI ecosystems, Brevis is positioning its stack as a foundational layer for verifiable computation at scale. The future is looking bright for brevis.network. 🔹 Visit hozk.io for more reports from across the industry 🔹

Here we report on the progress of the leading builders in the Proof Verification ecosystem, documenting recent significant releases, technical breakthroughs and general updates Featuring: @alignedlayer, @alt_layer, @NovaNet_zkp, @pisquared, @primus_labs, & @ZKVProtocol 👇 🔹 Visit hozk.io for more reports from across the industry 🔹

Here we report on the progress of the leading builders in the zkBitcoin ecosystem, documenting recent significant releases, technical breakthroughs and general updates. Featuring: @AlpenLabs, @babylonlabs_io, @BTC_OS, @citrea_xyz, @FairGateLabs, @fractal_bitcoin, @goatnetwork, @Starknet/@StarkWareLtd, & @TheTNetwork. 🔹 Visit hozk.io for more reports from across the industry 🔹

Audits are intended to report bugs, but they’re not really intended to report the absence of them.” - @FormallyJon, CEO of @VeridiseInc At Verifying Intelligence (during @token2049, in partnership with @googlecloud and @boundless_xyz), Jon Stephens presented @AuditHubDev: a new, in-beta platform that brings continuous security to Web3 by shifting security left - out of the last-minute, pre-deploy audit crunch and into everyday development. Instead of relying only on costly, point-in-time audits (which miss out-of-scope code and don’t offer guarantees), AuditHub integrates a suite of battle-tested tools for both DeFi and ZK: static analyzers, fuzzers, and even a formal verifier for determinism in ZK circuits. It catches common bugs (think reentrancy-class issues or non-deterministic circuits) and, crucially, lets teams define project-specific checks to test their own business logic. Dev-friendly features include CI/CD hooks (run checks on every push/PR), single setup across tools, and guided issue triage that slashes false-positive noise by collapsing duplicates to root causes. Because the approach doesn’t scale with lines of code and provides real security guarantees, teams can cover all critical code continuously - before they build on top of bugs or ship risky post-audit changes. Watch the full keynote to see how AuditHub works in practice: youtube.com/watch?v=vWKKRk…

House of ZK Radio #79: Daniil Liberman, Creator of Gonka Protocol - out now on Spotify & YouTube 🔳 In this episode we sit down with @DaLiberman, Creator of @gonka_ai, to dig into his incredible founder journey - from early distributed compute and top-rated animation to Bitmoji/AR at Snap - and why he’s now building decentralized AI with a transformer-based proof-of-work to make compute abundant, verifiable, and permissionless. If you care about breaking Big Tech’s choke point on GPUs and the future of open AI infrastructure, this one’s a must-listen. Spotify: creators.spotify.com/pod/profile/ho… YouTube: youtube.com/watch?v=eWoa_F…

Plume Portal is the command center of @plumenetwork Swap, bridge, stake and track earnings in real time - all in one place. Quests, spins, referrals and leaderboards make DeFi fun and easy. With cross-chain support via Relay + external bridges, capital moves faster than ever⚡️

Kind words from @OntologyNetwork's @barnabas0x. If you missed Privacy Hour with @HouseofZK's @alicelingl, you can still listen to the full audio recording here: x.com/i/spaces/1mnxe…

ZK Industry Leaders with @AlpenLabs CEO @simanta x.com/i/broadcasts/1…

Episode 3 of ZK Industry Leaders with Professor Redouane Elkamhi, Chief Economist at @goatnetwork, is now available to revisit on the @HouseofZK YouTube: youtube.com/watch?v=2BsYxf… In the episode, the @UofT Finance Professor dives into the economics of Bitcoin L2s, breaking down: • Why true Bitcoin L2s should inherit L1 security (and pay miners), not act as isolated sidechains. • GOAT Network’s decentralized operator model vs. single-sequencer risk. • Risk-adjusted yield in BTC, plus multi-coin staking (e.g. BTC & DOGE) to bring users and transactions on-chain. • A pragmatic stance on BitVM2/3 and adapting tooling as the stack evolves. This is a must watch for anyone looking to understand sustainable revenue models for Bitcoin L2's. Previous episodes with BitVM Creator @robin_linus and @StarkWareLtd CEO @EliBenSasson are also available on YouTube.

ZK Industry Leaders: Dr. Redouane Elkamhi, Chief Economist at @goatnetwork x.com/i/broadcasts/1…

Join us today at 1pm UTC for the @ZKVProtocol special, where Co-founder @rolfversluis will guide us through the journey leading up to the projects recent Mainnet launch - and drop all the alpha on what's coming next. 📍 Live from @HouseofZK

ZK Industry Leaders: Scaling Bitcoin with @robin_linus x.com/i/broadcasts/1…

Here we report on the progress of the leading builders in the ZK @ethereum ecosystem, documenting recent significant releases, technical breakthroughs and general updates. ‍Featuring: @aztecnetwork, @KakarotZkEvm, @LineaBuild, @malda_xyz, @0xPolygon, @reddio_com, @Scroll_ZKP, @Starknet, @taikoxyz, @zircuit, & @zksync. 🔹 Visit hozk.io for more reports from across the industry 🔹