Protocol Berg v2 2025
2025-06-12..2025-06-13
Berlin, Germany
| title | author | length |
|---|---|---|
| Runtime Assertions New Paradigm for Customized Contract Security | Frederik Luehrs | 10m |
Proposal introduces concurrent runtime assertions that run alongside a modified EVM in a parallel co-processor so read‑only invariants (written in Solidity)… | ||
| SVM Protocol Design | Axel Eckerbom | 27m |
Empirical stress tests show practical limits: launching the BMPX token causes Bitcoin fees to spike to ~600 sats/vByte and makes the chain briefly unusable… | ||
| Two flavors of Smart Sessions: Session Keys vs SubAccounts | Pedro Gomes | 26m |
Smart sessions delegate signing to temporary keys or lightweight accounts so apps avoid a popup per transaction, claiming session keys (wallet-managed signer +… | ||
| Synchronized Priority Auctions | Alexander Herrmann | 10m |
Claims a concrete protocol that lets multiple priority auctions settle atomically in one transaction by splitting the priority range into three phases… | ||
| PolkaVM: A fast and secure RISC-V based virtual machine | Shawn Tabrizi | 27m |
PolkaVM is a RISC‑V–inspired blockchain VM that compiles off‑chain into a custom binary and guarantees linear‑time native recompilation, claiming one‑shot… | ||
| Building Testnet Infrastructure from the ground up | erin | 10m |
Builds a production-scale testnet with 87 servers using Threadripper CPUs, runs Nomad over Kubernetes and standard Grafana/Prometheus plus custom telemetry… | ||
| Building for Core Devs How OP Labs Accelerates Protocol Eng. | Tess Rinearson | 12m |
OP Labs builds a platforms team that treats protocol engineers as customers and ships concrete tools: two predictable DevNet trains — Alphanet (spins up every… | ||
| How to Build Rollups on Bitcoin | Esad Yusuf Atik | 26m |
Proposes using Bitcoin for both data availability and settlement by posting sequencer commitments and compact state diffs (not full txs) into witness scripts… | ||
| the economics of freedom | Fatemeh Fannizadeh | 11m |
Argues that blockchains act as pockets of freedom that let users discover whether they consent to baseline institutions, citing Bitcoin and Ethereum as… | ||
| Standardizing Ethereum metrics PeerDAS and FOCIL retrosp. | Ekaterina Riazantseva | 10m |
An initiative standardizes Ethereum metrics for PeerDAS and FOCIL, producing a concrete beacon metrics spec and Grafana dashboards wired into cortosis so… | ||
| Geth AMA | 25m | |
go-ethereum remains the core execution client with a clear position: no spinout because deep EF integration, shared tooling and protocol stewardship matter… | ||
| Economic security behind ZK proof generation | Norbert Vadas | 12m |
Staking prevents wasted compute but raises entry costs and centralization risk; redundancy secures liveliness yet multiplies proving cost. Restaking creates… | ||
| ZK: Accelerating DA Interop | Nina Barbakadze | 24m |
Lazybridging is a Celestia Labs protocol that moves cross-rollup transfers through Celestia and replaces trusting rollup attester sets with cryptographic… | ||
| How client diversity saved Holesky Lessons for the future | Phil Ngo, nflaid | 26m |
Holesky hard-forks to Pectra and justifies an invalid deposit contract address causing three weeks of non-finality as a majority of validators follow the wrong… | ||
| Can we do better than git s Merkle DAG? | Victor Grishchenko | 26m |
Argues that replacing git’s Merkle-DAG with Merkle-ized databases fixes bloat and useless cryptographic sediment by hashing and compacting LSM SSTable chunks… | ||
| testing in production gathering actually useful data | zygis | 18m |
Describes a practical pre‑ and in‑production testing pipeline that verifies non‑breaking and state‑breaking changes to consensus, state machine and… | ||
| nothing matches | ||