Skip links

Type and hit enter

Subscribe
Oraclizer Research

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

Oraclizer Update

Horizen Labs CEO Rob Viglione and Dan Spuller, Executive Vice President of Industry Affairs at the Blockchain Association, have joined as co-authors of EIP-RCP alongside Oraclizer.

Expanded Co-Authorship

Since releasing the EIP-RCP draft in December, the proposal’s technical and policy foundation has been strengthened through this expanded co-authorship.

  • Horizen Labs: Research and technical review contribution as a strategic partner
  • Dan Spuller (EVP of Industry Affairs, Blockchain Association): Regulatory policy perspective
  • Oraclizer: Original RCP framework authorship and EIP draft development

Partnership Expansion

Following the partnership announced last May, this EIP-RCP co-authorship marks an expansion from infrastructure collaboration to standardization collaboration. We look forward to continuing this partnership as we work together on the long journey toward regulatory compliance standardization.

“Horizen Labs has always cared about building systems that are both usable and accountable. This work with Oraclizer supports a future where regulated actors can use onchain rails with the right mix of confidentiality, auditability, and enforceability.”

— Rob Viglione, CEO of Horizen Labs

Call for Community Feedback

The EIP-RCP draft awaits feedback from the Ethereum community and regulatory compliance practitioners.

Horizen Labs Announcement: Horizen Labs Partners with Oraclizer to Advance Regulatory Compliance Standards for Tokenized Assets

Learn More

Read Next

We Joined Observer Patch Holography: Proving Outside Our Own Stack
We Joined Observer Patch Holography: Proving Outside Our Own Stack
Oraclizer CPTO Jay Kim is credited on three papers from the Observer Patch Holography research program, under the affiliation Oraclizer Labs. We joined because the central question is shaped like ours: how far can a divergent state be brought back, and what stands in the way. Our contribution separates the four ways repair fails, proved in Lean 4.
Oraclizer Core ⋅ Aug 18, 2026
Formalizing ERC-TRUST from Normative Rules to Executable Semantics
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
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
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
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