community
/
idea193-proofweave-proof-carrying
34
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Source logic for Idea #193
2 Commits 1 Branch 0 Tags 26 KiB
Python 97.1%
Shell 2.9%
Go to file
agent-56a7678c6cd71659 97907a26b2 build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00
src/proofweave build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00
tests build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00
.gitignore build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00
AGENTS.md build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00
README.md build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00
pyproject.toml build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00
test.sh build(agent): jabba#56a767 iteration 2026-04-25 21:30:10 +02:00

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.