Blog

Verifying zero-knowledge proofs and cross-chain privacy for shielded transactions.

“Are things really gettin’ better, like the newspaper said? What else is new my friend, besides what I read? Can’t find no work, can’t find no job, my friend Money is tighter than it’s ever been Say man, I just don’t understand What’s going on across this land” – Marvin Gaye, “What’s Happening Brother” On March 12, 1711, Joseph Addison (1672-1719) and Richard Steele’s (1671-1729) seminal publi

A technical guide to PeerDAS security architecture for Ethereum protocol developers.

Recent Dripline posts have covered what can be built on top of cryptographic hash functions: important concepts like data integrity and content provenance. Having the ability to uniquely refer to and verify an exact piece of data is crucial to building reliable digital content systems. But this can only take us so far. How can we keep track of an image when it’s been converted to a different file

In fact, we built digital gardens for everyone on ATProto! Yours already exists—it’s just waiting for you to plant something. Check out your corner of the internet here . Digital gardening is about curating and contextualizing ideas on your own personal site. There are already ATProto apps for posting short-form thoughts, for writing longer pieces, for posting photos and videos, for streaming an

We used Quint Connect and AI to increase test coverage and find a bug in Emerald

We used Quint Connect and AI to increase test coverage and find a bug in Emerald

Photo by Marko Stojanovic via Stocksy Over the holiday break, I headed to Vancouver Island where I was born and raised to spend the holidays with my extended family. And while I didn’t bring my laptop, I did take a copy of Empire of AI so that I could finish it while eating Christmas cookies and relaxing. Despite not being your usual vacation read, it’s a great book and recommended for

“Content provenance” is an emerging set of techniques that Hypha has been working with, often in the context of mis/disinformation. Instead of asking “Is this content fake?” content provenance systems ask a narrow, more technically precise question: “Where did this come from, and what happened to it?” By cryptographically binding media to devices, creators, and workflows, provenance turns content

Authorization, privacy, and lifecycle patterns for auditing DAML on Canton.

Reviewing Anoma's privacy-first resource machine and EVM integration.

We launched Quint Connect, a library for Model-Based Testing in Rust

We launched Quint Connect, a library for Model-Based Testing in Rust

Build PoA-based Ethereum networks with Malachite consensus and full EVM compatibility.

How MonadBFT's reproposal mechanism stops validators from stealing block rewards in pipelined BFT protocols.

How executable specs can be our hope for the future of software

How executable specs can be our hope for the future of software

Technical verification of XAN's innovative governance model and distribution mechanisms.

Exploring HotStuff benefits through Espresso's real-world implementation insights.

Security analysis of Celestia's erasure coding and block propagation protocol.

Circle acquires Informal's Malachite consensus engine to power Arc Layer-1 blockchain.

The message soup technique enables more powerful specifications. Featuring MonadBFT.

The message soup technique enables more powerful specifications. Featuring MonadBFT.

Learn about inductive invariants by defining them interactively with new Quint tools. This post walks through Quint's new --inductive-invariant command, using a Folklore Reliable Broadcast example to show how iterating on counter-examples helps you sharpen your understanding of distributed systems while proving the absence of design bugs.

Learn about inductive invariants by defining them interactively with new Quint tools. This post walks through Quint's new --inductive-invariant command, using a Folklore Reliable Broadcast example to show how iterating on counter-examples helps you sharpen your understanding of distributed systems while proving the absence of design bugs.

Our comprehensive security review of Babylon's Genesis V2 upgrade.

Our security audit of Espresso's HotShot consensus protocol examines validator set transitions.