Skip to content

Update the OIP entries to v0.6.2 #14

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jay-oraclizer merged 1 commit into from
Nov 11, 2026
Merged

Update the OIP entries to v0.6.2 #14

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions profile/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,15 +80,15 @@ 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. |

## Protocols and standards

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