dev:added-new-article

Author: 0xTnxl

articles/frostgate-formal-introduction.md

@@ -1,7 +1,7 @@
 ---
 title: "A Formal Specification for Verifiable Cross-Chain State Transitions"
 author: "Blessed Tosin Oyinbo"
-date: "2025-12-07"
+date: "2025-07-07"
 description: "In this article, I formally define cross-chain interoperability as a problem of verifiable state transitions between distributed state machines, grounded in finality and succinct proofs."
 tags: ["zk-SNARKs", "consensus", "cryptographic-proofs"]
 category: "Research"

articles/frostgate-modular-design.md

@@ -8,8 +8,6 @@ category: "Blog"
 image: ""
 ---
 
-# Frostgate: A Modular Architecture for Trustless Interoperability
-
 Frostgate proposes a new architecture for cross-chain interoperability—one that does **not** rely on light clients, centralized bridges, or multisig committees. Instead, it offers a **modular, verifiable system** for message passing across blockchains, primarily grounded in **cryptographic soundness** and **composable design**.
 
 At its core, Frostgate fuses **Succinct State Validation (SSV)**, **zero-knowledge proofs**, and **chain abstraction** into a fully programmable and extensible interoperability stack. Any chain, proving system, or application can adopt it—without compromising decentralization.