Sudachi; Proof of concept of next generation Boolean circuit execution engine over TFHE

Dpendency

Tests assume Yosys and sbt are installed.

Citation

@misc{Sudachi,
	author = {Kotaro Matsuoka},
	title = {{Sudachi: Homomorphic logic circuit evaluation on Taskflow}},
  	year = {2021},
	howpublished = {\url{https://github.com/virtualsecureplatform/Sudachi}}
}