随着数字资产和区块链技术的快速发展，数字隐私保护和安全性成为了越来越受关注的话题。在这个背景下，一种名为"零知识证明"的技术正在逐渐崭露头角。
零知识证明技术可以在不泄露任何信息的情况下证明某些事情的真实性，被广泛应用于保护隐私和安全性。其中，基于零知识证明技术的zk-SNARK近期备受瞩目，成为数字资产和区块链技术领域的热门话题，但有一些安全问题却往往被我们忽视。
Beosin将陆续推出zk零知识证明安全研究，第一篇，本文将深入探讨zk-SNARK的背景，深度剖析零知识证明zk-SNARK漏洞：输入假名漏洞是如何被挖掘出来的？
最后使用刚伪造的attackHash：
Beosin：ULME代币项目遭受黑客攻击事件简析:金色财经报道，10月25日，据Beosin EagleEye 安全预警与监控平台检测显示，ULME代币项目被黑客攻击，目前造成50646 BUSD损失，黑客首先利用闪电贷借出BUSD，由于用户前面给ULME合约授权，攻击者遍历了对合约进行授权的地址，然后批量转出已授权用户的BUSD到合约中,提高价格ULME价格，然后黑客卖掉之前闪电贷借出的ULME，赚取BUSD，归还闪电贷获利离场。Beosin安全团队建议用户用户取消BUSD对ULME合约的授权并及时转移资金减少损失。[2022/10/25 16:38:21]
21888242871839275222246405745257275088548364400416034343698204186575808495694，同样验证通过！即同一份proof，可以被多次验证通过，即可造成双花攻击。
Beosin与SUSS NiFT、NUS AIDF等共同成立“区块链生态安全联盟”:金色财经报道，9月24日，Web3安全公司Beosin宣布与SUSS NiFT、NUS AIDF、新加坡区块链协会、Fomo Pay、Coin Hako、Onchain Custodian、Paritybit、Semisand等在新加坡联合成立“区块链生态安全联盟”。未来，联盟成员将在区块链生态进行紧密合作，通过联盟整合区块链安全领域的技术创新，探索和建立区块链安全生态体系，促进区块链安全领域产学研合作和科技成果转化，营造良好的产业发展环境，推动区块链安全产业的发展。[2022/9/25 7:19:44]
此外，由于本文使用ALT_BN128曲线进行复现，因此共计可以生成5个不同参数通过验证：
4.修复方案
Semaphore?项目已经针对该漏洞进行了修复，具体修复代码如下：
图源：https://github.com/semaphore-protocol/semaphore/blob/0cb0ef3514bc35890331379fd16c7be071ada4f6/packages/contracts/contracts/base/SemaphoreVerifier.sol#L42
图源：https://github.com/semaphore-protocol/semaphore/blob/0cb0ef3514bc35890331379fd16c7be071ada4f6/packages/contracts/contracts/base/Pairing.sol#L94
但是该漏洞属于实现上的通用漏洞，经过我们Beosin安全团队的研究发现，众多知名的零知识证明算法组件和DApp项目都受到该漏洞的影响，绝大部分后续进行了及时修复。以下列举出部分项目方的修复方案：
ethsnarks：
图源?https://github.com/HarryR/ethsnarks/commit/34a3bfb1b0869e1063cc5976728180409cf7ee96
snarkjs：
图源：https://github.com/iden3/snarkjs/commit/25dc1fc6e311f47ba5fa5378bfcc383f15ec74f4
heiswap-dapp：
图源：https://github.com/kendricktan/heiswap-dapp/commit/de022ffc9ffdfa4e6d9a7b51dc555728e25e9ca5#diff-a818b8dfd8f87dea043ed78d2e7c97ed0cda1ca9aed69f9267e520041a037bd5
EYBlockchain：
图源：https://github.com/EYBlockchain/nightfall/pull/96/files
此外，还有部分项目未能及时修复，Beosin安全团队已与项目方取得联系，正在积极协助修复。
针对此漏洞，Beosin安全团队提醒zk项目方，在进行proof验证时，应充分考虑算法设计在实际实现时，由于代码语言属性导致的安全风险。同时，强烈建议项目方在项目上线之前，寻求专业的安全审计公司进行充分的安全审计，确保项目安全。
经Odaily星球日报不完全统计,?5月1日-5月7日公布的海内外区块链融资事件共20起,较上周数据有大幅减少,已披露融资总额约为8790万美元,较上周数据有明显下降.
1900/1/1 0:00:00作者：独角兽挖掘机 本文综合自律动、Biteye等。4月28日,Web3社交协议CyberConnect宣布推出原生TokenCYBER,并于5月18日于CoinList启动公开发行.
1900/1/1 0:00:00Crypto公司开始将自己与体育赞助联系起来,希望他们的名字出现在球队的球衣上或场边,从而带来更多的品牌知名度,并最终吸引新用户。以下是这些合作伙伴关系迄今为止的进展情况.
1900/1/1 0:00:00撰文：孟铉济,FoxTech首席科学家；康水跃,FoxTechCEO 前言 Layer1作为一种分布式系统,为了达成共识需要高昂的通讯代价,并且大量的计算也会消耗昂贵的gas.
1900/1/1 0:00:00来源：量子位 随便一张照片,就可生成3D头像。而且光线真实,任意角度可调。这是苹果的最新黑科技生成框架FaceLit。 正如其名,FaceLit的特色就是可以将人脸“点亮”.
1900/1/1 0:00:00近期,Bitget进行了一项关于人口年龄层变化与不同世代周期,对于加密资产持有率发展进程的研究.
1900/1/1 0:00:00
宇宙链
;</p>
<p> Beosin：sDAO项目遭受攻击事件简析:金色财经报道，根据区块链安全审计公司Beosin旗下Beosin?EagleEye 安全风险监控、预警与阻断平台监测显示，BNB链上的sDAO项目遭受漏洞攻击，Beosin分析发现由于sDAO合约的业务逻辑错误导致，getReward函数是根据合约拥有的LP代币和用户添加的LP代币作为参数来计算的，计算的奖励与用户添加LP代币数量正相关，与合约拥有总LP代币数量负相关，但合约提供了一个withdrawTeam的方法，可以将合约拥有的BNB以及指定代币全部发送给合约指定地址，该函数任何人都可调用。而本次攻击者向其中添加了LP代币之后，调用withdrawTeam函数将LP代币全部发送给了指定地址，并立刻又向合约转了一个极小数量的LP代币，导致攻击者在随后调用getReward获取奖励的时候，使用的合约拥有总LP代币数量是一个极小的值，使得奖励异常放大。最终攻击者通过该漏洞获得的奖励兑换为13662枚BUSD离场。Beosin Trace追踪发现被盗金额仍在攻击者账户，将持续关注资金走向。[2022/11/21 7:53:09]</p>
<p> 该电路中有两个输入信号a和b，一个输出信号c，并且c的值是a和b相乘的结果</p>
<p> Beosin：10月区块链生态安全事件损失总金额约9亿8104万美元:金色财经报道，据 Beosin EagleEye 安全预警与监控平台监测显示，2022 年 10 月，各类安全事件数量和涉及金额较 9 月大幅上升。10 月发生较典型安全事件超 25 起，其中攻击类安全事件损失总金额约 9.8104 亿美元，约为 9 月损失金额的 5.97 倍。10 月为 2022 年以来区块链领域损失金额最高的一个月，有 60% 的攻击事件来自合约漏洞利用。[2022/10/31 12:01:06]</p>
<p> <b>3</p>
<p> 此时，使用originalHash验证通过：</p>
<p> <img alt=)