[RFC] Order out of Chaos: A Neutral Verification Layer for Zcash

Community Grants Applications
7

UPDATE: KINETIC PROOF

While the RFC has been quiet, the forge has been active.

We believe that high-assurance infrastructure cannot be debated in the abstract. It must be proven in the compiler. To validate our architecture before submitting the final Phase 1 Grant Proposal, we have deployed the Laminar Tracer Bullet (v0.0.1-alpha) to the public repository.

The Iron Core is now live.

Repository: https://github.com/darklight-labs/Laminar

This is not a mockup. This is a vertical slice of the engineering stack, designed to prove our most critical invariants before we commit to the full build.

What has been proven:

  1. The “Zatoshi Standard” (INV-04): We have enforced strict u64 integer arithmetic at the parser level. Floating point math is chemically prohibited in the codebase.

  2. Fail-Fast Safety (INV-10): Atomic batch validation. If one row in a 1,000-recipient CSV is malformed, the entire batch rejects. No partial states.

  3. Dual-Mode Architecture (INV-06): The single laminar-cli binary successfully detects its environment (TTY vs Pipe) and adapts its output automatically—serving Human Treasurers (spinners/tables) and AI Agents (strict JSON) simultaneously.

Request for Review: We invite the engineering community to review laminar-core/src/parser.rs.

If you find a way to inject floating-point drift into our Zatoshi implementation, report it.

Next Steps: We are finalizing the ZCG Grant Proposal for the “Tactical Spike” (Phase 1) submission this week.

Gravity absolute.