我越是研究 @Dusk 的加密技術棧，就越覺得其下層的原語變得愈發有趣。
起初我以爲 Dusk 的隱私大多是圍繞零知識證明。
但後來我去看真正位於其下的內容。
BLS12-381 是一種配對友好的橢圓曲線，用於現代的證明系統。在 Dusk 中，它作爲零知識與簽名棧的一部分出現。
接着還有 JubJub——一種橢圓曲線，它在面向 SNARK 的場景中效率很高，並且常用於注重隱私的設計。
Schnorr 簽名用於身份認證與完整性校驗，爲 Dusk 在簽署與驗證協議操作方面奠定了基礎。
我還注意到 Poseidon。
它被設計爲能夠在零知識電路內部高效運行，可用於承諾（commitments）以及 Merkle 樹哈希。
$Dusk 還擁有 dusk-merkle：一種稀疏 Merkle 樹實現，可在大型數據集上實現高效的成員資格證明。
然後還有 PLONK。
PLONK 是用於構建零知識證明的證明系統。開發者可以定義可複用的電路，並生成可驗證於鏈上的簡潔證明（succinct proofs）。
所以它並不只是“Dusk 使用 ZK”。
橢圓曲線、簽名、哈希、Merkle 樹以及證明系統——這些都作爲棧中的不同部分協同工作。
我想，更有趣的正是這一點：值得去看。
不僅僅是隱私特性本身，而是究竟是什麼在其底層讓這種隱私成爲可能。
#DUSK #dusk @Dusk $DUSK
起初我以爲 Dusk 的隱私大多是圍繞零知識證明。
但後來我去看真正位於其下的內容。
BLS12-381 是一種配對友好的橢圓曲線，用於現代的證明系統。在 Dusk 中，它作爲零知識與簽名棧的一部分出現。
接着還有 JubJub——一種橢圓曲線，它在面向 SNARK 的場景中效率很高，並且常用於注重隱私的設計。
Schnorr 簽名用於身份認證與完整性校驗，爲 Dusk 在簽署與驗證協議操作方面奠定了基礎。
我還注意到 Poseidon。
它被設計爲能夠在零知識電路內部高效運行，可用於承諾（commitments）以及 Merkle 樹哈希。
$Dusk 還擁有 dusk-merkle：一種稀疏 Merkle 樹實現，可在大型數據集上實現高效的成員資格證明。
然後還有 PLONK。
PLONK 是用於構建零知識證明的證明系統。開發者可以定義可複用的電路，並生成可驗證於鏈上的簡潔證明（succinct proofs）。
所以它並不只是“Dusk 使用 ZK”。
橢圓曲線、簽名、哈希、Merkle 樹以及證明系統——這些都作爲棧中的不同部分協同工作。
我想，更有趣的正是這一點：值得去看。
不僅僅是隱私特性本身，而是究竟是什麼在其底層讓這種隱私成爲可能。
#DUSK #dusk @Dusk $DUSK
