TruKC

The TRUstable Knowledge Compilers project, TruKC for short, aims at providing theoretical and practical tools to certify the output of knowledge compilers so that an independant actor can verify that the circuit produced is a valid circuit representation of the input.

More details coming soon.