From 9175ac7db60ffc49d185a5cda48e589796d04f2e Mon Sep 17 00:00:00 2001 From: Jay Kim Date: Thu, 12 Nov 2026 05:23:33 +0900 Subject: [PATCH] Update the OIP entries to v0.6.2 The repository portfolio and the protocol table still described OIP v0.6.0 with 31 operations and 25 accepted by the reference configuration. They now name v0.6.2, the 33 specified operations of which the Ed25519 reference configuration accepts 28 with both commitment operations enabled, threshold signature verification and state commitment synchronization. --- profile/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/profile/README.md b/profile/README.md index c81d581..e5fe872 100644 --- a/profile/README.md +++ b/profile/README.md @@ -80,7 +80,7 @@ statement, not a current claim. | Repository | Scope | Current status | | --- | --- | --- | | [**formal-verification**](https://github.com/Oraclizer/formal-verification) | Machine-checked, model-level foundations for cross-domain state preservation and regulatory action composition in Isabelle/HOL, OIP models with explicit implementation correspondence, and an independent protected-behavior obstruction companion | **Public, production-maintained research.** Reproducible sessions, integrity manifests, explicit assumptions, security reporting, contribution rules, governance, and citation metadata. It is not a production implementation or deployment. | -| [**oip-spec**](https://github.com/Oraclizer/oip-spec) | OIP v0.6.0: canonical wire format, conformance rules, Rust reference implementation, and Go bindings | **Public prototype, Apache-2.0.** Wire version 6; 31 specified operations, of which the reference configuration accepts 25. [Machine-checked models and correspondence](https://github.com/Oraclizer/formal-verification/tree/main/Oracle_Interoperability_Protocol) have explicit scopes. Unaudited and not for production. | +| [**oip-spec**](https://github.com/Oraclizer/oip-spec) | OIP v0.6.2: canonical wire format, conformance rules, Rust reference implementation, and Go bindings | **Public prototype, Apache-2.0.** Wire version 6; 33 specified operations, of which the Ed25519 reference configuration accepts 28 with both commitment operations enabled. The reference verifies single Ed25519 signatures and configured threshold signatures from the current registered group. [Machine-checked models and correspondence](https://github.com/Oraclizer/formal-verification/tree/main/Oracle_Interoperability_Protocol) have explicit scopes. Unaudited and not for production. | | [**erc-trust**](https://github.com/Oraclizer/erc-trust) | ERC-TRUST, *Typed Regulatory Uniformity for Security Tokens*: typed, fail-closed regulatory actions and recomputable receipts for security tokens, with the proposed ERC text, a reference implementation, an SDK, and machine-checked verification evidence | **Public pre-ERC candidate.** Tagged candidate snapshots, reproducible verification evidence, structured issue forms, security reporting, and citation metadata, with the companion paper at [arXiv:2608.29134](https://arxiv.org/abs/2608.29134). Unaudited and not for production. | | [**statesync-gkr**](https://github.com/Oraclizer/statesync-gkr) | StateSync-GKR: a Rust GKR and sumcheck engine for sparse-Merkle state transitions, with its circuit compiler and its GKR and sumcheck protocol modeled and machine-checked in Isabelle/HOL, and a conditional forward theorem relating the model to the verifier's acceptance checks | **Public, source-available under the Business Source License 1.1 (v1.2.1).** Signed immutable release, reproducible source checks, a software DOI, the [engine design and evaluation paper](https://arxiv.org/abs/2610.14849), and the [formal verification paper](https://arxiv.org/abs/2610.05335). Research and other non-production use are free; production proving requires a commercial license. Its versioned verification boundary is separate from OIP. | @@ -88,7 +88,7 @@ statement, not a current claim. | Work | Role | Public state | | --- | --- | --- | -| [**OIP v0.6.0**](https://github.com/Oraclizer/oip-spec) | Oracle Interoperability Protocol: versioned messages, admission, retry, responses, and operation semantics | **Public prototype specification and reference code.** Rust and Go implementations, conformance vectors, and explicit model and implementation boundaries. The published v0.5 documentation is retained below. | +| [**OIP v0.6.2**](https://github.com/Oraclizer/oip-spec) | Oracle Interoperability Protocol: versioned messages, admission, retry, responses, state commitment synchronization, and operation semantics | **Public prototype specification and reference code.** Rust and Go implementations, conformance vectors, and explicit model and implementation boundaries. The published v0.5 documentation is retained below. | | [**OIP v0.5**](https://docs.oraclizer.io/oip-v05/oip-overview/) | Oracle Interoperability Protocol: message semantics, state transitions, routing, validation, errors, and conformance rules for state-machine implementations | **Published specification, prototype stage.** OIP is a specification; OSS, the Oracle State Synchronizer that performs synchronization under OIP rules, is a separate product in development. | | [**RCP**](https://arxiv.org/abs/2603.29278) | Regulatory Compliance Protocol: a regulatory benchmark derived from 31 requirements across 15 global financial regulators | **Published research framework.** RCP organizes the requirements into five principles and defines a shared regulatory-action vocabulary. | | [**ERC-8319**](https://github.com/ethereum/ERCs/pull/1848) | Standards Track ERC proposal for the RCP vocabulary and legal-effect semantics | **Proposed to Ethereum.** |