很高兴，我们在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)。为了能更好的理解，我们需要先了解一些概念。
dYdX关于启动550万美元补助计划的提案投票已获通过:7月18日消息，dYdX关于启动550万美元补助计划“dYdX Grants Program v1.5”的提案投票已获通过，dYdX将在V4版本发布前6个月内启动该计划，并把550万美元的DYDX从社区资金地址转移到dYdX赠款多重签名地址，DYDX的数量将在提交DIP时根据价格确定。[2022/7/18 2:20:13]
1.cryptographichashfunction(CHF)的安全属性有哪些?
根据论文CryptographicHash-FunctionBasics里的定义可知，CHF对应的安全属性有以下3类：
?preimage-resistance—基本上对于所有预先指定输出，要找到任何散列到该输出的输入，在计算上是不可行的，例如，当给定任意未知输入的y时，要找到使h(x')=y的所有原像(preimage)x'。
关于“在Polkadot上注册Shell平行链”的第121号动议已开启投票:Polkadot在推特上表示，第121号动议现已开启投票。该动议提出在Polkadot上注册Shell平行链，以确保区块生产、包含和最终完成。Shell平行链的功能极其有限，它甚至没有帐户的概念。Shell只接受来自中继链的消息来升级自身。在争议代码激活后，Shell最终可以通过进行另一次公投升级为Statemint。如果委员会通过，该动议将进行公投。[2021/10/29 6:20:18]
?2nd-preimageresistance—要找到与任何指定输入具有相同输出的任何第二输入，在计算上是不可行的，例如，给定x，要找到一个第二原像x'=x，使h(x')=h(x)。
?collisionresistance—要找到任意两个散列到相同输出的不同输入，在计算上是不可行的，例如，使h(x')=h(x)。
需要注意的是：
印度央行行长：印度政府很快就会发布关于加密货币的决定:印度央行行长沙克蒂坎塔·达斯表示：和政府在加密货币问题上没有意见分歧。印度政府很快就会发布关于加密货币的决定。[2021/3/25 19:16:49]
a.2nd-preimageresistance可以归约为collisionresistance，即collisionresistance满足，则2nd-preimageresistance必定满足。
b.preimage-resistance不可以归约为collisionresistance，即collisionresistance满足，则preimageresistance未必满足。
2.什么是randomoracle(RO)？
randomoracle(RO)用以下模型来描述：
?有一个黑盒子。盒子里住着一个侏儒，还有一本大书和一些骰子。
?我们可以向盒子里输入一些数据。
动态 | 日本加密货币商业协会发布“关于证券代币法律法规的提案书”:据Crypto.Watch消息，10月2日，日本加密货币商业协会（JCBA）发布“关于证券代币法律法规的提案书”。 JCBA已经成立了一个ICO / STO研究小组，以研究与ICO和证券代币相关的法律法规形式，并一直在与各方合作以研究证券代币法规的理想方式。[2019/10/3]
?给定侏儒一些事先没有看到的输入，他用骰子在一些常规空间中均匀且随机地生成一个新的输出。侏儒还会在书中写下输入和新生成的输出。
?如果给定侏儒一个已经看到的输入，他就用书来恢复他上次返回的输出，并再次返回。
简单来概括下RO的行为，假设输入为x：
?如果x之前输入过，则直接返回对应的H.
?如果x未曾输入过，则RO会在完全随机的在值域里生成一个由0,1组成的字符串。
需要注意的是：
?这里的完全随机意味着，连RO自己都不知道最终会是一个什么值，它是没有规则可循的，这是和Hash的主要区别，任何Hash都是有自己的计算规则的。
币安创始人回应关于币安不再为用户提供服务事件:在今天下午，币安宣布将不为大陆用户提供服务，此消息一出导致币圈议论纷纷，而币安创始人赵长鹏也发布朋友圈回应下午币安停止对中国用户服务事件，赵长鹏在朋友圈中称：“不用猜测，没有消息。是嗅觉，也是尊重！”[2018/2/1]
但是在现实的世界中，实现一个真正的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。
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哈希函数等。
关于我们
Sin7y成立于2021年，由顶尖的区块链开发者组成。我们既是项目孵化器也是区块链技术研究团队，探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。
微信公众号：Sin7Y
GitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。