在关于零知识证明的先进形式化验证的系列文章中,我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。正如在公开报告(https://skynet.certik.com/projects/zkwa...
零知识证明区块链的先进形式化验证
形式化验证是一个数学证明过程,用以证明系统的正确性,确保其在所有可能的条件下都完全符合预期运行。鉴于区块链技术的复杂性和高风险性,其中的缺陷可能导致重大的财务损失或隐私泄露。形式化验证超越了传统的测试...
G.O.S.S.I.P 阅读推荐 2023-12-15 AdvDroidZero,零知识场景下的对抗性安卓恶意软件生成框架
今天为大家推荐的论文是来自浙江大学NESA Lab投稿的,关于对抗性安卓恶意软件生成的论文Efficient Query-Based Attack against ML-Based Android M...
区块链零知识证明基础
前言如何在不说出秘密的情况下,让对方知道你已经知道了这个秘密?——隐私保护随着信息资本主义的兴起,人们更加注重隐私安全和数据的所有权。快速发展的web3.0切实的保证了参与者的隐私安全,让人们对互联网...
美国态势感知之SIEVE项目
美国国防高级研究计划局(DARPA)的SIEVE(加密验证与评估信息安全保障,全称为Securing Information for Encrypted Verification and Evalua...
攻击者窃取源代码和技术信息后,LastPass已提醒用户注意安全事件
在未经授权的一方访问公司内部网络后,LastPass已提醒用户注意安全事件。在8月25日发布的一份声明中,LastPass首席执行官Karim Toubba表示,在该软件公司的部分生产环境中检测到“异...
海外 | 保卫云文件的三种加密方法
零知识加密可以为云文件里的信息资产保驾护航。(云文件的存储是现代世界的奇迹之一。)将文件存储在基于云计算的数据中心,只要您有网络连接,你就可以随时随地查看它。而且让别人来运营数据中心意味着你不必担心远...