请跟着我一起翻到白皮书第六章
标题很朴素:Cryptographic Primitives。这章才是@Dusk_Foundation 隐私真正的底子
前面聊的共识、交易模型,其实都是盖在这层地基上的房子
我看出来一个很明显的规律:几乎每个零件都是"双轨配置"
哈希用Blake2b跑通用计算,另配一个Poseidon专门伺候零知识证明;签名用Schnorr应付日常,再上BLS做可聚合签名;连曲线都分两条,JubJub管一般运算,BLS12-381负责配对
我的判断是这不是堆料,是因为ZK友好和普通场景对哈希的要求压根不一样,硬凑一个会两头难受,所以干脆各备一套
最戳我的是隐身地址它不给你一个用到底的固定地址,而是基于Diffie-Hellman密钥交换,每笔交易现场生成一个一次性公钥
接收方只亮出public spend key,发送方拿随机数r算出一次性公钥把钱打过去,接收方再用自己的view key扫一遍交易,才认出"这笔是给我的",真要花出去还得动用secret spend key
看、收、花,三把钥匙各管一摊。我觉得这比"一个地址用到天荒地老"高明太多,链上没人能把你的多笔收款串成一条线
承诺方案用的是Pedersen:c = v·G + b·H,G和H是两个关系未知的生成元,能藏住金额,又没法事后赖账改成别的数
加密也分工具,ElGamal管非对称,Poseidon-SpongeWrap管对称
连Merkle树都不偷懒:通用结构用Blake2b算哈希,需要喂给ZK证明的结构一律换Poseidon,同一个思路贯彻到底
说实话看到这种程度的细致分工,我是有点意外的
大多数白皮书写到这一层就是一句"采用业界主流方案"带过#dusk $DUSK @Dusk
标题很朴素:Cryptographic Primitives。这章才是@Dusk_Foundation 隐私真正的底子
前面聊的共识、交易模型,其实都是盖在这层地基上的房子
我看出来一个很明显的规律:几乎每个零件都是"双轨配置"
哈希用Blake2b跑通用计算,另配一个Poseidon专门伺候零知识证明;签名用Schnorr应付日常,再上BLS做可聚合签名;连曲线都分两条,JubJub管一般运算,BLS12-381负责配对
我的判断是这不是堆料,是因为ZK友好和普通场景对哈希的要求压根不一样,硬凑一个会两头难受,所以干脆各备一套
最戳我的是隐身地址它不给你一个用到底的固定地址,而是基于Diffie-Hellman密钥交换,每笔交易现场生成一个一次性公钥
接收方只亮出public spend key,发送方拿随机数r算出一次性公钥把钱打过去,接收方再用自己的view key扫一遍交易,才认出"这笔是给我的",真要花出去还得动用secret spend key
看、收、花,三把钥匙各管一摊。我觉得这比"一个地址用到天荒地老"高明太多,链上没人能把你的多笔收款串成一条线
承诺方案用的是Pedersen:c = v·G + b·H,G和H是两个关系未知的生成元,能藏住金额,又没法事后赖账改成别的数
加密也分工具,ElGamal管非对称,Poseidon-SpongeWrap管对称
连Merkle树都不偷懒:通用结构用Blake2b算哈希,需要喂给ZK证明的结构一律换Poseidon,同一个思路贯彻到底
说实话看到这种程度的细致分工,我是有点意外的
大多数白皮书写到这一层就是一句"采用业界主流方案"带过#dusk $DUSK @Dusk