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