OpenFHE
jbates-duality