File size: 565 Bytes
1d3f990 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | [package]
name = "proof-validator"
version.workspace = true
edition.workspace = true
license.workspace = true
description = "Proof validator — Curry-Howard checker with WORM rollback"
[dependencies]
subleq-vm.workspace = true
subleq-ir.workspace = true
invariant-extractor.workspace = true
anyhow.workspace = true
thiserror.workspace = true
tracing.workspace = true
serde.workspace = true
serde_json.workspace = true
sha2.workspace = true
blake3.workspace = true
ed25519-dalek.workspace = true
[dev-dependencies]
proptest.workspace = true
|