Protocol-Governed Computing
Software that runs only what it has declared, and proves it.
In Protocol-Governed Computing (PGC), declarations decide what a system does. They name who may ask, which input is admitted, which steps run, and what each step may touch. PGC compiles the declarations and seals them into a snapshot. The runtime checks the snapshot is unchanged, executes only what it declares, refuses everything else, and records a trace of every run.
Choose where to start
| You want to | Start here |
|---|---|
| See PGC run on your machine in a few minutes | Demos |
| Build, run and extend PGC from its parts | Developer guide |
| Verify the sealed composition a paper cites | pgc_release |
| Read the standard PGC implements | https://doi.org/10.5281/zenodo.22150616 |
This package
This repository publishes protocol-governed-computing, the whole toolchain in one install. It
brings in the eight component packages, pinned to one composition, and puts the pgc command on your
path.
pip install protocol-governed-computing
The toolchain carries no declarations. To build and run a platform, follow the developer guide. To see one run without building anything, start with the demos.
Something failed? Please open an issue.
Metadata
Release files for protocol-governed-computing 6.0.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| protocol_governed_computing-6.0.0.tar.gz | 5.1 kB | Without provenance | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| protocol_governed_computing-6.0.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 10.5 kB
Release files / protocol_governed_computing-6.0.0.tar.gz
| Download URL | protocol_governed_computing-6.0.0.tar.gz |
|---|---|
| Size | 5.1 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
061b8d8fd98b69146115e8786324424ddad47d4252d918a7942da74c486167a8
|
|
BLAKE2b-256 checksum How to use checksums |
3b21ccaa45e55afb6ee72027d307024cbce3d4c03f38d6c63d671e6e2f395268
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Release files / protocol_governed_computing-6.0.0-py3-none-any.whl
| Download URL | protocol_governed_computing-6.0.0-py3-none-any.whl |
|---|---|
| Size | 5.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
2bad1347cf44a9e8b88871b6c06d469826c4ad49c10ec497fe974f175214b7cf
|
|
BLAKE2b-256 checksum How to use checksums |
1d968d372d0c8b4bb6013d4c4ffcedf5c1d6269f42727adf3d806ed6f1a59283
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
Security for protocol-governed-computing 6.0.0
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.