26 lines
1.0 KiB
Markdown
26 lines
1.0 KiB
Markdown
# ProofWeave (prototype)
|
|
|
|
ProofWeave is a prototype implementation of a proof-carrying WebAssembly toolchain for "ServiceGenomes". This repository provides:
|
|
|
|
- A small typed ServiceGenome DSL (JSON/YAML consumable schema) and a toy compiler that emits:
|
|
- a compact manifest JSON (provenance fields),
|
|
- a minimal valid wasm binary (empty module placeholder), and
|
|
- a proof summary JSON (resource bounds, allowed syscalls).
|
|
- A tiny Python API to produce these bundle artifacts.
|
|
- Tests and packaging metadata so the project can be built with `python3 -m build`.
|
|
|
|
This is an initial, well-tested chunk of the full ProofWeave idea described in the original design. It focuses on deterministic manifest and proof-summary generation suitable for constrained-edge verification.
|
|
|
|
Quickstart
|
|
|
|
Install dev dependencies (recommended in a venv) and run tests:
|
|
|
|
bash test.sh
|
|
|
|
Usage (Python API)
|
|
|
|
from proofweave.compiler import compile_genome
|
|
compile_genome(genome_dict, out_dir)
|
|
|
|
See `AGENTS.md` for developer notes, architecture and how to contribute.
|