MAIEV
by thesecretlab
MAIEV
by thesecretlab
VM Privacy vmprivacy-20260220-155042
Runtime privacy mechanism verification for proof-gated settlement, fail-close behavior, malformed proof rejection, timeout enforcement, and backup prover takeover.
PASS
All required VM privacy controls passed: proof-gated settlement, fail-close behavior, malformed rejection, timeout enforcement, and backup takeover.
Start Here
Read this first if you are validating privacy readiness.
What Passed / Failed
- Checks: 5/5 required checks passed.
- Mechanisms: 5/5 privacy mechanisms passed.
- Findings: 0 reported findings.
How To Drill Down
Step 1
Check Core VM/Privacy Checks for PASS/FAIL.
Step 2
Open Attempt Diagnostics for raw proof logs.
Step 3
Open bundle JSON/MD artifacts for evidence export.
Check Pass Rate
5/5
Mechanism Pass
5/5
Accepted Batches
1
Rejected Batches
0
Missed Deadlines
0
Status
PASS
Core VM/Privacy Checks
| # | ID | Result | Notes |
|---|---|---|---|
| 1 | shielded-smoke |
PASS | pass |
| 2 | backup-takeover |
PASS | pass |
| 3 | synthetic-negative |
PASS | pass |
| 4 | malformed-proof |
PASS | pass |
| 5 | timeout-drill |
PASS | pass |
Privacy Mechanism Verdict
| # | Mechanism | Status | Notes |
|---|---|---|---|
| 1 | M1_PROOF_GATED_CLEAR |
PASS | Shielded smoke accepted with proof path |
| 2 | M2_FAIL_CLOSE_NEGATIVE |
PASS | Synthetic mismatch rejected (fail-close) |
| 3 | M3_MALFORMED_PROOF_REJECT |
PASS | Malformed proof envelope rejected |
| 4 | M4_TIMEOUT_ENFORCEMENT |
PASS | Proof deadline timeout enforced |
| 5 | M5_BACKUP_PROVER_TAKEOVER |
PASS | Primary rejected under backup authority, backup signer recovers |
Attempt Diagnostics
| # | Check | Attempt | Result | Exit | Duration | Notes | Artifacts |
|---|---|---|---|---|---|---|---|
| 1 | shielded-smoke |
shielded-smoke | PASS | 0 | 221645 ms | reason: accepted=1, rejected=0, missed=0 | summary | stdout | stderr |
| 2 | backup-takeover |
backup-takeover-primary-fails | PASS | 1 | 223166 ms | reason: primary prover rejected under backup authority gate | error: Fee preflight: planned_txs=6 max_fee=5000000 safety_bps=10000 reserve=1 required=30000001 balance=217523595 Groth16 CS cache: hit (.cache/zkbench/gr... | stdout | stderr |
| 3 | backup-takeover |
backup-takeover-backup-recovers | PASS | 0 | 228128 ms | reason: accepted=1, rejected=0, missed=0 | summary | stdout | stderr |
| 4 | synthetic-negative |
synthetic-negative | PASS | 1 | 5541 ms | reason: expected fail-close proof rejection observed (non-zero exit) | error: Fee preflight: planned_txs=6 max_fee=5000000 safety_bps=10000 reserve=1 required=30000001 balance=186884893 Proof mode: synthetic Running b... | stdout | stderr |
| 5 | malformed-proof |
malformed-proof | PASS | 1 | 232485 ms | reason: expected malformed-proof rejection observed (non-zero exit) | error: Fee preflight: planned_txs=6 max_fee=5000000 safety_bps=10000 reserve=1 required=30000001 balance=186188392 Groth16 CS cache: hit (.cache/zk... | stdout | stderr |
| 6 | timeout-drill |
timeout-drill-b8 | PASS | 1 | 224648 ms | reason: expected timeout/deadline failure observed (non-zero exit) | error: Fee preflight: planned_txs=6 max_fee=5000000 safety_bps=10000 reserve=1 required=30000001 balance=185684691 Groth16 CS cache: hit (.cache/zkb... | stdout | stderr |
Findings
| # | ID | Severity | Message |
|---|---|---|---|
| No findings recorded for this run. | |||
Metrics Snapshot
| # | Field | Value |
|---|---|---|
| 1 | Chain ID | 2CdK3iHBweFSZhh5XBgLYDaC2U7SoyqEzDaTRhmMFwSLLCm1Xb |
| 2 | Node URL | http://127.0.0.1:9660 |
| 3 | Runner | docker |
| 4 | Docker Image | veilvm-zkbench-evidence:local |
| 5 | Proof Mode | groth16 |
| 6 | Proof Circuit ID | shielded-ledger-v1 |
| 7 | Accepted Batches | 1 |
| 8 | Rejected Batches | 0 |
| 9 | Missed Deadlines | 0 |
| 10 | Proof Submissions | 1 |
| 11 | Submission Errors | 0 |
Recent VM Privacy Runs
| Run | Status | Checks | Findings |
|---|---|---|---|
| vmprivacy-20260220-155511 | PASS | 5/5 | 0 |
| vmprivacy-20260220-155042 | PASS | 5/5 | 0 |
| vmprivacy-20260220-155407 | PASS | 5/5 | 0 |