issues
search
nalinbhardwaj
/
Nova-Scotia
Middleware to compile Circom circuits to Nova prover
https://crates.io/crates/nova-scotia
MIT License
228
stars
50
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
solidity verifier
#43
wighawag
opened
1 month ago
1
fix `current_dir()` call when using wasm generation 2: continue_recursive_circuit
#42
jp4g
opened
7 months ago
0
Add the "Getting Started" docs for bitcoin example
#41
moven0831
opened
9 months ago
0
Update to use a recent version of Nova
#40
bkomuves
opened
9 months ago
1
bump Nova to 0.24
#39
nickz-t3
opened
10 months ago
0
RecursiveSNARK::verify: Err(UnSat) following examples script
#38
fraVlaca
closed
1 year ago
1
fix `current_dir()` call when using wasm generation
#37
dmpierre
closed
1 year ago
0
example repo's error, can't read toy.cpp or toy.wasm
#36
yugocabrio
closed
1 year ago
1
Browser Test
#35
Hakkush-07
closed
1 year ago
2
feat: `continue_recursive_circuit ` api
#34
enricobottazzi
closed
1 year ago
0
traitify groups and support bn254/grumpkin
#33
nalinbhardwaj
closed
1 year ago
1
chore: Bump Nova version, adapt to upstream changes
#32
huitseeker
closed
1 year ago
1
Thanks for the project, wonder if there is any plan to support SuperNova?
#31
voidcenter
closed
1 year ago
1
Support negative numbers in witness parsing natively
#30
nalinbhardwaj
opened
1 year ago
0
Making Nova-Scotia work with BN254/grumpkin cycle
#29
0xbok
closed
1 year ago
4
bitcoin.circom doesn't have `step_out`
#28
0xbok
closed
1 year ago
1
bump nova scotia version
#27
nalinbhardwaj
closed
1 year ago
0
Nova Scotia is significantly slower than Nova Bellman?
#26
nalinbhardwaj
opened
1 year ago
1
Emit better errors if Circom installation does not support C++ witness generation
#25
nalinbhardwaj
opened
1 year ago
0
Cache file fetch/reads in memory in WASM prover
#24
nalinbhardwaj
opened
1 year ago
0
Don't manually copy-paste witness_calculator.js
#23
nalinbhardwaj
opened
1 year ago
0
Restructure to support Paranova
#22
nalinbhardwaj
opened
1 year ago
0
Better Generic Abstractions on the API
#21
nalinbhardwaj
closed
1 year ago
0
Use a more Rust-friendly type for private inputs
#20
nalinbhardwaj
opened
1 year ago
0
It's janky to assume Circom step circuits are written with step_in/step_out
#19
nalinbhardwaj
opened
1 year ago
0
Use traits for cycle fields/groups instead of hardcoding
#18
nalinbhardwaj
opened
1 year ago
0
Fix code dupe for WASM env
#17
nalinbhardwaj
opened
1 year ago
0
docs: remove redundant `cargo build` step from README
#16
eightfilms
closed
1 year ago
0
chore: bump ff, group to 0.13 and update dependent crates
#15
huitseeker
closed
1 year ago
2
UnHandled promise error inside async block
#14
CPerezz
closed
1 year ago
2
upgrade nova
#13
nalinbhardwaj
closed
1 year ago
0
Make C1, C2 type to be public
#12
chiro-hiro
closed
1 year ago
0
Circom circuit public input needs to be named `step_in`
#11
jonathanpwang
closed
1 year ago
1
support negative numbers in wasm witness gen
#10
nalinbhardwaj
closed
1 year ago
0
bump nova
#9
nalinbhardwaj
closed
1 year ago
0
Fold as we go rather than caching witnesses for all steps
#8
lyronctk
closed
1 year ago
0
Fix SharedArrayBuffer CORS
#7
nalinbhardwaj
closed
1 year ago
0
Bump Nova and add GPU hashing features
#6
nalinbhardwaj
closed
1 year ago
0
Full in-browser proving, verification, serde etc etc
#5
nalinbhardwaj
closed
1 year ago
1
Upgrade circom/pasta to 2.1.3 and add CI
#4
nalinbhardwaj
closed
1 year ago
0
New head
#3
lyronctk
closed
1 year ago
0
WASM witness generation
#2
yonadaaa
closed
1 year ago
2
Examples
#1
nalinbhardwaj
closed
1 year ago
0