Ghost Logo / Explore
Sign in Get Started — free
Back to Explore

Succinct icon Succinct

Research & Announcements

On the social web

Subscribe via Mastodon, Threads, Flipboard, or any social web platform.

Latest Posts

An Experiment in Formal Verification with Claude

John Guibas · 20 May 2026

Introducing Confidential Transactions to OP Succinct

John Guibas · 12 May 2026

Base Adds ZK Proofs to Base Azul with SP1

John Guibas · 4 May 2026

Contributors

John Guibas

John Guibas

Creator of Succinct

More from Technology

AI in Practice icon
Technology

AI in Practice

Welcome to AI in Practice, Zedge’s newsletter for busy tech people who care about the practical implementation of AI over reading flashy headlines.

DevOpsCube – Easy DevOps, SRE Guides & Reviews icon
Technology

DevOpsCube – Easy DevOps, SRE Guides & Reviews

DevOpsCube – Award-winning Blog on DevOps, SRE, MLOps, Cloud & CI/CD

bitbank techblog icon
Technology

bitbank techblog

ビットバンクの技術を皆さんに知ってもらうために、この度bitbank tech blogを開設しました。このブログではビットバンクのエンジニアやデザイナーが関心のある技術やTips、職場、イベント等について自由に書いていきます。

DevCycle Blog icon
Technology

DevCycle Blog

Learn about OpenFeature and feature flagging with expert tutorials, implementation guides, and best practices from the DevCycle team.

Launch your site

Last week, 13,806 brand new
publications got started with Ghost.

Today, it's your turn.

Start a free trial now →