Description
zkInterface is an open, message-based interoperability standard designed and built by QEDIT for zero-knowledge proof systems. It defines a framework-agnostic representation of R1CS constraint systems and witnesses using FlatBuffers messages, allowing compliant circuit frontends and proving backends to exchange data. It also supports streaming, reusable gadgets, and separate instance and witness reduction steps, and was contributed to the ZKProof standardization effort as an interoperability reference.