零知识 | CN-SEC 中文网

云安全

零知识证明的先进形式化验证：如何证明零知识内存

在关于零知识证明的先进形式化验证的系列文章中，我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。正如在公开报告（https://skynet.certik.com/projects/zkwa...

07月31日6 views评论

云安全

形式化验证是一个数学证明过程，用以证明系统的正确性，确保其在所有可能的条件下都完全符合预期运行。鉴于区块链技术的复杂性和高风险性，其中的缺陷可能导致重大的财务损失或隐私泄露。形式化验证超越了传统的测试...

04月30日73 views评论

安全闲碎

今天为大家推荐的论文是来自浙江大学NESA Lab投稿的，关于对抗性安卓恶意软件生成的论文Efficient Query-Based Attack against ML-Based Android M...

12月15日113 views评论

安全百科

前言如何在不说出秘密的情况下，让对方知道你已经知道了这个秘密？——隐私保护随着信息资本主义的兴起，人们更加注重隐私安全和数据的所有权。快速发展的web3.0切实的保证了参与者的隐私安全，让人们对互联网...

01月11日32 views评论

信息情报

美国国防高级研究计划局（DARPA）的SIEVE（加密验证与评估信息安全保障，全称为Securing Information for Encrypted Verification and Evalua...

11月17日92 views评论

安全新闻

在未经授权的一方访问公司内部网络后，LastPass已提醒用户注意安全事件。在8月25日发布的一份声明中，LastPass首席执行官Karim Toubba表示，在该软件公司的部分生产环境中检测到“异...

09月16日17 views评论

安全闲碎

零知识加密可以为云文件里的信息资产保驾护航。（云文件的存储是现代世界的奇迹之一。）将文件存储在基于云计算的数据中心，只要您有网络连接，你就可以随时随地查看它。而且让别人来运营数据中心意味着你不必担心远...

04月13日77 views评论