XiaoMi-AI文件搜索系统
World File Search SystemZKP
可扩展的零知识证明，用于验证区块链应用中的加密哈希在Oleksandr Kuznetsov 1,2,3，Anton Yezhov 4，vladyslav
抽象的零知识证明（ZKP）已成为解决现代区块链系统中可扩展性挑战的有前途解决方案。本研究提出了一种生成和验证ZKP的方法，以确保加密散布的计算完整性，特别是专门针对SHA-256算法。通过利用FLONKY2框架，该框架通过FRI承诺方案实现了PLONK协议，我们证明了方法对从近区块链中的随机数据和真实数据块的方法的效率和可扩展性。实验结果表明，不同数据尺寸和类型的性能一致，证明生成和验证所需的时间保持在可接受的限制范围内。即使对于拥有大量交易的现实世界数据块，生成的电路和证明也可以保持可管理的大小。所提出的方法有助于开发安全且值得信赖的区块链系统，可以在不揭示基础数据的情况下验证计算的完整性。需要进一步的研究来评估该方法对其他加密原始原始物的适用性，并在更复杂的现实世界情景中评估其性能。关键字1零知识证明，区块链，可扩展性，加密哈希1.简介
ETSI EN 319 102-1 V1.4.1（2024-06）
本文档还包括对具有选择性披露功能的加密方案的量词后计算攻击的分析。更具体地说，可以使用后量子后安全的加密算法签名的Hashed Hashed盐属性格式，例如ISO MDL MSO和SD-JWT。也可以使用后量子后安全签名来确保原子（Q）EAA格式。在后Quantum世界中具有以下特征的多消息签名方案：攻击者可以使用量子计算机从公共密钥中揭示签名者的私钥，此后伪造的证明和签名，但攻击者无法打破数据的符号，这意味着符合数据的信息，这是一个符合信息的信息。关于可编程的ZKP方案，如果是否安全，则取决于算术电路证明的设计，这意味着有些ZK-SNARK是Quantum后安全的，而其他ZK-SNARK却没有。
弹性MSM-密码学EPRINT存档-IACR
摘要。零知识证明（ZKP）是一个加密原始的原始性，使卖者能够说服一个陈述是真实的，而无需透露任何其他信息以外的任何其他信息。由于其强大的功能，其最实用的类型，称为零知识简洁的非交互性知识论据（ZKSNARK），已被广泛地部署在各种隐私性的应用程序中，例如加密货币和可验证的计算。尽管最新的zksnarks对于verifier来说是非常有效的，但供个人的计算开销仍然是数量级，而无法在许多应用中保证使用。该开销源于几个耗时的操作，包括大规模矩阵矢量乘法（MUL），数字理论变换（NTT），尤其是构成最大比例的多尺度乘法（MSM）。因此，需要进一步提高效率。
Crittografia 后量子与量子
1. 简介 4 2. La minaccia 量子 5 2.1。 Crittografia simmetrica 和 l'algoritmo di Grover 5 2.2。 Crittografia asimmetrica e l'algoritmo di Shor 6 3. Crittografia 后量子 7 3.1。后量子算法理论 7 3.1.1。网状错误学习 (LWE) 7 3.1.2。错误更正抄本 8 3.1.3。哈希函数 9 3.1.4。零知识证明（ZKP）10 3.1.5。 Isogenie su 曲线 ellittiche 10 3.1.6。多元多项式方程系统 10 3.1.7。 MPC 头脑 11 3.2。 NIST 11 标准化过程 3.3。后量子技术 11 4. 量子批判 13 5. 国际生活转变 14 5.1. La strategia statunitense 14 5.2。 Gli sviluppi asiatici 14 5.3。欧洲联盟现状 15 6. 结论 17 参考书目 18
![arxiv：2402.15293v4 [cs.cr] 2024年7月11日](/simg/7\74dfa6e9012f3c3ffdd3e4a839f1729b813dcc03.webp)
arxiv：2402.15293v4 [cs.cr] 2024年7月11日
零知识证明（ZKP）已经从成为一个口头上的概念而发展，该概念为实用，现实世界中的实现提供了隐私和验证，并以狡猾的（成功的非互动性知识论证）作为最重要的创新之一。先前的工作主要集中在为其设计更有效的Snark系统和保护安全证明。许多人认为Snark是“仅数学”，这意味着被证明是正确且安全的是在实践中是正确的。相比之下，本文着重于评估现实生活中Snark实施的端到端安全性。我们首先使用系统模型建立基金会，并建立威胁模型并定义使用SNARKS的系统的对抗性角色。我们的研究 - 对SNARK实施中的141个实际漏洞进行了广泛的分析，提供了详细的分类法，以帮助开发人员和安全研究人员了解采用Snarks的系统中的安全威胁。最后，我们评估了现有的防御机制，并提供了推荐，以增强基于SNARK的系统的安全性，为将来的实施铺平了道路。
基于多层区块链的车辆网络上的安全数据共享
车辆互联网（IOV）已成为桥接车辆，人员和基础设施的必不可少的技术，并有望使我们的城市更加聪明，更具联系。它使车辆能够将车辆数据（例如GPS，传感器和制动器）与附近的不同实体交换。但是，在空中共享这些车辆数据引起了人们对身份隐私泄漏的担忧。此外，现有的IOV系统中采用的集中式体系结构在单一失败和恶意攻击方面脆弱。随着区块链技术的启发，由于其防篡改，可追溯性和权力下放化的特征，有机会解决这些问题。在本文中，我们提出了一个基于区块链的保护隐私的车辆数据共享框架。特别是，我们使用零知识证明（ZKP）技术设计了一种匿名和可审计的数据共享方案，以保护车辆的身份隐私，同时保留对信任机构（TAS）的车辆数据可审核性。响应汽车的高机动性，我们设计了一种有效的多层次协议，以降低区块链通信成本而不损害区块链安全性。我们实施了框架的原型，并在其上进行了广泛的实验和模拟。评估和分析结果表明，我们的框架不仅可以
origo：通过恒定通信证明敏感数据的出处
运输层安全性（TLS）是为了保护客户端服务器通信的基础。但是，它不会将完整性保证扩展到数据真实性的第三方验证。如果客户端要介绍从服务器获得的数据，则无法说服任何其他方都没有篡改数据。tls oracles确保数据真实性超出了客户端服务器TLS连接，以便客户可以从服务器获得数据并确保没有服务器端修改的任何第三方的出处。通常，TLS Oracle在TLS会话中涉及第三方，验证者，以验证客户获得的数据是否已准确。TLS Oracles的现有协议依赖交互式协议，是通信繁重的。我们介绍Origo，这是一个不断通信的TLS Oracle。与先前的工作类似，Origo在TLS会话中介绍了第三方，并提供了一项协议，以确保TLS会话中传输的数据的真实性，而无需没收其机密性。与先前的工作相比，我们依赖于特定于TLS 1.3的复杂详细信息，这使我们能够在零知识证明（ZKP）内证明正确的密钥推导，身份验证和加密。与TLS 1.3的优化相结合，可以在在线阶段进行不断通信的有效协议。我们的工作将在线沟通减少375倍，在线运行时间最多可将在线运行时间降低4。6×，与先前的工作相比。
帝人将投资 Circularise BV 并采用其供应链......
日本东京，2024 年 12 月 3 日：帝人株式会社今天宣布，将投资总部位于荷兰海牙的 Circularise BV 公司，该公司使用区块链技术开发产品可追溯性管理系统。帝人还将实施 Circularise 的软件，以提高其全球供应链的可见性。Circularise 专有的“智能提问”(*) 解决方案采用零知识证明 (ZKP) 技术，既提供匿名性又提供透明度，以确保高度可靠的产品可追溯性系统。帝人将利用 Circularise 的数字可追溯性平台来提高其供应链的透明度和可靠性。该平台将使公司能够采购对环境影响较小的原材料，从而有助于开发新的可持续产品和服务。帝人的目标是促进整个供应链中资源的有效利用。这项举措将帮助该公司实现到 2050 年实现碳中和的目标。Circularise 的数字可追溯性平台允许组织跟踪产品或材料在整个供应链中直至原产地的历史、位置、成分和应用。它将为帝人提供来自供应商的可靠、经过验证的与其产品相关的碳排放信息，以支持法规遵从和审计。帝人致力于优先考虑地球健康、保护环境和支持循环社会——一直在积极寻找拥有数字可追溯性平台的合作伙伴，以引领行业实现循环经济。另一方面，Circularise 一直在寻找合作伙伴来推动其数字可追溯性平台的采用，该平台可提高全球供应链的透明度和可靠性。“我们相信，与帝人一起，我们可以为循环经济的行业领先典范树立标杆，为市场提供可扩展且快速的解决方案，”Circularise 联合创始人 Jordi de Vos 表示。“我们很荣幸欢迎帝人集团成为我们的战略投资者。”此次合作体现了我们对透明、可追溯和可持续供应链的共同愿景。我们期待此次合作能进一步推动我们的使命并加强我们的市场影响力。”帝人环境解决方案部门总经理 Ton de Weijer 表示：“作为高性能材料领域的领先公司，帝人正积极加大努力，实现循环利用。对 Circularise 的投资将使我们能够与可追溯性领域的领导者合作，并创造一个支持我们迈出正确步伐的环境。”
CBDC解决方案的隐私增强技术
在以金融交易快速数字化和现金使用下降为标志的时代中，中央银行数字货币（CBDC）已成为研发的重点。向数字支付的这种转变伴随着区块链，加密货币和稳定币的扩散，对金融景观构成了机会和威胁。作为中央银行，包括国际定居银行等实体，从事CBDC的广泛研究和开发，必须解决与这些进步相关的不断升级的隐私问题。隐私（广泛定义）涵盖了个人和实体控制其个人信息的权利，以确保其被收集，使用和共享，以尊重其自主权和保护不需要的披露或剥削的方式。在CBDC中存在的隐私问题是多方面的，涉及对最终用户和商人的担忧。我们数字世界的相互联系的性质导致了更多的个人信息收集，这对于个人和企业管理隐私风险并防止未经授权的访问和数据滥用至关重要。中央银行负责引入CBDC，在平衡隐私与数字金融景观的合规要求方面面临挑战。然而，随着数字环境的发展，随着敏感数据的扩散，这些法律正在发展以应对新兴挑战。CBDC的设计师必须采取一种主动的方法，从一开始就优先考虑用户数据保护权。现有的隐私法律法规，例如《通用数据保护法规》（欧洲议会和2016年欧盟理事会）和《个人信息保护与电子文件法》（2000年），为维护个人数据提供了一个基本框架。这涉及处理敏感的用户数据，并需要采用隐私设计方法，包括集成隐私增强技术（PET）并将隐私注意事项嵌入体系结构中，以确保用户信息的保护和机密性。这种方法不仅可以确保遵守现有法规，还可以预期并解决新兴的问题。最近，宠物已成为解决与CBDC相关的隐私问题的关键手段。使用宠物设计的CBDC可以最大程度地减少个人数据曝光，并最大程度地提高数据完整性和机密性。虽然对宠物的共同定义尚无共识，但在本文中，我们研究了一套多种技术，这些技术保留了交易的机密性，并减轻了增加数据收集和网络威胁所带来的风险。我们在第2节中进一步对CBDC的候选隐私解决方案进行了分类。随着中央银行探索这些宠物在CBDC系统设计中的整合，了解这种技术进步的含义和好处变得至关重要。适用于数字支付的潜在宠物是广泛的，涵盖了加密，统计和程序技术。2021）已实施零知识证明（ZKP）（Ben-Sasson等人纸张的其余部分如下组织。ASROW和SAMONAS（2021）和英格兰银行（2023）总结了现有的宠物，这些宠物有可能用于CBDC系统的设计。区块链行业已经实施了许多密码宠物技术，以保护发件人，接收器和交易金额的机密性。例如，Monero（van（Saberhagen 2013）已实施了由环签名（Rivest，Shamir和Tauman 2001）和Pedersen承诺（Pedersen 1992）; Zcash（Hopwood等人2018）提供交易机密性；瑞士国家银行和国际定居银行（2023）探索了CBDC设计中盲人签名的可行性（Chaum 1983）。这项研究的主要询问重点是在CBDC设计框架内使用宠物来保护消费者的个人数据，同时解决监管合规性的必要性。因此，本文介绍了CBDC设计范式，以探索在提供高水平隐私的尖端宠物的使用。该系统的目的是使消费者在CBDC系统中控制其个人数据，在用户隐私期望与有关反货币洗涤（AML）和反恐融资的监管框架需求之间取得了微妙的平衡。我们首先提出了可以应用于数字货币的宠物的全面和系统描述。我们对每个组件进行了深入的隐私目标分析，然后对宠物在每个组件的设计中可能整合进行研究。然后，我们公布了一个以隐私为中心的CBDC设计框架，包括关键组件，例如用户入门，身份和访问管理，交易处理，监管合规性，数据分析和数字钱包。此外，我们确定并解决与将宠物纳入提议的CBDC设计相关的固有挑战。第2节简要总结了现有的宠物技术