PIC Implementations
PIC is defined solely by the PIC Formal Model and the PIC Specification. The implementations listed here do not define PIC and do not replace them.
An implementation is PIC-compliant only if it correctly implements a PIC-compliant PIC Protocol — or, where no protocol technical specification is published, if it directly implements the PIC Specification and preserves the invariants of the PIC Formal Model.
Open-source implementations
The following open-source implementation projects are being developed against the current PIC direction. They are useful for experimentation, review, and implementation alignment with the PIC specification.
PIC Rust
Rust implementation track for PIC components: protocol libraries, verifier logic, artifact handling, and strongly typed implementation experiments.
github.com/pic-protocol/pic-rustPIC-X
Open-source Provenance Identity Continuity Exchange: the practical exchange and trust-plane component for connecting existing authority infrastructure with PIC continuity.
github.com/pic-protocol/pic-xSubmit your implementation
Have a PIC-compliant implementation? Open a pull request on pic-protocol/pic-protocol.github.io adding it to this page, with a short description, the targeted spec version, and the repository link.