Issues

• Structure::is_sat does not validate witness lengths, and test_sat does not exercise the eq weights

  microsoft/Nova#504 · Filter by author gianlucamazza opened on Jul 26, 2026

• Replace panics (via asserts) and return Error types

  microsoft/Nova#399 · Filter by author srinathsetty opened on Jul 1, 2025

• Integrate faster MSM libraries

  microsoft/Nova#372 · Filter by author srinathsetty opened on Mar 7, 2025

• Add GPU acceleration

  microsoft/Nova#371 · Filter by author srinathsetty opened on Mar 7, 2025

• Use tracing to print out detailed performance information

  microsoft/Nova#356 · Filter by author srinathsetty opened on Jan 16, 2025

• Support no_std

  microsoft/Nova#345 · Filter by author srinathsetty opened on Dec 19, 2024

• explore the use of field and curve implementations from arkworks

  microsoft/Nova#339 · Filter by author srinathsetty opened on Dec 16, 2024

• implement commitment-carrying capability

  microsoft/Nova#338 · Filter by author srinathsetty opened on Dec 16, 2024
  4

• removing iteration count parameter (num_steps) from verify function

  microsoft/Nova#228 · Filter by author Hakkush-07 opened on Sep 19, 2023
  1

• compiling to solidity/evm?

  microsoft/Nova#116 · Filter by author sourdzl opened on Oct 3, 2022
  3

• Fold two incoming instances at once so one can fold instances in a binary tree fashion

  microsoft/Nova#69 · Filter by author srinathsetty opened on May 17, 2022
  3