Skip links

Type and hit enter

Subscribe
Oraclizer Research

Updates

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<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
Announcing Horizen Partnership – Part 2: Ecosystem Integration

Announcing Horizen Partnership – Part 2: Ecosystem Integration

Oraclizer announces the second phase of our strategic partnership with Horizen. Both projects are strengthening technical synergy through joint transition to the Base L2 ecosystem, integrating Oraclizer's state synchronization technology with Horizen's zkVerify to effectively bridge the gap between DeFi and tokenized real-world assets.
Oraclizer Core ⋅ May 15, 2025
Announcing Our Partnership with Horizen – Part 1: Technical Synergy

Announcing Our Partnership with Horizen – Part 1: Technical Synergy

We are thrilled to announce our strategic partnership with Horizen, a collaboration set to revolutionize the blockchain ecosystem. By integrating Horizen's cutting-edge zkVerify technology with Oraclizer's state synchronization protocol, we aim to enhance regulatory compliance and efficiency in decentralized finance and Real World Asset (RWA) tokenization. This partnership not only addresses critical scalability challenges but also lays the groundwork for bringing the $30+ trillion RWA market on-chain. Discover how our combined technologies will unlock new possibilities for developers and financial institutions alike, ushering in a new era of innovation and asset interoperability.
Oraclizer Core ⋅ May 08, 2025
1