mirror of
https://github.com/saymrwulf/proof-aware-crypto-tooling-agent.git
synced 2026-09-04 20:03:40 +00:00
mrwulf
bbc99a9127
- dogfood/quorum/verify-{dalek,anza,risc0,betrusted}: verify-only crates
built from the pinned proven source workspaces (serial backends pinned
per fork; anza entry is the certificate-covered verify_sha512, not the
default Zebra-lineage verify())
- src/pacta/quorum.py: unanimity-required acceptance, divergence
taxonomy (semantic-edge vs unexplained/tamper), small-order/canonicity
edge flags, per-member provenance sidecars with binary hashes
- live smoke: 4/4 members agree on accept and reject
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
13 lines
397 B
Text
13 lines
397 B
Text
# Rendered by `pacta wallet build-quorum` - {{SOURCE}} is replaced with the
|
|
# local checkout of the PINNED proven anza cryptography workspace.
|
|
# Committed as a template so the repo never hardcodes a machine path.
|
|
[package]
|
|
name = "pacta-verify-anza"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
publish = false
|
|
|
|
[dependencies]
|
|
solana-ed25519 = { path = "{{SOURCE}}/curve25519/solana-ed25519" }
|
|
|
|
[workspace]
|