Lumoin.Veridical.Cli 0.0.4

.NET 10.0 This package targets .NET 10.0. The package is compatible with this framework or higher. 
dotnet tool install --global Lumoin.Veridical.Cli --version 0.0.4
This package contains a .NET tool you can call from the shell/command line. 
dotnet new tool-manifest
                    


                            if you are setting up this repo
                        

                    

                
dotnet tool install --local Lumoin.Veridical.Cli --version 0.0.4
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Lumoin.Veridical.Cli&version=0.0.4
                    


                    

                
nuke :add-package Lumoin.Veridical.Cli --version 0.0.4

veridical

A command-line and Model Context Protocol (MCP) tool for Lumoin.Veridical.

Install

dotnet tool install --global Lumoin.Veridical.Cli

Commands

veridical info                 Print platform and scalar-backend information.
veridical hash <input>         BLAKE3-256 hash of UTF-8 text (or --hex bytes).
veridical hash <hex> --hex     BLAKE3-256 hash of a hex-encoded byte string.
veridical selftest             Run known-answer conformance vectors; exit non-zero on failure.

selftest runs deterministic known-answer vectors — a BLAKE3 test vector, field arithmetic (multiply, invert), and the batch multiply checked against the single-element path across lane-group boundaries. It is the same code used as the native-AOT conformance check in CI, so it validates that the AOT-compiled build computes correct results on each target (including the SIMD paths on ARM).

MCP server

Run as an MCP stdio server:

veridical -mcp

Exposed tools: Info, Hash, SelfTest. The packaged .mcp/server.json lets MCP-aware clients discover and launch the server.

Product Compatible and additional computed target framework versions.
.NET net10.0 is compatible.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last Updated
0.0.4 43 6/28/2026
0.0.3 100 6/18/2026
0.0.2 95 6/17/2026
0.0.1 99 6/16/2026

Added:
- Initial public packages: `Lumoin.Veridical.Core`, `Lumoin.Veridical.Hashing`,
 `Lumoin.Veridical.Backends.Managed`, `Lumoin.Veridical.Bbs`,
 `Lumoin.Veridical.Secdsa`, `Lumoin.Veridical.Analysis`, and the
 `Lumoin.Veridical.Cli` command-line / MCP tool.
- `Lumoin.Veridical.Longfellow`: a consumable, serialization-free facade over the
 dual-field Longfellow zero-knowledge-over-ECDSA mdoc prover and verifier.
- `WellKnownLigeroParameters` and `LigeroSoundnessRegime`: pinned Ligero
 polynomial-commitment soundness parameters with a regime-based opened-column
 derivation (defaulting to the provable Johnson bound).
- A constant-time NIST P-256 scalar-field Montgomery backend, used by SECDSA and
 ECDSA signing in place of the variable-time `BigInteger` path.
- `SECURITY.md`: the consolidated security and constant-time posture.

Changed:
- The masked-Spartan non-hiding BaseFold entry points are renamed
 `ProveBaseFoldSound` / `VerifyBaseFoldSound`, and the zero-knowledge entry
 points (`ProveZkBaseFold` / `VerifyZkBaseFold`) require a hiding commitment
 provider.

See full changelog at https://github.com/lumoin/Lumoin.Veridical/blob/main/CHANGELOG.md.