151 posts
Third Party
Security Auditing DAML Smart Contracts on Canton
Authorization, privacy, and lifecycle patterns for auditing DAML on Canton.
Third Party
Security Audit: Anoma's Zero-Knowledge Resource Machine and EVM Adapter
Reviewing Anoma's privacy-first resource machine and EVM integration.
Third Party
ICF Treasury Snapshot: December 2025
Third Party
A new LLM-friendly library for Model-Based Testing
We launched Quint Connect, a library for Model-Based Testing in Rust
Third Party
ICF Treasury Snapshot: November 2025
Third Party
Emerald: The Framework for Institutional Networks of Trust
Build PoA-based Ethereum networks with Malachite consensus and full EVM compatibility.
Third Party
MonadBFT: Tail-Forking Resistant Consensus
How MonadBFT's reproposal mechanism stops validators from stealing block rewards in pipelined BFT protocols.
Third Party
Reliable Software in the LLM Era
How executable specs can be our hope for the future of software
Third Party
Security Review of Anoma's XAN Governance Token and Distribution Protocol
Technical verification of XAN's innovative governance model and distribution mechanisms.
Third Party
ICF Treasury Snapshot: September 2025
Third Party
Why Teams Choose HotStuff: Insights from Reviewing Espresso's Implementation
Exploring HotStuff benefits through Espresso's real-world implementation insights.
Third Party
Securing Celestia's Propagation Reactor: Audit Findings
Security analysis of Celestia's erasure coding and block propagation protocol.
Third Party
Malachite is Joining Circle to Build Arc
Circle acquires Informal's Malachite consensus engine to power Arc Layer-1 blockchain.
Third Party
Message Soup: the Secret Sauce for Consensus Specifications
The message soup technique enables more powerful specifications. Featuring MonadBFT.
Third Party
How to Write Inductive Invariants
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.
Third Party
Babylon Genesis V2 Security Audit Report
Our comprehensive security review of Babylon's Genesis V2 upgrade.
Third Party
Espresso HotShot Epoch Transition Security Audit
Our security audit of Espresso's HotShot consensus protocol examines validator set transitions.
Third Party
Protocol Berg 2025 Insights on Future Development Trends
Key takeaways from Protocol Berg 2025 on UX, decentralization, and emerging security practices.
Third Party
Apex Fusion Cross-Chain Bridge Security Audit
Our security audit of Apex Fusion's multi-chain bridge analyzes BFT consensus mechanisms.
Third Party
Celestia CIP-31 Vesting Mechanism Security Audit
Security review validates lockup account implementation and reward distribution logic.
Third Party
Espresso HotShot Epoch Changes in Quint
How we used Quint to formalize Espresso's epoch change protocol with executable specifications.
Third Party
Malachite Consensus Engine 2025-2026 Roadmap
High-performance consensus engine roadmap: 10x throughput and 30% latency reduction.
Third Party
Our Security Audit Process Explained
How Informal Systems conducts blockchain security audits using threat modeling and formal verification.
Third Party
Quint Launch Event Follow-Up Q&A and Recap
Recap of our Quint launch event with community Q&A covering formal methods and model checking.
Third Party
Malachite x Reth, Part 2: Connecting to Ethereum execution clients via Engine API
We introduce malaketh-layered , an MVP of Malachite x Reth integration via the Engine API.
Third Party
Understanding Mysticeti Consensus with Quint
How Quint transforms complex DAG consensus algorithms into interactive, testable models.
Third Party
Malachite x Reth: Conclusions from two MVPs
Performance analysis of single binary vs Engine API integration architectures.
Third Party
Case Study: Formalizing Grug’s Jellyfish Merkle Tree with Quint
Case study on using Quint to formally specify and verify Left Curve's Jellyfish Merkle Tree implementation.
Third Party
Go Supply Chain Attack Impact Investigation
How we investigated the boltdb-go supply chain attack and assessed impact across Cosmos partner projects.
Third Party
Informal Systems' Rust Development Journey
How Informal Systems uses Rust across Hermes, Malachite, and Quint for secure distributed systems development.