issues
search
microsoft
/
Spartan
Spartan: High-speed zkSNARKs without trusted setup
MIT License
690
stars
121
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore: fix some comments
#76
wangjingcun
opened
4 days ago
1
Serialization
#75
chancehudson
opened
3 weeks ago
1
Proof serialization
#74
chancehudson
opened
4 weeks ago
0
dense_mlpoly.rs: Fix manipulation of evaluation vector Z by bound functions
#73
asn-d6
closed
1 month ago
0
fix clippy warnings
#72
srinathsetty
closed
1 month ago
0
close issue 70 and badge
#71
ashWhiteHat
closed
1 month ago
0
Possible Mistake in Assert Statement
#70
ishwarbb
closed
1 month ago
1
R1CS instance does not match the definition
#69
ishwarbb
opened
6 months ago
1
fix build
#68
srinathsetty
closed
7 months ago
0
Proving math functions with Spartan
#67
Fobow
opened
11 months ago
2
Error compiling with latest rust: could not compile `packed_simd_2` (lib) due to 6 previous errors
#66
cdesch
closed
7 months ago
3
refactor: improve visibilities
#65
ashWhiteHat
closed
7 months ago
0
How to determine num_non_zero_entries
#64
mottla
opened
1 year ago
1
Remove extremely minor duplication
#63
zk-Lee
closed
1 year ago
0
scale the generator used for commiting to inner product
#62
srinathsetty
closed
1 year ago
0
update version
#61
srinathsetty
closed
1 year ago
0
Improve Support for WASM
#60
ashutoshvarma
closed
1 year ago
4
PST with square root trusted setup
#59
maramihali
closed
1 year ago
0
Where to find the example of proof H(s)==d?
#58
jamesdang
opened
1 year ago
1
Post-quantum variant of Spartan
#57
kc1212
opened
2 years ago
0
update readme
#56
srinathsetty
closed
2 years ago
0
optimize the computation of digest of A/B/C matrices
#55
srinathsetty
closed
2 years ago
0
Converting Spartan to Wasm
#54
natalialinov
closed
1 year ago
2
Update version and readme
#53
srinathsetty
closed
2 years ago
0
[E0061] in readme.md Examples produce a proof of satisfiability
#52
HLRJ
closed
1 year ago
2
support for stable Rust
#51
srinathsetty
closed
2 years ago
0
clippy fixes
#50
srinathsetty
closed
2 years ago
0
fix comment
#49
Ethan-000
closed
2 years ago
0
Put simd_backend into default feature
#48
jkwoods
closed
2 years ago
0
Migrate to arkworks
#47
maramihali
closed
2 years ago
1
Transcript
#46
srinathsetty
closed
2 years ago
0
remove asserts; return result objects
#45
srinathsetty
closed
2 years ago
0
panics when testing assignment that doesn't meet constraints
#44
ikhaliq15
closed
2 years ago
0
How Do I Construct R1CS Using Negative Values?
#43
AtropineTears
closed
2 years ago
2
Compatibility with circom
#42
m0bi5
closed
2 years ago
5
Add More Examples
#41
AtropineTears
opened
3 years ago
2
Differences between Spartan and ZkSTARKs
#40
jochasinga
closed
2 years ago
2
compatible high level languages
#39
dvc94ch
closed
3 years ago
1
Fix version number in README.md
#38
srinathsetty
closed
3 years ago
0
Update to latest Rust and fix Clippy warnings
#37
srinathsetty
closed
3 years ago
0
error[E0557]: feature has been removed
#36
ether-wan
closed
3 years ago
1
what's wrong?
#35
PanosYang
closed
3 years ago
1
Arbitrary number of variables and contraints
#34
elefthei
closed
3 years ago
6
Add another challenge in dotproduct proof?
#33
3for
closed
1 year ago
2
upgrade curve25519-dalek package to use the crates.io version
#32
srinathsetty
closed
3 years ago
0
The `num_nz_entries` should be more generic
#31
3for
closed
3 years ago
7
Fix build on recent nightly compilers (upgrade packed_simd)
#30
milkey-mouse
closed
3 years ago
0
annotation typo
#29
3for
closed
3 years ago
1
The fine-grained profiler and benches only prints proof_compressed_len
#28
29988122
closed
3 years ago
1
Removes a few panics
#27
huitseeker
closed
4 years ago
0
Next