4 ms·
How hard would it be to use Yosys (http://www.clifford.at/yosys/documentation.html http://www.clifford.at/yosys/documentation.html) for logical gate synthesis t
by rjeli 6y ago
How hard would it be to use Yosys (http://www.clifford.at/yosys/documentation.html http://www.clifford.at/yosys/documentation.html) for logical gate synthesis to run arbitrary Verilog on TFHE?
- ssmiler 6y agoSomething equivalent is done in https://github.com/CEA-LIST/Cingulata https://github.com/CEA-LIST/Cingulata The current execution run-time accepts a .blif file (a Boolean circuit) and executes it. For the moment only the BFV homomorphic encryption can be used. Although, supporting TFHE will not be so hard and some work is going on the parallel_bit_exec branch.
- nindanaoto 6y agoCingulata currently supports TFHE. https://github.com/CEA-LIST/Cingulata/wiki#headlight https://github.com/CEA-LIST/Cingulata/wiki#headlight We also used Yosys to convert Chisel into JSON netlist. It is easy to use. I hope this may help. This is archived but simple. https://github.com/virtualsecureplatform/V2TT https://github.com/virtualsecureplatform/V2TT