Skip links

Type and hit enter

Subscribe
Oraclizer Research

Updates

We Joined Observer Patch Holography: Proving Outside Our Own Stack

We Joined Observer Patch Holography: Proving Outside Our Own Stack

Oraclizer CPTO Jay Kim, publishing as Jinwook Kim, is credited on three public OPH repository manuscripts. This update records the formal-verification contribution and links to the r2033 snapshot; the manuscripts are not yet archived or peer-reviewed journal publications.
Oraclizer Core ⋅ Aug 18, 2026
Our State Synchronization Research Is Now on Ethereum’s Research Forum

Our State Synchronization Research Is Now on Ethereum’s Research Forum

Two Oraclizer research posts now stand on ethresear.ch, Ethereum's research forum: machine-checked proofs that atomic cross-domain synchronization behaves correctly, and a follow-up giving synchronization strength a formal, checkable basis. In between, a public exchange with an Ethereum researcher sharpened the work into what it is now.
Oraclizer Core ⋅ Jul 21, 2026
ERC-8319 Regulatory Compliance Protocol Enters the Ethereum Standards Process

ERC-8319 Regulatory Compliance Protocol Enters the Ethereum Standards Process

Oraclizer's Regulatory Compliance Protocol has been submitted to ethereum/ERCs as ERC-8319 and is under editor review. Not a glossary but a reference bundling a taxonomy of six enforcement actions, their legal effect, the dynamics between them, and 31 regulator requirements, layered non-invasively on existing standards. Co-authored with Horizen Labs and Dan Spuller.
Oraclizer Core ⋅ Jul 11, 2026
Safety and Liveness of Cross-Domain State Preservation: Now on arXiv

Safety and Liveness of Cross-Domain State Preservation: Now on arXiv

Oraclizer's combined Property 1+2 formal verification paper is now on arXiv. The Isabelle/HOL proof unifies cross-domain state preservation (safety) with BFT consensus liveness under Byzantine faults (f below n/3) into a single unified result, published with full source code, a 46-page proof PDF, and seven reusable domain-independent locales.
Oraclizer Core ⋅ Apr 07, 2026
We Proved It: Cross-Domain State Preservation, Formally Verified

We Proved It: Cross-Domain State Preservation, Formally Verified

Oraclizer's first formal verification property is complete. Cross-domain state preservation, the guarantee that a regulatory state change on one chain is faithfully preserved across all connected chains, has been mathematically proven in Isabelle/HOL. Submitted to the Archive of Formal Proofs (AFP) and open-sourced on our first official GitHub repository.
Oraclizer Core ⋅ Mar 27, 2026
Introducing Our New Research Domain: Proofs

Introducing Our New Research Domain: Proofs

Oraclizer Research introduces Proofs, a dedicated category documenting our formal verification of cross-chain regulatory properties using Isabelle/HOL — machine-checked mathematical guarantees for compliant tokenized asset infrastructure.
Oraclizer Core ⋅ Feb 21, 2026
Horizen Labs and Dan Spuller Join as EIP-RCP Co-Authors

Horizen Labs and Dan Spuller Join as EIP-RCP Co-Authors

Horizen Labs CEO Rob Viglione and Blockchain Association EVP Daniel Spuller have joined as co-authors of EIP-RCP, strengthening the technical and policy foundation of the regulatory compliance framework for tokenized assets.
Oraclizer Core ⋅ Jan 30, 2026
Introducing Our New Research Domain: Economy

Introducing Our New Research Domain: Economy

The Oracle State Machine currently under development by Oraclizer goes beyond mere technical innovation—it demands the blockchain industry's first State Subscription economic model. This represents a subscription to continuous state relationships rather than one-time transactions, marking the first attempt at a recurring payment service model in blockchain.
Oraclizer Core ⋅ Sep 17, 2025
1