idea193-proofweave-proof-carrying/README.md

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.