信任模型
永不存在的密钥
在 Celar 上谁能解密?任何人、任何时候都不能。解密密钥自诞生起就分散在 100 个委员会席位之中,需要足够数量的席位共同参与才能动作,并且每个周期刷新一次。
安全
一个你可以自行核验的数字
每条链都说自己安全。Celar 公开的是 ℋ = 攻击成本 / 风险价值 ≥ 2 —— 这是一条宪法级的下限,其每一项输入都公开且可复算。
标准
可以核验的隐私主张
PF-1 是一份开放的隐私标签 —— 说明一个协议隐藏了哪些数据、针对哪些攻击者、基于哪些假设,以及仍然泄露了什么。它让隐私主张变得可比较、可证伪。
解读
证明与计算:ZK 和 FHE 究竟能隐藏什么
零知识证明用于证明你所持有数据的相关事实;FHE 则在无人能读取的数据上进行计算。为什么一条保密的链两者都需要 —— 用 FHE 保护状态,用隐形地址保护接收方,用 ZK 屏蔽池提供抗串通的匿名性。
公告
Celar 正式发布
保密智能合约的第一层区块链:一条能够在无人可读的数据上进行计算的链 —— 门限 FHE、隐形地址、ZK 屏蔽池,以及一个你可以证伪的安全指标。