很高兴，我们在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)。为了能更好的理解，我们需要先了解一些概念。
声音 | 德国总理：德国科研体系将特别研究关于区块链发展的建议:据新华网报道，德国研究与创新专家委员会27日向德国政府提交新一期年度报告，提出要加强对科研创新的财政支持，推动区块链和人工智能等技术发展。报告说，应推动区块链技术发展，要推出《区块链战略》，加强公众对这一技术及应用的了解和信心。德国总理默克尔当天在接受专家组递交的报告时表示，德国科研体系必须要与时俱进，将特别研究关于区块链发展的建议。德国研究与创新专家委员会是德国政府设立的由资深专家学者组成的智囊团队，每年向政府提供评估报告。[2019/2/28]
1.cryptographichashfunction(CHF)的安全属性有哪些?
根据论文CryptographicHash-FunctionBasics里的定义可知，CHF对应的安全属性有以下3类：
?preimage-resistance—基本上对于所有预先指定输出，要找到任何散列到该输出的输入，在计算上是不可行的，例如，当给定任意未知输入的y时，要找到使h(x')=y的所有原像(preimage)x'。
gate关于完成为BOT空投BOE以及开通交易时间的公告:gate.io发布公告称，已经为平台所有BOT用户按照1：1空投BOE快照，并将会在2018年6月1日14：00（下午2点）重新开启BOT交易，开通交易后的BOT将无法再次获得空投，市场价格可能会出现剧烈波动。[2018/6/1]
?2nd-preimageresistance—要找到与任何指定输入具有相同输出的任何第二输入，在计算上是不可行的，例如，给定x，要找到一个第二原像x'=x，使h(x')=h(x)。
?collisionresistance—要找到任意两个散列到相同输出的不同输入，在计算上是不可行的，例如，使h(x')=h(x)。
需要注意的是：
a.2nd-preimageresistance可以归约为collisionresistance，即collisionresistance满足，则2nd-preimageresistance必定满足。
OKEx关于EOS主网上线暂停充值和提现的公告:OKEx今日发布公告，由于EOS将在北京时间6月2日06:59:59从以太坊网络切换到EOS主网，OKEx在保证用户资金安全的同时配合EOS主网切换，因此在主网切换前24小时OKEx暂停EOS充值和提现，交易功能不受影响，具体时间安排如下：北京时间本周四5月31日18:00:00，暂停EOS充值和提现，待主网上线并稳定运行以后OKEx将开放EOS的充值和提现，届时另行公告通知。EOS暂停充值和提现期间请不要再进行EOS充值。充值和提现暂停期间账户内各业务之间（币币账户、合约账户、法币账户）划转不受影响，合约账户如需追加保证金，可以通过“币币交易”或者“法币交易”兑换EOS然后划转至“合约账户”来追加保证金。[2018/5/28]
b.preimage-resistance不可以归约为collisionresistance，即collisionresistance满足，则preimageresistance未必满足。
英格兰银行发行关于央行数字货币的工作文件:5月18日，英国央行发布了一份员工工作报告，列出了央行数字货币(CBDCs)可能存在的风险和金融稳定问题的各种情况，这篇论文构建了三种CBDC模型。[2018/5/22]
2.什么是randomoracle(RO)？
randomoracle(RO)用以下模型来描述：
?有一个黑盒子。盒子里住着一个侏儒，还有一本大书和一些骰子。
?我们可以向盒子里输入一些数据。
?给定侏儒一些事先没有看到的输入，他用骰子在一些常规空间中均匀且随机地生成一个新的输出。侏儒还会在书中写下输入和新生成的输出。
?如果给定侏儒一个已经看到的输入，他就用书来恢复他上次返回的输出，并再次返回。
简单来概括下RO的行为，假设输入为x：
?如果x之前输入过，则直接返回对应的H.
何玺研读周小川关于数字货币讲话：区块链创业者不要踩4条红线:资深媒体评论人，酷科技创始人何玺研读了周小川关于数字货币的讲话，提醒区块链创业者要注意：1.虚拟资产交易、兑换方面要特别注意；2.钻政策空子的区块链技术应用；3.影响金融稳定、与现行金融秩序相冲突的区块链创新；4.容易搞出“事情”的非可控创新。[2018/3/10]
?如果x未曾输入过，则RO会在完全随机的在值域里生成一个由0,1组成的字符串。
需要注意的是：
?这里的完全随机意味着，连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。
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。