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 nine 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.
1 maintainer
Metadata
1 maintainer
Release files for protocol-governed-computing 6.0.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| protocol_governed_computing-6.0.1.tar.gz | 5.2 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| protocol_governed_computing-6.0.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 10.7 kB
Release files / protocol_governed_computing-6.0.1.tar.gz
| Download URL | protocol_governed_computing-6.0.1.tar.gz |
|---|---|
| Size | 5.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
b2edfac1d38f94176849e115c1c7fa7783dec9dc2e0379f93f11f002f133b75c
|
|
BLAKE2b-256 checksum How to use checksums |
682ca039e2bf129e5d6ee20eaed786584ca6fd64e9505e369ffcac11e3347524
|
| 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.1-py3-none-any.whl
| Download URL | protocol_governed_computing-6.0.1-py3-none-any.whl |
|---|---|
| Size | 5.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
57b89d17d5b0b6239a82acc4514dbc018b2396313cdbf5890eac677d36e03f24
|
|
BLAKE2b-256 checksum How to use checksums |
8aabdcac22b89e1ce3778172a12ffd39c93056fd0753b8ae51b30aa64579fe23
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.10
|
