- 博客(3)
- 收藏
- 关注
RSS订阅原创 零知识证明之争：STARK还是SNARK？
zkSNARK（零知识可验证的非交互式证明）是另一种零知识证明系统，它的特点是在证明过程中是非交互式的，即证明者可以生成一个证明，而验证者可以在不与证明者交互的情况下验证该证明的正确性。比如，如果一个算法的运行时间是O(n²)，这表示它的运行时间随着输入规模n的增加，以n的平方倍数增长。这样的算法被认为是多项式时间复杂性的，通常被认为是高效的。zkSNARK和zkSTARK的证明复杂性都是多项式级别的，多项式时间复杂性的算法是zkSNARK和zkSTARK作为零知识证明系统的共同特点，但二者略有差异。
2023-10-15 18:42:35
354
原创 解锁密码学的奥秘
要解开这种锁，你不仅需要知道正确的数字，还要知道他们在这个多维空间中的位置, 由于组合的可能性近乎无穷，即使是拥有超强计算力的量子”魔法师”也难以破解这个数字组合，使得它在保障数据安全性上具有独特的优势。首先我们要理解什么是向量。在几何学和物理学中，向量通常用箭头来表示，箭头的长度表示向量的大小，箭头的方向表示向量的方向。例如，我们可以考虑一个五维向量空间，其中的向量可以表示为 (x1, x2, x3, x4, x5) 的形式，这个五维向量空间不容易在现实世界中直观地表示，因为它涉及到五个独立的数值分量。
2023-10-15 18:37:36
182
原创 以太坊的高架路：Layer 2 扩容技术的探索与对比
简单来说，如果把原始的以太坊1.0网络当成最初的国道 318，Layer 2解决方案（Optimistic Rollups, zk-Rollups等）相当于在上面架设高架公路，而以太坊2.0的分片则相当于扩建318国道增加车道，Plasma解决方案则相当于接入318的省道，而Sidechains则类似于另外的 316、317 等国道。zk-Rollup 的初期实现主要集中在特定的应用场景，如简单的资产转移，而不是复杂的智能合约交互。每隔一段时间，高架路上的交通情况会被汇总到城市主道上，作为一个“快照”。
2023-10-15 18:34:13
157
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人