An open-source project rethinking distributed replication and coordination — from first principles to a practical framework.

Stop Google from limiting APK file usage

Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.

YouTube video by Web3 Foundation

Designing, verifying, correctly implementing and later improving core distributed protocols like consensus, which are critical for safety and reliability of decentralized systems, is notoriously diffi...

The complete solution to host your hybrid or virtual event.

Protocol Berg is a two-day protocol and research focused technical conference taking place in Prenzlauer Berg, Berlin, on June 12-13, 2025.

A post sharing first result of elaborating the idea of reversible deterministic concurrency