Oraclizer research
Read the argument before you trust the system.
Most protocols publish a paper after the product. Oraclizer published the argument first: long-form research on synchronizing state between blockchains and the institutions behind real-world assets, from protocol design and machine-checked proofs to regulation and the economics of an oracle network.
Latest
Where the argument stands now.
The newest research and the news around it. Every article keeps its original publication date.
Building ERC-TRUST from Executable Semantics to Solidity
An ERC number does not mean its code was checked against its text. To make that check possible, ERC-TRUST changed its design: legacy forced transfers run only behind an exact-use ticket, regulatory state has one owner, the reference kernel cannot be upgraded, and ERC-3643 support is an evidence-backed profile. A FREEZE pilot then carried one action down to bytecode.
Read the articleWhat State Synchronization Asked of a GKR Prover
In December 2025 we argued that GKR is a precondition for a state oracle to exist. Building the StateSync-GKR prover showed what an engine needs on top of it: three-state leaves, sequential keys, a fixed 118-layer schedule, sparse sumcheck booking, derived wiring, reused preparation and machine-checked acceptance. Measured end to end, delay moved outside the prover.
Read the articleFormalizing ERC-TRUST from Normative Rules to Executable Semantics
Discharging a proof obligation does not mean it constrains anything. If no reachable state satisfies its premise, the obligation passes vacuously and the checker stays silent. This is how ERC-TRUST lowered its normative sentences into machine-checkable state transitions, built an execution for every rule, and drew the line at legal fact.
Read the articleResearch areas
Six lines of research, one system.
Every article belongs to one area. Open an area to read its work in order, from the first argument to the latest.
Core
Deep research on oracle state machine architecture, state synchronization theory, and zero-knowledge proof systems.
Latest · 20 Oct 2026What State Synchronization Asked of a GKR Prover All Core researchProtocol
Design and specification of the Oracle Interoperability Protocol (OIP): protocol decisions, message formats, and compliance.
Latest · 26 Apr 2026OIP v0.5 Checkpoint: Three Discoveries and the Big Map All Protocol researchProofs
Formal verification of Oraclizer's core properties: cross-chain regulatory proofs and state transition model formalization.
Latest · 31 Jul 2026When Regulatory Actions Do Not Commute: Order, Outcome, and Sixty Normal Forms All Proofs researchEconomy
Economic modeling for the Oraclizer network: node incentives, staking dynamics, pricing, and game-theoretic analysis.
Latest · 25 Jul 2026Defining the Sync Unit: Oracle Usage Metering for State Synchronization All Economy researchRWA
Real-world asset tokenization research: market analysis, asset class deep dives, and state synchronization for TradFi-DeFi.
Latest · 23 May 2026Tokenized Securities Under the CLARITY Act: The Weight of Codification All RWA researchEIP
Ethereum Improvement Proposal research: EIP-RCP compliance framework, ERC-TRUST token standard, and standardization journey.
Latest · 23 Oct 2026Building ERC-TRUST from Executable Semantics to Solidity All EIP researchPublished elsewhere
Papers, posts and standards beyond this site.
Research Oraclizer has published with other venues: preprints on arXiv, posts on Ethereum Research and standards under discussion.
- Oct 2026 ARXIV StateSync-GKR: Design and Evaluation of a Reusable Sparse GKR EngineHow a sparse prover, derived wiring, reusable preparation and independent parallel proofs turn into measured gains, each reported with the conditions it was measured under. arXiv 2610.14849
- Oct 2026 ARXIV StateSync-GKR: Machine-Checking the Trust Chain from Sparse-Merkle State Transitions to GKR VerificationA machine-checked Isabelle/HOL argument that the engine's circuits accept exactly the valid state operations, in both directions, and that a false claim passes the modeled verifier only within a proved probability bound, carried to the exact extension field the verifier uses. arXiv 2610.05335
- Sep 2026 ETHEREUM RESEARCH Can We Verify an ERC, Not Just Its Code?What it would take to verify an ERC rather than one contract: treat the standard's semantics, generated interfaces, reference implementation, runtime bytes and conformance evidence as one auditable chain, and publish the links that are still assumed. Ethereum Research
- Aug 2026 ARXIV Mechanizing Typed Regulatory Actions for Security Tokens: Semantics, Falsification, and Bounded EVM EvidenceA machine-checked Isabelle/HOL semantics for the regulatory actions a security token can be made to execute, keeping what was applied, what was refused and what merely failed apart from one another. arXiv 2608.29134
- Jul 2026 ETHEREUM RESEARCH Structural OEV Elimination through State SynchronizationWhat happens when an oracle update and the position it moves are bound into one all-or-nothing transition: the set of states an extractor needs is empty. Ethereum Research
- Jul 2026 ETHEREUM RESEARCH A Mechanized Functor Tower for Cross-Domain State PreservationMachine-checked Isabelle/HOL results that preservation maps between domains compose like a category and that synchronization degrees form a tower of functors, so a system at or above an asset's degree keeps the modeled guarantee for valid states while one below it has a counterexample. Ethereum Research
- Jul 2026 ETHEREUM MAGICIANS ERC-8319: Regulatory Compliance ProtocolA shared vocabulary that gives six enforcement actions on tokenized assets an explicit, citable legal meaning and organizes 31 requirements from 15 regulatory authorities under five principles. ERC-8319
- Jun 2026 ETHEREUM RESEARCH Mechanized Proofs for Atomic Cross-Domain State SynchronizationModel-level Isabelle/HOL proofs that a synchronization cycle binding two domains' state changes into one unit preserves each asset's state across domains, and that requests are chosen deterministically and without starvation under stated Byzantine-count and fair-leader assumptions. Ethereum Research
- Apr 2026 ARXIV The Cross-Domain State Preservation Functor: A Mechanized Theory of Regulatory State Synchronization in Isabelle/HOLA machine-checked Isabelle/HOL theory of what it takes to preserve state across systems that do not share a model of it, organized as a functor. arXiv 2604.03844
- Mar 2026 ARXIV A Regulatory Compliance Protocol for Asset Interoperability Between Traditional and Decentralized Finance in Tokenized Capital MarketsA framework for measuring how completely a token standard represents regulatory requirements and enforcement state, applied to the standards already in use. arXiv 2603.29278
Subscribe
New research, by email.
- One email when a new article is published
- Confirm once, leave with one click
- Privacy