0%

銀の龍の背に乗って

作词: 中島みゆき
作曲: 中島みゆき
编曲: 瀬尾一三

中岛美雪2003年创作的这首经典作品,最初是为医疗剧《五岛医生诊疗所》量身打造的主题曲。歌曲以极具诗意的隐喻,将医者比作”银龙”,描绘了一个关于生命救赎的壮美寓言。

阅读全文 »

本篇笔记涵盖 《Proofs, Arguments, and Zero-Knowledge》第3章第4章,介绍了交互式证明(Ineractive Proofs)和论证系统的形式化定义,介绍了零知识证明领域重要的两个定理:Schwartz-Zippel Lemma 和 Lagrange Interpolation of Multilinear Polynomials。接下来,运用这些定理,给出了包括求和检查协议(The Sum-Check Protocol)等在内的一些具体实例。

阅读全文 »

A Pragmatic Introduction to Secure Multi-Party Computation Reading Notes

1 Introduction

Outsourced Computation

一方拥有数据,想知道对这些数据进行某种运算的结果;另一方接收数据并进行运算,返回结果。这期间第二方不应该知道任何关于输入、输出结果、中间量的任何信息。

同态加密(homomorphic encryption)允许对加密数据进行操作。分为部分同态加密(partially homomorphic encryption)和完全同态加密(FHE, fully homomorphic encryption)

Multi-Party Computation

持有数据的一些人想共同计算一个函数,但是他们不互相信任,也没有可信任的第三方。

阅读全文 »