Bastian Wetzel·Jun 17Vericoding: Formal Verification for AI Code GenerationHow AI is transforming formal verification through vericoding: generating provably correct code from specs. A market map of key projects.
Bastian Wetzel·Jan 7, 2025From Watermarks to Waterlogs: A New Frontier in AI TransparencyRecently, I came across an interesting topic presented at the Summit on Responsible Decentralized Intelligence, organized by Berkeley RDI…
Bastian Wetzel·Nov 19, 2024Crypto Trends 2024 (H2) — What Accelerators Have Been Investing InThe main themes of 2024 were around zkTLS, DeAI, FHE, Chain Abstraction, Payments, Fiat On-Ramp, Compute, Agents, among others.
Bastian Wetzel·Apr 16, 2024TLS Oracles (zkTLS): Liberating Private Web Data with CryptographyActing as bridges between Web2 and Web3, TLS oracles (zkTLS) liberate private web data and facilitate their integration into Web3.A response icon2A response icon2
Bastian Wetzel·Aug 1, 2023Intent-Based Architectures and Projects Experimenting with ThemThis article explores approaches towards an intent-centric world and projects experimenting with intents.A response icon1A response icon1
Bastian Wetzel·May 9, 2023Zero-Knowledge Machine Learning (ZKML): Projects Exploring the SpaceOver the previous year, there have been significant developments in zero-knowledge technology, and in 2023, we are experiencing a…
