Skip to content

v0.2.0

Choose a tag to compare

View all tags
@jeswr jeswr released this 05 Jul 20:15
· 1 commit to main since this release
v0.2.0
f80c88e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

noir_XPath v0.2.0

Lineage note: this release supersedes jeswr/noir_XPath v0.1.0 (2025-12-29, deprecated jeswr-namespace content). The current code is a complete content replacement — the library was re-developed in the sparq-org/sparq monorepo under zk/xpath and published here as a standalone face. v0.2.0 is the first stable release of the new library.

What this library is

noir_XPath is a Noir (ZK circuit) implementation of XPath 3.1 Functions and Operators targeting SPARQL FILTER semantics for use in zero-knowledge query proofs. The library provides the arithmetic, string, date/time, and comparison primitives needed to prove SPARQL FILTER evaluation inside a ZK circuit.

Conformance status

  • Test suite: 360 W3C qt3tests-derived test packages, partitioned into REAL (functions with Noir implementations) and STUB-wired (functions returning assert(false) for features not yet representable in ZK: regex, XML/document model, higher-order functions, format-* operations).
  • KNOWN_FAILING: currently empty — all packages in the REAL partition pass on nargo 1.0.0-beta.21.
  • Float backend: sparq_ieee754 vendored from sparq-org/sparq zk/ieee754, synced to commit cef945af (includes the sq-25mgo fix: f128 mul/div flush deep-underflow to signed zero instead of generating an unprovable constraint).
  • Security status: unaudited — this is a 0.x release. A formal security audit is planned (tracked as sq-qhy4).

Changes since v0.1.0 (legacy jeswr content)

Complete replacement. Developed in sparq-org/sparq; see the sparq PR history for the detailed change record.

CI

  • nargo test (real suite) runs on push/PR (all real test packages, library inline tests, and unit tests).
  • copilot-review-posted status producer is live (fixes sq-umj0p: PRs no longer hard-block on missing status context).

🤖 Released by SPARQ agent — sq-5reoy / GH sparq-org/sparq#1599

Assets 2
Loading