参考资料
密码学参考资料
- Introduction to Modern Cryptography
正文
在安全多方计算中，Garbled Circuit 的计算结果依赖于数字电路的构造。
一般来说可以通过如下方式的思路
真值表 -> CNF/DNF范式 -> 卡诺图化简 -> 数字电路
关于自动简化布尔表达式，有如下工具
http://stackoverflow.com/questions/14902141/any-good-boolean-expression-simplifiers-out-there
Logic Friday
安全双方计算协议如下
