issues
search
DoHoonKim8
/
halo2-lasso
Benchmark for adding Lasso lookup argument to halo2 backend
MIT License
30
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement basic ops for `PolyExpr` type
#15
DoHoonKim8
opened
8 months ago
0
Implement basic ops for `PolyExpr` type
#14
DoHoonKim8
closed
8 months ago
0
Add polynomial expression
#13
jeong0982
closed
9 months ago
0
Invoke grand product GKR only once
#12
DoHoonKim8
opened
9 months ago
0
Lookup index is not tied to chunked indices
#11
DoHoonKim8
opened
11 months ago
0
Add polynomial expression
#10
DoHoonKim8
closed
9 months ago
0
Benchmark 128-bits range check
#8
DoHoonKim8
opened
1 year ago
0
Error handling for Lasso lookup
#7
DoHoonKim8
opened
1 year ago
0
About `DecomposableTable` trait API
#6
DoHoonKim8
opened
1 year ago
1
Define abstract trait for MemoryChecking
#5
DoHoonKim8
opened
1 year ago
7
Implement Lasso inside Hyperplonk
#4
DoHoonKim8
opened
1 year ago
1
Add some benchmarks for RISC-V instructions
#3
DoHoonKim8
opened
1 year ago
0
Port `ConstraintSystem` from halo2 frontend
#2
DoHoonKim8
opened
1 year ago
0
Add example for 128-bits field element range check
#1
DoHoonKim8
opened
1 year ago
0