Oraclizer Core

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

Formalizing 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.

Oraclizer Core ⋅ Aug 11, 2026

When Regulatory Actions Do Not Commute: Order, Outcome, and Sixty Normal Forms

Enforcement standards define what a freeze or a confiscation does, and say nothing about what happens when two commands overlap. Regulatory action composition closes that gap in Isabelle/HOL: twenty-one action pairs split into twelve commuting and nine not, each non-commuting pair with a witness, and exactly sixty state transformations behind unbounded sequences.

Oraclizer Core ⋅ Jul 31, 2026

Defining the Sync Unit: Oracle Usage Metering for State Synchronization

The State Subscription economy has quoted ten Sync Units for a dollar without ever fixing what one Sync Unit counts, leaving three conflicting conversion rates inside one body of work. This study anchors the unit to a single committed state binding and derives its weight from the sync degree hierarchy. Applying it inverts the existing frequency bands.

Oraclizer Core ⋅ Jul 25, 2026

Designing the ERC-TRUST Enforceability Architecture

A regulator's freeze and a court's confiscation are legally opposite, yet on today's token standards they compile to the same call. This ERC-7943 conformance extension makes each of the six regulatory actions a typed, distinct object whose legal effect is verifiable on-chain, and carries that meaning from the abstract model down to deployed bytecode as evidence.

Oraclizer Core ⋅ Jul 23, 2026

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

The Cross-Domain State Preservation Functor: What It Closed, and What It Was For

The cross-domain state preservation proofs are closed: homomorphism, functor completion, a natural-transformation tower, and unconditional bounded convergence. Ten theory files, zero sorry. The harder work was catching what passes a prover while saying nothing: a trivial functor, a bypassed threshold, a witness outside the roster. Each retreat left the rest firmer.

Oraclizer Core ⋅ Jul 16, 2026

Sync Degree Enforcement: What Turns a Classification Into a Constraint

A classification does nothing on its own. Sync degree enforcement closes the gap between labeling an asset S2 and having the system refuse to touch it any other way. It rests on a two-directional result: over-provisioning preserves every guarantee, under-provisioning admits a state that defeats all of them. So the check leaves runtime and enters Rust's type system.

Oraclizer Core ⋅ Jul 16, 2026

ERC-8319: A Citable Regulatory Constitution for Tokenized Assets

The ERC-8319 Regulatory Compliance Protocol has entered Ethereum's standards repository. It defines the legal effect of six enforcement actions on tokenized assets, from a reversible freeze to an irreversible confiscation, and compiles 31 requirements from 15 regulators under five principles. A convention, not an interface, under one permanent, citable identifier.

Oraclizer Core ⋅ Jul 14, 2026

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

12 3 4 5...12 Next

Subscribe