issues
search
0xPolygonHermez
/
pil-stark
Generates a stark from a pil
Other
95
stars
29
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Question Regarding rootC Selection in Proof Aggregation
#71
kiwi202202
opened
4 months ago
0
Merging develop to main
#70
RogerTaule
closed
4 months ago
1
Adding intermediate polynomial new algorithm and new parser
#69
RogerTaule
closed
5 months ago
1
New parser + Flexible Arity + Memory optimization + Multiple verifiers
#68
RogerTaule
closed
8 months ago
1
StarkVerifier to support different verifiers same circom
#67
RogerTaule
closed
8 months ago
1
Flexible arity
#66
RogerTaule
closed
8 months ago
1
Reusing memory C++ prover
#65
RogerTaule
closed
8 months ago
1
New parser C++ expressions
#64
RogerTaule
closed
8 months ago
1
Merging changes Etrog to main
#63
RogerTaule
closed
10 months ago
1
Minor modifications for aggregation layer
#62
RogerTaule
closed
10 months ago
1
Adding new chelpers for Etrog and minor optimization when calculating intermediate polinomials
#61
RogerTaule
closed
10 months ago
1
Is there a detailed explanation for `starkStruct`?
#60
zhiqiangxu
opened
10 months ago
1
Merge fork incaberry pil-stark to main
#59
RogerTaule
closed
10 months ago
1
Potential non-deterministic circuit?
#58
UIZorrot
opened
1 year ago
0
Implement and benchmark grandsum
#57
RogerTaule
opened
1 year ago
0
Add generic formula for soundness computation
#56
hecmas
opened
1 year ago
0
Create LISEZMOI.md
#55
symulacr
closed
4 months ago
2
Improving DEEP quotients computation
#54
hecmas
opened
1 year ago
3
Adjusting pil-stark so that it can be integrated with intermediate polynomials external solution
#53
RogerTaule
opened
1 year ago
0
Adding binary tag
#52
RogerTaule
closed
1 year ago
0
Adding constRoot to the transcript and tags
#51
RogerTaule
closed
1 year ago
0
Adding comments to the circuits.bn128
#50
hecmas
closed
1 year ago
0
Fix dim calculating for muladd
#49
eigmax
opened
1 year ago
1
Maybe support bls12381?
#48
VegeBun-csj
closed
1 year ago
0
Audit fixes
#47
RogerTaule
closed
1 year ago
0
Gpu linear hash
#46
RogerTaule
closed
1 year ago
0
Adding parallels that were wrongly removed
#45
RogerTaule
closed
1 year ago
0
Revert "Adding parallels that were wrongly removed"
#44
RogerTaule
closed
1 year ago
0
Adding parallels that were wrongly removed
#43
RogerTaule
closed
1 year ago
0
Minor optimization C15 pil
#42
RogerTaule
closed
1 year ago
0
Adding script tests to package.json and minor fixes
#41
RogerTaule
closed
1 year ago
0
Adding comments to the code, minor test path fixing and fixing C15 plonk constraints calculation
#40
RogerTaule
closed
1 year ago
0
New recursion
#39
RogerTaule
closed
1 year ago
0
Caching intermediate expressions and dimension
#38
RogerTaule
closed
1 year ago
0
Huge refactor and reorganization of files
#37
RogerTaule
closed
1 year ago
0
add Spearbit audit report
#36
zkronos73
closed
1 year ago
0
Chelpers parser2
#35
rickb80
closed
1 year ago
0
root of unit units agreed with ponos
#34
jbaylina
closed
1 year ago
0
Standarizing GL implementation to use shift 7 instead of 49.
#33
RogerTaule
closed
1 year ago
0
Chelpers parser
#32
rickb80
closed
1 year ago
0
Fixing final circom generation
#31
RogerTaule
closed
1 year ago
1
goldenPrime variable in buildPoseidon() in poseidon.js not used
#30
Sean4572435243
opened
1 year ago
0
small fixes to version 0.0.50
#29
RogerTaule
closed
1 year ago
1
Circom optimizations
#28
RogerTaule
closed
1 year ago
2
Many Stark tests failing
#27
Sean4572435243
closed
1 year ago
11
Danielopts
#26
jbaylina
closed
1 year ago
0
chelpers refactorization
#25
eduadiez
closed
1 year ago
0
fix interpolatePrepareBlock not import
#24
eigmax
closed
1 year ago
1
fix plookup section map
#23
eigmax
closed
1 year ago
0
Evals2
#22
jbaylina
closed
1 year ago
0
Next