Oraclizer Core

Three Category Axioms, One Proved Functor

A research-journal account of mechanizing the functor laws and the degree-hierarchy natural transformation in Isabelle/HOL, where the obstacles were almost never the mathematics. The measure decrease I feared closed at once; a reserved keyword broke seven builds; a finiteness clash forced a redefinition; and the code overturned my belief that glue gives validity.

Oraclizer Core ⋅ Jun 06, 2026

From a Separate Entry to a Functor Tower: Folding the Composition into Cross-Domain State Preservation

A design-correction note from the Oraclizer verification track. We fold a separate Isabelle/HOL entry into revision 3 of the existing one, where three category-axiom theorems make the Cross-Domain State Preservation Functor a proved object. The sync degree hierarchy is then formalized as a tower of functors joined by natural transformations.

Oraclizer Core ⋅ Jun 02, 2026

Insurance and Recovery Economics: Preparing for Black Swan Events

Earlier designs cut node risk by 73%, but the unpredictable 27% needs different rules. This study fixes how a staking insurance pool is sized (15% of stake, not protected value), bootstrapped, and banded; why a reserve held in its own token collapses with it; and how session protection follows the sync-degree hierarchy when security breaks mid-session.

Oraclizer Core ⋅ May 29, 2026

Tokenized Securities Under the CLARITY Act: The Weight of Codification

The CLARITY Act tokenized securities clause settles a single proposition in statute: tokenization is a delivery method, not a new asset class. That one sentence codifies the regulatory status of tokenized securities in U.S. law for the first time and derives an entire infrastructure specification for boundaries the token crosses.

Oraclizer Core ⋅ May 23, 2026

Sync Degree Hierarchy: Classifying What Assets Demand from State Synchronization

Sync degree hierarchy turns sync requirement strength into a four-level classification axis for RWA assets. S₀ static through S₃ atomic state binding form a reduction relation where causal consistency separates S₁ from S₂. Existing oracles, structurally two independent channels, are capped at S₁ by definition. Regulatory action forces S₃.

Oraclizer Core ⋅ May 20, 2026

Why RWA Isn’t Real DeFi Collateral Yet: The Non-Atomicity of the Collateral Layer

Tokenized RWA-backed stablecoin supply reached $8.5B, yet only 12% operates inside DeFi. Aave Horizon's dual structure separates rather than solves regulatory state synchronization. Three conditions from cross-border securities trading transfer into the DeFi collateral layer, with a fourth condition added when the protocol becomes a regulatory subject.

Oraclizer Core ⋅ May 14, 2026

Node Compensation Framework: Multi-layered Reward Design

After designing how the node incentive pool survives 7.6 years, an unresolved question remained: how are those rewards distributed to individual nodes? Three pressures conflict, and no single-mode distribution satisfies all three. A three-layer framework with activity, throughput, and session continuity, paired with phase-evolving weights, resolves the trilemma.

Oraclizer Core ⋅ May 13, 2026

Designing Compositional State Assurance: Three Locales and One Glue

A month after the prelude, the compositional verification design is locked. Three decisions: glue predicate as state_join and state_refines, fair_leader positioned within the Heard-Of Model deterministic abstraction tradition, and inconsistency measure as a natural-number count. Two risk locations remain, mapped explicitly so the .thy writing knows where to look.

Oraclizer Core ⋅ May 08, 2026

OIP v0.5 Checkpoint: Three Discoveries and the Big Map

OIP v0.5 closes the specification integration review: cumulative protocol decisions are placed on one table and checked for coherence across five design areas. Three discoveries emerge: a missing header slot for threshold signatures, redrawing validation as criteria rather than axes, and recognizing BVC and 3-Phase as nested layers.

Oraclizer Core ⋅ Apr 26, 2026

Bridging Safety and Liveness: A Prelude to Compositional Verification

Two verification results now sit in our Isabelle/HOL repository: safety and liveness, proven independently. The harder task begins now. How do we compose them without losing each strength? This post records design choices we weigh before the composition proof begins: the abstraction level, the Canton interface, and the convergence claim we intend to make.

Oraclizer Core ⋅ Apr 19, 2026

Previous 123 4 5 6...12 Next

Subscribe