Invisibook

Decentralized privacy order book

秘密共享的 MPC 中如何秘密计算二进制进位


第一章 问题背景与核心挑战

1.1 什么是秘密加法

在安全多方计算(MPC)中,两个参与方(Alice 和 Bob)各自持有一个二进制数的秘密份额,想要计算两个数的和,但不能泄露任何一个操作数的明文。这里的"秘密份额"指的是布尔秘密共享:一个比特 x 被拆成两个份额 x₁ 和 x₂,满足 x = x₁ ⊕ x₂,其中 ⊕ 是异或运算。Alice 持有 x₁,Bob 持有 x₂,任何一方单独看自己的份额都是一个均匀随机的比特,无法推断出 x 的真实值。


SPDZ MAC 恶意模型原理

安全多方计算(MPC)允许多个参与方在不暴露各自私有数据的前提下,共同计算一个函数的值。SPDZ 是一种被广泛使用的 MPC 协议,它不仅保护隐私,还能抵抗恶意行为者,即使某些参与方试图作弊或篡改数据,协议也能检测出来并保证结果正确性。其关键技术之一就是信息论安全的消息认证码(MAC)机制


去中心化隐私订单薄:金融领域的必要革命

在当今快速发展的金融市场中,交易效率、隐私保护和公平性已成为投资者关注的焦点。传统中心化交易所主导的模式,虽然促进了全球资本流动,但也暴露出了诸多结构性缺陷。这些缺陷不仅导致交易者利益受损,还阻碍了市场的健康发展。为此,去中心化隐私订单薄作为一种创新解决方案应运而生。它不仅解决了传统模式的痛点,还在隐私性、价格发现和抗审查方面实现了革命性突破。本文将从传统交易所的局限性入手,逐步探讨暗池和量化交易算法的尝试性解决路径,最终论证去中心化隐私订单薄的必要性和其对金融领域的颠覆性影响。


如何隐私比较两个整数(错误)

Alice 和 Bob,他们手里分别持有一个无符号整数,Alice持有x, Bob持有y。
此时他们想互相比较出x和y的大小关系, 但同时又不想泄漏自己手里具体的数,此时我们该如何解决呢?


Invisibook, 隐私去中心化订单薄

引言:为何需要去中心化隐私订单簿

订单簿交易是现代金融体系中最成熟、最具扩展性的交易形式,也是价格发现与流动性形成的核心机制。然而,在数字化、链上化和高频化的环境下,订单簿暴露出一个长期被忽视的结构性矛盾:交易系统无法同时实现抗审查、隐私保护与可验证执行。