nalinbhardwaj/Nova-Scotia

Issues

• solidity verifier

  #43 opened 5 months ago by wighawag
  1

• Update to use a recent version of Nova

  #40 opened a year ago by bkomuves
  1

• RecursiveSNARK::verify: Err(UnSat) following examples script

  #38 opened a year ago by fraVlaca
  1

• Thanks for the project, wonder if there is any plan to support SuperNova?

  #31 opened a year ago by voidcenter
  1

• Browser Test

  #35 opened a year ago by Hakkush-07
  2

• example repo's error, can't read toy.cpp or toy.wasm

  #36 opened a year ago by yugocabrio
  1

• Making Nova-Scotia work with BN254/grumpkin cycle

  #29 opened a year ago by 0xbok
  4

• Better Generic Abstractions on the API

  #21 opened a year ago by nalinbhardwaj
  0

• Support negative numbers in witness parsing natively

  #30 opened 2 years ago by nalinbhardwaj
  0

• bitcoin.circom doesn't have `step_out`

  #28 opened 2 years ago by 0xbok
  1

• Nova Scotia is significantly slower than Nova Bellman?

  #26 opened 2 years ago by nalinbhardwaj
  1

• Emit better errors if Circom installation does not support C++ witness generation

  #25 opened 2 years ago by nalinbhardwaj
  0

• Cache file fetch/reads in memory in WASM prover

  #24 opened 2 years ago by nalinbhardwaj
  0

• Don't manually copy-paste witness_calculator.js

  #23 opened 2 years ago by nalinbhardwaj
  0

• Restructure to support Paranova

  #22 opened 2 years ago by nalinbhardwaj
  0

• Fix code dupe for WASM env

  #17 opened 2 years ago by nalinbhardwaj
  0

• Use traits for cycle fields/groups instead of hardcoding

  #18 opened 2 years ago by nalinbhardwaj
  0

• It's janky to assume Circom step circuits are written with step_in/step_out

  #19 opened 2 years ago by nalinbhardwaj
  0

• Use a more Rust-friendly type for private inputs

  #20 opened 2 years ago by nalinbhardwaj
  0

• UnHandled promise error inside async block

  #14 opened 2 years ago by CPerezz
  2

• Circom circuit public input needs to be named `step_in`

  #11 opened 2 years ago by jonathanpwang
  1