This is an academic, unaudited PoC implementation of the ZKLP protocol, assompanied by an IEEE-754 compliant floating-point implementation (in SNARKs, with constraint system agnostic optimizations) for Float32 and Float64.
Initialize h3 submodule.
git submodule init
git submodule update
Execute floating-point tests. Test cases are generated from Berkeley TestFloat to ensure IEEE-754 compliance.
cd float
go test -test.v
Execute ZKLP tests. Test cases are generate for all resolutions, with logarithmic steps towards the hexagon boundary.
cd loc2index32
go test -test.v