ZK Floating Point Arithmetic This repo implements core floating point arithmetic operations in Circom/SnarkyJS. Well-documented Python reference files for the circuits can be found in the src directory.