VeilForge V4 Grant Candidate · 4.0.0-gc.1

Find privacy exposure.
Verify the evidence.
Ship with confidence.

Deterministic Solidity analysis that runs locally, preserves source privacy, and produces verifiable release evidence for Arc teams.

✓ Local / private✓ Deterministic✓ Verified findings✓ Arc Testnet proof
60/60maintained oracle cases passed
56 TP / 0 FP / 0 FNbounded benchmark baseline
Arc Testnetreal proof publication verified
Local-firstanalysis runs without source upload

WHY VEILFORGE MATTERS FOR ARC

Privacy readiness for the applications that move value.

VeilForge gives Arc teams a reproducible way to inspect application-level disclosure risk before release.
01

Payments

Trace sensitive payment data into events, returns, metadata, storage getters, and external calls.

02

Treasury

Review approvals, operational metadata, and disclosure paths with source-backed evidence.

03

Private credit

Inspect borrower terms and collateral flows across contract boundaries and public surfaces.

04

Release evidence

Carry deterministic findings, policy, integrity hashes, and proof identity into release review.

VeilForge is a privacy-readiness analysis and evidence tool. It is not an audit, formal verification, a confidentiality guarantee, or proof of universal correctness.

EVIDENCE, NOT PROMISES

A reviewable chain from compiler to publication.

VeilForge architecture from local Solidity input through deterministic analysis, verified report, policy gate, and proof publication
  • Exact compiler boundarysolc 0.8.24 with bounded browser inputs.
  • Verified report identitySchema 4.1.0 and veilforge.report.hash.v2.
  • Developer workflowCLI, SDK, SARIF, GitHub Action, and policy gate.
  • Real Testnet evidenceReceipt/event reconciliation and duplicate prevention.
  • Fail-closed mainnetRead and publish remain disabled until operational gates resolve.

VEILFORGE V4 WHITEPAPER

Read the architecture, evidence model, and measurable roadmap.

The full paper connects the product boundary to reproducible technical evidence, real Arc Testnet proof, sustainability hypotheses, and explicit limitations.

NEED THE TWO-MINUTE VERSION?

Start with the executive brief.

A concise review of the problem, shipped evidence, Arc relevance, grant use, and bounded claims.

THE NEXT MEASURABLE STAGE

Built evidence-first.
Ready for the next measurable stage.