issues
search
ZK-Garage
/
plonk
A pure Rust PLONK implementation using arkworks as a backend.
https://discord.gg/XWJdhVf37F
Mozilla Public License 2.0
289
stars
75
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
what/how?
#171
ghost
closed
3 weeks ago
0
Insufficient blinding of `z_poly`
#170
krnak
opened
11 months ago
2
Inappropriate transcipt initiation
#169
krnak
opened
11 months ago
0
Compatibility Between zk-garage Implementation and snarkjs Proof Format
#168
saurabhchalke
opened
11 months ago
0
Adding blinding factors at the circuit level
#167
krnak
closed
11 months ago
1
doc: fix equation for `partial_affine_transform_gate`
#166
krnak
opened
12 months ago
0
mdbook no longer builds
#165
thor314
opened
1 year ago
2
poseidon hash
#164
zhenfeizhang
closed
1 year ago
0
Add intended PI positions
#163
davidnevadoc
closed
2 years ago
0
Fix book error
#162
spartucus
closed
2 years ago
0
Example fix
#161
simonmasson
closed
2 years ago
1
Addition circuit requires the A coefficient
#160
simonmasson
closed
2 years ago
1
Add a new example
#159
bwuzhang
closed
2 years ago
1
Add `less_than` gadget
#158
davidnevadoc
opened
2 years ago
0
[WIP] Short Weierstrass curve support
#157
ghost
closed
2 days ago
0
[WIP] Testing gate internal ABI design
#156
davidnevadoc
opened
2 years ago
0
Add test for permutation argument constants.
#155
davidnevadoc
closed
2 years ago
5
Testing coset constants
#154
davidnevadoc
closed
2 years ago
0
Remove circuit size `n` from `PI`
#153
davidnevadoc
closed
2 years ago
0
Remove circuit size from `PI`
#152
davidnevadoc
closed
2 years ago
0
Allow extracting variables' values from composer
#151
iamnotacake
closed
2 years ago
0
Fix circuit size in `gen_proof`
#150
davidnevadoc
closed
2 years ago
2
Wrong circuit size in `gen_proof`
#149
davidnevadoc
closed
2 years ago
1
Increase blinding
#148
CarloModicaPortfolio
opened
2 years ago
0
Update `PI` size in `check_circuit_satisfied`
#147
davidnevadoc
closed
2 years ago
0
Bug report: check_circuit_satisfied doesn't work
#146
XuyangSong
closed
2 years ago
3
Proper transcript handling
#145
davidnevadoc
opened
2 years ago
0
Use batch commitment scheme and commit only polynomial linear combination
#144
akinovak
opened
2 years ago
1
Add example execution to CI
#143
davidnevadoc
closed
2 years ago
0
Add examples execution to CI
#142
davidnevadoc
closed
2 years ago
0
Fix example circuit
#141
davidnevadoc
closed
2 years ago
0
Example errors out on "TrimmingDegreeTooLarge"
#140
J08nY
closed
2 years ago
1
Don't commit to each term of aw_polys and saw_polys
#139
akinovak
opened
2 years ago
0
Use batched PC scheme
#138
akinovak
opened
2 years ago
1
Blind lookup polynomials
#137
lopeetall
opened
2 years ago
2
Remove the Witness Table
#136
LukePearson1
opened
2 years ago
0
implement stateless interface
#135
BoyuanFeng
closed
11 months ago
0
Refactor Public Inputs and add them to the transcript
#134
davidnevadoc
closed
2 years ago
15
Add Public Inputs to the transcript.
#133
davidnevadoc
closed
2 years ago
0
Traits for Lookup Tables
#132
lopeetall
closed
2 years ago
1
Traits for Lookup Tables
#131
lopeetall
opened
2 years ago
3
Increase blinding level for KZG
#130
lopeetall
opened
2 years ago
2
Docs throw 404
#129
jesusdiazvico
opened
2 years ago
0
Standardized `ProvingKey`, `VerifyingKey`, and `Proof` ABIs
#128
bhgomes
opened
2 years ago
4
Simplified Polynomial Commitment Trait
#127
bhgomes
opened
2 years ago
2
fix some typos in book
#126
XuyangSong
closed
2 years ago
0
Plookup passing
#125
lopeetall
closed
2 years ago
0
Plook up separate lookups
#124
lopeetall
closed
2 years ago
0
PlonkUp
#123
davidnevadoc
closed
2 years ago
5
Mock prover api
#122
mathcrypto
opened
2 years ago
0
Next