Skip to content

v0.5.2

Latest
Latest

Choose a tag to compare

View all tags
@shramee shramee released this 18 Jan 04:07
· 5 commits to main since this release
v0.5.2
ce9ac46

This release represents a major maturation of the SDK, with substantial improvements to circuit proving, WASM integration, Merkle utilities, and overall developer ergonomics. It builds on the v0.5.0 architecture and stabilizes the new proving pipeline.

Highlights

  • End-to-end proving pipeline is now fully operational and simplified.
  • Transition to Gnark-based proving artifacts and tooling.
  • Self-contained WASM loading with embedded artifacts.
  • Major Merkle tree correctness, determinism, and utility upgrades.
  • Cleanup of deprecated cryptography paths and legacy Noir artifacts.
  • Improved test coverage across circuits, Merkle paths, and WASM loading.

Key Features

Zero-Knowledge Proving & Circuits

  • New circuit proving flow with simpler witness generation.
  • Gnark witness utilities and synchronization helpers.
  • Redeployed and regenerated circuits with updated embeddings.
  • Deterministic Merkle root derivation from paths.
  • Domain separation and sorting guarantees for Merkle hashing.
  • New transaction hash utilities.

WASM & Go Integration

  • Embedded Go WASM artifacts for self-contained runtime loading.
  • Refactored distribution from go-dist to gnark-dist.
  • Robust WASM loading tests and cleanup of legacy paths.
  • Uniform formatting and packaging improvements for Go/WASM assets.

SDK & Core Improvements

  • Merkle logic moved into core with typed fixtures and utilities.
  • Stronger typing for proofs, witnesses, and core interfaces.
  • Config system brought fully up to date.
  • Exported Merkle utilities for external consumption.

Fixes

  • Correct handling of verification keys containing zero values.
  • Fixed transaction hash edge cases (suffix and even-hash handling).
  • Resolved Merkle override inconsistencies.
  • Corrected asset fetch callback naming.
  • Fixed seek-and-hide transaction computation.
  • Contract address, ABI, and type corrections.
  • Claiming key generation fixes.

Testing & Validation

  • New circuit test suite and types.
  • Merkle root, path, and boundary-condition tests (including 2ⁿ+1 cases).
  • End-to-end proving tests.
  • WASM loading and runtime validation tests.

Maintenance & Cleanup

  • Removed deprecated crypto and noir packages.
  • Cleared unused dependencies and outdated documentation.
  • Uniform formatting (Prettier) and directory refactors.
  • Security dependency updates following audit review.
  • Updated Starknet and contract deployments.

Versioning

  • v0.5.0: Major architecture and proving pipeline overhaul.
  • v0.5.1: Stabilization, bug fixes, dependency cleanup.
  • v0.5.2: Finalized circuits, simplified witnesses, verification fixes, and release readiness.
Assets 2
Loading