first order zero knowledge proof system (zk-stark), it works on android, macos, linux, webassembly, vulkan/cuda backend (metal coming), but the composition poly

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 https://theorium.org/constraints.html