|
|
|
|
|
|
by byteware
410 days ago
|
|
|
first order zero knowledge proof system (zk-stark), it works on android, macos, linux, webassembly, vulkan/cuda backend (metal coming), but the composition polynomial evaluation is suboptimal so i am working on that now https://theorium.org/constraints.html |
|
|