bcx 0.2.0

Bifrost Causal Exchange protocol primitives for signed causal meaning and proof composition.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# BCX Proof Crates

Proof crates implement or integrate concrete proof suites. The core owns proof
semantics and verification boundaries; proof crates own provider-specific
logic.

Future examples:

- `bcx-proof-cose`
- `bcx-proof-threshold`
- `bcx-proof-sp1`
- `bcx-proof-risc0`

No proof crate may silently broaden what a statement claims. A proof verifies a
specific statement, attestation, binding, checkpoint, or policy claim.