Source: https://events.trymimetic.com/events/london/ai-verification-x-crypto-nov-2026

# AI Verification x Crypto

📅
November 13, 2026

🕐
6:00 PM Europe/London

📍
London

👥
49 attending

🎟️
Free · Approval required

## What we're seeing

- **Approval required · venue shared on acceptance**

## About This Event

### Learn about AI Verification and how you can contribute.

A lot has happened in AI over the last few months. In July, [OpenAI’s AI agents escaped their test sandbox and broke into Hugging Face’s systems](https://en.wikipedia.org/wiki/OpenAI%E2%80%93HuggingFace_incident). Just last week, researchers using an OpenAI model [found critical flaws in PHP](https://www.axios.com/2026/10/21/php-openai-ai-bug-hunting-cyberattacks), the language behind nearly 70% of websites. AI has become very powerful, and with more compute coming, this will only grow.

About a month ago, leaders in the industry called for pacing the development of frontier AI. If you haven’t read up on this, here are a few resources to catch up:

**Why now**

- [We Must Pace the Frontier](https://darioamodei.com/post/we-must-pace-the-frontier), Dario Amodei’s essay
- [Why AI’s biggest rivals are suddenly calling for restraint](https://www.cfr.org/articles/why-ais-biggest-rivals-are-suddenly-calling-for-restraint), Council on Foreign Relations

**What AI verification looks like today**

- [Progress on provable inference for large language models](https://www.anthropic.com/research/provable-inference), Anthropic. Using zero-knowledge proofs to show which model produced an answer.
- [The world’s first double-blind evaluation of a proprietary model](https://www.averi.org/ourwork/averi-pilot-report-the-worlds-first-double-blind-eval), AVERI. Using a secure enclave (TEE) to test a model without either side seeing the other’s secrets.

In this meetup we’ll talk about one part of AI safety: AI verification. We’ll briefly cover what AI verification is, and how people with a background in building and researching zero-knowledge proofs, TEEs, FHE and MPC can help build the tools and mechanisms it needs.

**Agenda**

- Short Welcome
- Talk: Intro to AI Verification
- Panel on applying your skillsets to work in AI Verification
- Drinks and networking with people working in the field

**Speakers:**

- [Yannick Mühlhäuser](https://www.linkedin.com/in/yannick-m%C3%BChlh%C3%A4user-719962224/) (co-founder of [Verifiable Compute Foundation](https://verifiablecompute.ai/) and Policy Researcher at Oxford AI Governance Initiative)
- [Pascal Berrang](http://www.pascal-berrang.de/) Associate Professor at University of Birmingham & Tech Lead AI Verification at SASH (Singapore AI Safety Hub)
- [Deniz Bas](https://denizbas.com) (Frontier AI Security Resident @ ERA, & Exploration Engineer @ o1Labs. ex-Pentester @ Etherscan)

**Who it’s for:** engineers and researchers working on ZK, TEEs, MPC, FHE, security or hardware.

***Supported by a Rapid Grant from BlueDot Impact.***

## Hosted by

[Anshuman Singh](https://luma.com/user/anshumansingh)

[Encode Club](https://luma.com/user/encodeclub)

## Location

📍 [London, United Kingdom](/events/venue/london)

AI

Meetup

Networking

Founders

Talk

Agents

Research

[Register for This Event](https://lu.ma/j5glptwa?utm_source=trymimetic&utm_medium=calendar&utm_campaign=ai_events)

[1 more LONDON EA event this week](/events/ea/london)

Free Growth Analysis

## Get a free growth analysis for your company

See how your website, messaging, and go-to-market strategy stack up, in minutes.

[Get My Free Analysis](/?utm_source=events&utm_medium=referral&utm_campaign=ea&utm_content=event_detail_cta)

## More LONDON events like this

### [LIaiSE Community social](/events/london/liaise-community-social-nov-2026)

Wed, Nov 18 · 6:00 PM Europe/London
London, United Kingdom

### [AI risks and responsibility: a Christian response](/events/london/ai-risks-and-responsibility-a-christian-response-nov-2026)

Sat, Nov 28 · 10:00 AM Europe/London
King's Cross Church (KXC), 242 Pentonville Rd, London N1 9JY, UK
27 attending

High Signal

### [Anthropic in London: AI and Science](/events/london/anthropic-anthropic-in-london-ai-and-science)

Tue, Dec 8
TBD

High Signal

### [AI Engineer Europe](/events/london/ai-engineer-europe-feb-2027)

Wed, Feb 17 · 9:00 AM Europe/London
Excel London, London E16 1XL, UK

[← Back to London Events](/events/ea/london)