很高兴，我们在2022年7月25日发布了OlaVM，一个EVM兼容的ZKVM方案。由于ZKEVM本身一直是个热门的赛道，所以OlaVM一经发布，就很荣幸的受到了行业内大佬们的一些关注。
在这里，我们首先非常感谢DairaHopwood大佬(也是Zcash协议的主要作者)针对OlaVM的设计提出的一些问题。其中，比较核心的一点是ECDSA和Schnorr签名算法里Hash的选择问题，具体的表述如下图所示：
DairaHopwood的意思可以简单理解为:SinsemillaHash的安全级别只有collision-resistant,因此不能当做一个randomoracle(RO)；而在ECDSA和Schnorr签名算法中，为了足够的安全，需要要求这个Hash可以当做randomoracle(RO)。为了能更好的理解，我们需要先了解一些概念。
1.cryptographichashfunction(CHF)的安全属性有哪些?
根据论文?CryptographicHash-FunctionBasics里的定义可知，CHF对应的安全属性有以下3类：
??preimage-resistance?—基本上对于所有预先指定输出，要找到任何散列到该输出的输入，在计算上是不可行的，例如，当给定任意未知输入的y时，要找到使?h(x')=y?的所有原像(preimage)x'。
新火科技旗下MPC自托管平台Sinohope宣布其Web3 Access功能已上线:据官方消息，新火科技旗下MPC自托管平台Sinohope宣布其Web3 Access功能已正式上线，DApp交易支持“自定义多人审批”功能。
Web3 Access功能支持企业或组织进行“自定义多人审批”，每个节点可添加多人进行审批，提升审批效率，用户可通过Google Play 、苹果App Store或 Sinohope 官网下载&更新Sinohope APP体验此功能。
据官方称，Sinohope通过采用MPC-CMP技术支持用户分布式管理私钥分片与协同签名，解决私钥单点风险，有效增加透明性和易用性。目前已支持Ethereum、Bitcoin、Avalanche、Cosmos、BNB Chain、Polygon、Arbitrum、Optimism、Near、Tron、Filecoin等主流公链。[2023/8/7 21:29:23]
??2nd-preimageresistance?—?要找到与任何指定输入具有相同输出的任何第二输入，在计算上是不可行的，例如，给定x，要找到一个第二原像x'=x，使?h(x')=?h(x)。
??collisionresistance?—要找到任意两个散列到相同输出的不同输入，在计算上是不可行的，例如，使h(x')=?h(x)。
需要注意的是：
非洲加密艺术家Osinachi将推出社交代币:金色财经报道，第一位在佳士得欧洲拍卖会展出的非洲加密艺术家Osinachi正在Socialstack上推出一种新的社交代币。据悉Socialstack正在推出新社交代币平台CommunityOS，以帮助扩大对该项目的认识，并为Osinachi粉丝建立一个社区。Osinachi还是Socialstack的首席创意官。今天发布的工具是一个套件的一部分，该套件提供“即插即用功能，为代币化社区提供动力”。Socialstack联合创始人兼首席执行官Andrew Berkowitz表示，今天开始到10月19日，伦敦佳士得展览的参与者可以在Osinachi的艺术作品前拍照，并在推特上分享，从而获得Osinachi的社交代币。[2021/10/14 20:29:47]
a.2nd-preimageresistance可以归约为collisionresistance，即collisionresistance满足，则2nd-preimageresistance必定满足。
b.?preimage-resistance不可以归约为collisionresistance，即collisionresistance满足，则preimageresistance未必满足。
2.什么是randomoracle(RO)？
randomoracle(RO)用以下模型来描述：
LLE智能合约已通过Beosin(成都链安）的安全审计:据官方消息，Beosin（成都链安）今日已完成LLE智能合约项目的安全审计服务。
猎豹金融生态系统（Leopard lending ecology）是在以太坊区块链上的智能协议，以该协议为中心建立货币服务市场，服务市场是基于资产借贷需求，以计算得出利率。资产的供应商直接与协议进行交互，从而赚取浮动利率，而无需等待协商利率或抵押品等条款。
创始人Willians表示：我们LLE智能合约的整体设计清晰，逻辑缜密，代码安全可靠，具备了区块链上顶级去中心化金融项目条件之一。
合约地址：0xa1521aA6FE752195418ddbADB5A0c331608416B1；
审计报告编号：202009222010。[2020/9/24]
?有一个黑盒子。盒子里住着一个侏儒，还有一本大书和一些骰子。
?我们可以向盒子里输入一些数据。
?给定侏儒一些事先没有看到的输入，他用骰子在一些常规空间中均匀且随机地生成一个新的输出。侏儒还会在书中写下输入和新生成的输出。
?如果给定侏儒一个已经看到的输入，他就用书来恢复他上次返回的输出，并再次返回。
简单来概括下RO的行为，假设输入为x：
??如果x之前输入过，则直接返回对应的H.
??如果x未曾输入过，则RO会在完全随机的在值域里生成一个由0,1组成的字符串。
观点：美国拉斯维加斯允许无现金，或为CasinoCoin等加密货币提供机会:作为应对Covid-19的一项措施，美国内华达州委员会（NGC）上周批准在拉斯维加斯进行无现金。一些观察人士将这一举措视为CasinoCoin等加密货币引入的机会。（Focusgn）[2020/6/30]
需要注意的是：
??这里的完全随机意味着，连RO自己都不知道最终会是一个什么值，它是没有规则可循的，这是和Hash的主要区别，任何Hash都是有自己的计算规则的。
但是在现实的世界中，实现一个真正的RO是很困难的；因此，我们需要为RO寻找一个潜在候选者，需要尽可能的使得输出看起来是随机的。Hash函数是一个不错的选择，一个安全的Hash函数需要满足preimage-resistance、2nd-preimageresistance、collisionresistance。一个可以当做RO的Hash是肯定要满足这三个属性的，但是满足这三个属性的Hash不一定就可以当做RO；它们之间是一种必要不充分关系。更多的细节可以参考Whatisthe"RandomOracleModel"andwhyisitcontroversial?
3.Hash在ECDSA和Schnorr签名算中的要求?
在论文OnthesecurityofECDSAwithadditivekeyderivationandpresignatures和OntheExactSecurityofSchnorr-TypeSignaturesintheRandomOracleModel中提到，ECDSA和Schnorr签名算法里的Hash函数都需要可以被认为是RO，才是安全的。根据前面的描述，则这个Hash需要满足CHF的所有安全属性preimage-resistance、2nd-preimageresistance、collisionresistance。
Nexus与SingularityNET合作 通过3D区块链技术探索人工智能:\t据Cryptoninjas消息，Nexus和SingularityNET今天宣布了一项合作，以探索区块链和人工智能技术的结合。SingularityNET正在创建基于区块链的分布式人工智能网络。这种新的合作关系可能会带来最安全、可升级、可受审查的区块链人工智能基础设施。对于SingularityNET，这种合作关系为其人工智能网络创建了可伸缩性、可访问性和安全性。这种关系也有助于两家公司实现各自强大技术的共同目标。对于Nexus来说，该合作关系为部署其3D区块链结构以及在其网络层面上探索AI应用程序提供了宝贵的用例。[2018/2/7]
4.关于Sinsemilla哈希函数?
Sinsemilla哈希函数是由DairaHopwood和SeanBowe?一起设计，底层依赖ECDLP(EllipticCurveDiscreteLogarithmProblem)。在固定长度的输入下，Sinsemilla哈希函数满足collisionresistance，不满足preimageresistant属性，原因可以参考DairaHopwood的回答。
根据Zcash协议说明书，设计Sinsemilla哈希函数的初衷是为了在零知识证明算法Halo2的执行过程中，充分利用Lookup-friendly的优势，来提高Halo2的执行效率；因此，Sinsemilla哈希函数是一个Lookup-friendly的哈希函数，它更适合用于承诺的计算和Merkletreeroot的计算。
5.总结
再次感谢DairaHopwood的指导，让我们对cryptographichashfunction?(CHF)的使用有了更深的认知。我们将继续广泛听取意见，在高效性和安全性方面对设计方案进行持续优化。
Sinsemilla哈希函数会仍然用于Olavm设计中的其他合适模块；签名部分的Hash函数，我们将会在安全的哈希函数中，择优选择，比如Poseidon哈希函数、ReinforcedConcrete哈希函数等。
参考
1.OlaVM:https://ethresear.ch/t/whitepaper-olavm-an-ethereum-compatible-zkvm/13144
2.DairaHopwood:https://twitter.com/feministPLT
3.Zcash协议:https://zips.z.cash/protocol/protocol.pdf
4.ECDSA:https://en.wikipedia.org/wiki/Elliptic_Curve_Digital_Signature_Algorithm
5.Schnorr:https://en.wikipedia.org/wiki/Schnorr_signature
6.SinsemillaHash:https://zips.z.cash/protocol/protocol.pdf
7.CryptographicHash-FunctionBasics:
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=C7364E9082B2726A10E1C712B476C82A?doi=10.1.1.3.6200&rep=rep1&type=pdf
8.randomoracle(RO):https://en.wikipedia.org/wiki/Random_oracle
9.Whatisthe"RandomOracleModel"andwhyisitcontroversial:
https://crypto.stackexchange.com/questions/879/what-is-the-random-oracle-model-and-why-is-it-controversial
10.OnthesecurityofECDSAwithadditivekeyderivationandpresignatures:
https://www.shoup.net/papers/2021-1330.pdf
11.OntheExactSecurityofSchnorr-TypeSignaturesintheRandomOracleMode:
https://eprint.iacr.org/2012/029.pdf
12.ECDLP(EllipticCurveDiscreteLogarithmProblem):
https://link.springer.com/referenceworkentry/10.1007/978-1-4419-5906-5_246
13.回答:https://twitter.com/feministPLT/status/1551856467145269249
14.Poseidon:https://eprint.iacr.org/2019/458.pdf
15.ReinforcedConcrete:https://eprint.iacr.org/2021/1038.pdf
关于我们
Sin7y成立于2021年，由顶尖的区块链开发者组成。我们既是项目孵化器也是区块链技术研究团队，探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。
微信公众号：Sin7y
GitHub：Sin7y
Twitter：@Sin7y_Labs
Medium：Sin7y
Mirror：Sin7y
HackMD：Sin7y
HackerNoon：Sin7y
Email：contact@sin7y.org
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。