FX168财经网_全球视野外汇黄金加密货币NFT资讯网_关键字搜索-FX168

全球数字财富领导者

财富汇｜美股投研｜客户端｜旧版｜｜

FX168 全球视野中文财经

登录 / 注册

zk概念潜力币种分析？
go
ledge Succinct Non-Interactive Argument of Knowledge），能够以不可追溯的方式将 ETH 以及 ERC20 Token（目前支持 DAI，cDAI，USDC，USDT，WBTC）发送到任何地址。也正是由于 zk-SNARK 技术的支持，使得 Tornado Cash 成为了黑客眼中可靠的混币洗钱工具，攻击事件发生后，大部分的黑客所得资产最终都转移到了 Tornado Cash。值得一提的是，此前在 OFAC 制裁事件中被抓的 Tornado Cash 核心开发者 Alexey Pertsev 将于 2 月 20 日结束关押。双重利好下TORN已在短时内拉升较大涨幅。 Celer Network（CELR）（24H + 10.22%）作为区块链互操作协议，降低用户多链 DeFi 操作的费用也一直是 Celer Network 的研究方向。2022 年 4 月，Celer 宣布正式推出基于 StarkWare StarkEx 构建的 Layer2.Finance ZK 版本。Layer2.Finance 构建了一个类似「DeFi 公共交通系统」的创新方案，让用户能够以低廉的手续费访问所有现有的 DeFi 协议。 DUSK Network（DUSK）（24H + 13.6%） Dusk Network 是一个 Layer 1 区块链协议，能够为满足业务合规性标准的隐私保护智能合约提供支持，该协议使用名为「PlonKup」的 ZKP 系统以更低的成本保护数据。利用零知识（ZK）技术中的 PLONK，Duk Network 上的所有交易的保密性都将受益。 Immutable X（IMX）（24H + 6.24%） Immutable X 是以太坊上适用于 NFT 的 Layer 2 扩容解决方案。该网络为铸造和交易 NFT 提供快速交易确认，且燃料费接近于零。Immutable X 的共享全球 NFT 订单簿可有效地提高 NFT 的流动性，并增加其交易量。NFT 可在任何基于 Immutable X 的市场上进行买卖。借助 ZK-rollup 技术，ImmutableX 为各个链游生态系统提供可扩展的高响应速度基础设施。一个人的加密道路总是那样坎坷。你需要加入一个由一群志同道合的人组成的队伍。期待你的加入。公粽耗;crypto大表哥来源：金色财经
金色财经2023-02-17
金色早报 | 加密做市商GSR再次裁员至少5%
go
密货币，从而创造统一的客户体验。通过Interactive Brokers Hong Kong 进行的加密货币交易由OSL Digital Securities提供支持，交易佣金仅为交易价值的0.20% - 0.30%，具体取决于每月交易量，每笔订单最低2.25美元。据金色财经此前报道，盈透证券截至三季度末为客户持有1亿美元的加密资产。 ▌以太坊符合OFAC合规要求的区块占比已降至48% 金色财经报道，MEV Watch数据显示，以太坊符合美国财政部海外资产控制办公室（OFAC）合规要求的区块占比已降至48%，触及三个月低点。然而，这一数字在去年11月21日的两个月内急剧上升至79%。（Cointelegraph） ▌芝商所将于3月13日推出比特币期货合约，目前正在等待监管部门的审查金色财经报道，市场消息：芝商所（CME）将于3月13日推出比特币期货合约，目前正在等待监管部门的审查。 ▌Polygon zkEVM主网Beta版将于3月27日发布金色财经报道，Polygon zkEVM主网Beta版将于3月27日发布，Polygon并没有具体说明测试版网络将包含哪些内容，但表示团队将在未来几周内发布更多细节。去年10月，Polygon上线了其zkEVM测试网，该测试网为其ZK rollup部署了以太坊虚拟机(EVM)，允许以太坊开发人员从主区块链转移他们的智能合约，而无需使用不同的语言重新编程。去年12月，Polygon zkEVM上线最终测试网版本。重要经济动态 ▌美联储6月加息的几率接近50% 金色财经报道，美联储掉期交易显示，美联储6月加息的几率接近50%。美联储掉期定价在美联储2023年7月的政策利率峰值将达到5.27%。金色百科 ▌Block——区块在比特币网络中，数据会以文件的形式被永久记录，我们称这些文件为区块。一个区块是一些或所有最新比特币交易的记录集，且未被其他先前的区块记录。免责声明：金色财经作为区块链资讯平台，所发布的文章内容仅供信息参考，不作为实际投资建议。请大家树立正确投资理念，务必提高风险意识。来源：金色财经
金色财经2023-02-16
盘点历史上被SEC罚过的知名项目们
 go
支付 550 万美元的罚款。 Kik Interactive（Kin）—— 500 万美元起诉原因：向美国投资者出售了数字资产证券，但未按照美国证券法的规定登记要约和出售被罚金额： 500 万美元 2020 年 10 月 21 日，美国证券交易委员会（SEC）宣布，联邦地方法院已就加拿大通讯平台 Kik Interactive Inc. 一案形成最终判决，判定 Kik 在 2017 年 1 亿美元 IC0 违反了联邦证券法。 2019 年 6 月 4 日，SEC 在纽约南区美国地方法院提起诉讼，指控 Kik 向美国投资者出售了数字资产证券，但未按照美国证券法的规定登记要约和出售。法院于 2020 年 9 月 30 日批准了 SEC 的简易判决动议，裁定 Kik 的「Kin」Token 销售是投资合同的销售，属于证券销售性质，因此 Kik 进行交易时违反了联邦证券法。Kik 还需支付 500 万美元的罚款。 SEC 公告 Friedman LLP（Tether 前审计公司）—— 100 万美元起诉原因：「连续违反联邦证券法」并存在大量「不当职业行为」被罚金额： 100 万美元 2022 年 9 月 27 日，SEC 因 USDT 发行商 Tether 的前审计公司 Friedman LLP 公司「连续违反联邦证券法」并存在大量「不当职业行为」提起诉讼，并已与其达成和解。在与 SEC 达成的和解协议中，Friedman LLP 已同意对其员工进行适当的审计程序培训，并将支付 100 万美元的民事罚款和 564, 138 美元的非法所得及利息。 Friedman LLP 公司于 2017 年 5 月至 2018 年 1 月期间为 Tether 提供审计服务。 EtherDelta—— 38.8 万美元起诉原因：经营未注册的数字货币交易平台被罚金额： 38.8 万美元美国证券交易委员会（SEC）起诉数字货币交易平台 EtherDelta 的创始人 Zachary Coburn，指控其经营未注册的数字货币交易平台。SEC 执法部门联合主管 Stephanie Avakian 指出，数字货币交易平台 EtherDelta 按要求应该在 SEC 登记注册或者拥有豁免注册的资格。 2018 年 11 月 8 日，SEC 发布公告称，Zachary Coburn 已同意向美国证券交易委员会（SEC）支付 30 万美元的赔偿金、 1.3 万美元的预审利息和 7.5 万美元的罚款。 SEC 公告 Telegram（TON）—— 1850 万美元，归还 12.24 亿 2017 年 12 月 3 日，TON 发布了长达 132 页的白皮书。为了募集资金， 2018 年 1 月 12 日，TON 官方发布了 ICO 的消息。TON 原本计划将封闭式的融资分成三个阶段，没想到刚进行到第二阶段，就筹集到了 17 亿美元的资金，超出预计金额 2 倍，因此第三阶段被取消。 2019 年 10 月 12 日，就在距离 TON 主网即将上线之际，美国证券交易委员会（SEC）突然发来了一封诉讼函。SEC 在诉讼函中表示，他们将 GRAM 的融资过程定性为「在线非法数字资产证券销售」，并准备对参与其 Token GRAM 私募的两家离岸实体投资公司提起「紧急行动并获得临时限制令」，理由是违反了证券法。法庭之上，为了限制 GRAM 的销售，美国法院提出了让人无法理解的要求。法院要求 Telegram 不仅不能在美国销售 GRAM，甚至全球范围内也不行。无奈之下，Telegram 只能宣布放弃 TON。 2020 年 5 月 12 日，创始人帕维尔·杜罗夫（Pavel Durov）在 Telegram 公共频道中宣布，Telegram 开放网络项目（Telegram Open Network，简称 TON）终止。Telegram 将返回其募集的 17 亿美元中的 12.24 亿美元（即 70% ）给投资者，还必须向 SEC 支付 1850 万美元的民事罚款，如果该公司想再次尝试发售 Token，还必须提前 45 天通知 SEC。来源：星球日报来源：金色财经
金色财经2023-02-15
金色早报 | 目前稳定币总市值约为1385亿美元
 go
密货币，从而创造统一的客户体验。通过Interactive Brokers Hong Kong 进行的加密货币交易由OSL Digital Securities提供支持，交易佣金仅为交易价值的0.20% - 0.30%，具体取决于每月交易量，每笔订单最低2.25美元。据金色财经此前报道，盈透证券截至三季度末为客户持有1亿美元的加密资产。 ▌以太坊符合OFAC合规要求的区块占比已降至48% 金色财经报道，MEV Watch数据显示，以太坊符合美国财政部海外资产控制办公室（OFAC）合规要求的区块占比已降至48%，触及三个月低点。然而，这一数字在去年11月21日的两个月内急剧上升至79%。（Cointelegraph） ▌芝商所将于3月13日推出比特币期货合约，目前正在等待监管部门的审查金色财经报道，市场消息：芝商所（CME）将于3月13日推出比特币期货合约，目前正在等待监管部门的审查。 ▌Polygon zkEVM主网Beta版将于3月27日发布金色财经报道，Polygon zkEVM主网Beta版将于3月27日发布，Polygon并没有具体说明测试版网络将包含哪些内容，但表示团队将在未来几周内发布更多细节。去年10月，Polygon上线了其zkEVM测试网，该测试网为其ZK rollup部署了以太坊虚拟机(EVM)，允许以太坊开发人员从主区块链转移他们的智能合约，而无需使用不同的语言重新编程。去年12月，Polygon zkEVM上线最终测试网版本。重要经济动态 ▌美联储6月加息的几率接近50% 金色财经报道，美联储掉期交易显示，美联储6月加息的几率接近50%。美联储掉期定价在美联储2023年7月的政策利率峰值将达到5.27%。金色百科 ▌Block——区块在比特币网络中，数据会以文件的形式被永久记录，我们称这些文件为区块。一个区块是一些或所有最新比特币交易的记录集，且未被其他先前的区块记录。免责声明：金色财经作为区块链资讯平台，所发布的文章内容仅供信息参考，不作为实际投资建议。请大家树立正确投资理念，务必提高风险意识。来源：金色财经
金色财经2023-02-15
索罗斯大量投资特斯拉和其他遭受重创的股票
 go
收购了健身自行车制造商Peloton Interactive Inc.逾8,300万股股票。该基金在该公司的股份增长了近370％，该基金曾因疫情期间在家锻炼的激增而受益。他还收购了陷入困境的二手车销售商Carvana Co. CVNA的新股份，以及Lyft Inc8300多万股。上周发布收益报告后，该公司股价大跌。索罗斯还增持了优步科技公司的股份。　　在规避风险的投资者纷纷退出加密货币领域后，索罗斯对加密货币也产生了更大的兴趣。该基金收购了马拉松数字控股公司近4000万股的新股份，并收购了Block公司1720万股的股份。它收购了对加密货币友好的银行Silvergate Capital Corp的少量股份，还增持了MicroStrategy Inc的股份。　　文件还显示，一些大型金融机构Capital One financial Corp、花旗集团新股份。在汽车行业，索罗斯基金管理公司（Soros Fund Management）增持福特汽车至8,300万股。该基金还收购了50万股通用汽车的股票。　　该基金还增持了在线工艺品市场Etsy Inc股份和传媒巨头迪士尼公司，后者正因首席执行长鲍勃·伊格尔（Bob Iger）的回归、维权人士的压力、裁员和重组而陷入困境。　　该基金还购买了数百万股云软件提供商Fastly的新股份。在美国银行（BofA）分析师上调评级后，Fastly 股价周一收涨27％。
金融界2023-02-15
cpi公布在即我们如何应对
 go
密货币，从而创造统一的客户体验。通过Interactive Brokers Hong Kong 进行的加密货币交易由OSL Digital Securities提供支持，交易佣金仅为交易价值的0.20%-0.30%，具体取决于每月交易量，每笔订单最低2.25美元。据金色财经此前报道，盈透证券截至三季度未为客户持有1亿美元的加密资产。香港交易加密货币是合法的了，这就给大陆用户很好的敞口，虽然国内是禁止了，但是香港是开放的，其实就绕了一个弯弯，变相的认可而已。 Nansen数据显示，加密交易所币安在过去24小时内净流出约8.31亿美元，为自2022年11月最大单日净流出量。投资者似乎受到了监管机构对Paxos发行的BUSD稳定币的打击，因此正在减少他们在该平台上的持有量。此外，数据显示，币安用户在过去24小时内提取了约28亿美元的数字资产，超过了同期的20亿美元存款。之前因为储备金的问题也出现过资金出逃，币安依旧是屹立不到，币安已经是行业的标杆，一些低级错误是不可能犯的，就像这次busd事件，根本不是问题。不要被坏蛋给带偏了，花哥还是坚信币安的。 BTC：市场昨天迎来比较大的跌幅，今天小幅反弹，但是比特币局部四小时走势还是震荡向下，另外，晚上九点半公布cpi可能会引起波动，白天可以选择休息，晚上根据cpi的情况再决定下一步操作。如果是利空，跌到两万附近可以分批抄底，如果是利好，可以追涨有利好的币种。 eth: 以太坊又再次回到1500的下方，就是不错的一次低吸机会，以太继续保持低吸持有就可以，后面反转之后再考虑上杠杆。 link： link两次插针没有下去，如果cpi利好的话，这里就是短期底部了，如果cpi利空还会有新低的出现，到时候又是一次非常好的低吸机会。 ltc：莱特反抽颈线后再次回落，理论上还有一定的下跌空间，对于莱特至少还有一大波的上涨行情，所以这波回调可以重点补仓。平台币： Bgb是真的强，看样子近期又要破新高了！花哥会长期布道bgb！后边可能会拉个bgb持币信仰群！大回调就是买入的机会，这波回调买入的又发财了！财富密码： RPL：昨天回调的有点多，最大止损36，不破36整体问题不大。 Qi：整体的走势并没有破坏，可以小资金布局持有。 MINA：mina整体也是看涨的结构，没有买的可以逢低布局一些，后面大概率还会爆发一波。以上分析仅做参考，不构成投资建议！来源：金色财经
金色财经2023-02-14
轻松理解Rollup ZK Rollups 与 Optimistic Arbitrum的区别
 go
: 言简意赅的，简练的 3. Non-Interactive: 无需知道验证者是谁 4. Argument of Knowledge: 证明交易的真实性与正确性所以Zk Rollups的核心方法，即通过严谨复杂的验证算法，Layer 2协议中的验证者（ZkSnarker/ Validator ）来认证不同数据的真实性(Validity Proof)，从而将认证结果打包。以太坊网络排除多余工作信息后，可以直接将存有大量压缩签名信息的数据block吸收进网络。任何人都可以参与网络认证，成为认证者，所以，本质上来说，ZKSnark也是一种PoW共识机制的Layer 2协议。【优点】： 1. Layer2 被以太坊验证的速度很快，可以很快把存在Layer2的资产，提币回Layer1以太坊 2. 很适合应用在Payment，银行，交易所等需要快速结算的业务【缺点】：由于算法较为复杂，对应用开发有点门槛但如果未来能基于算法，开发出对Dapp更友好的模式，ZK还是最具有长期扩容价值的方法 3. 什么是Optimistic Rollups Layer2 Optimistic的方法如其名字的意思：乐观的，开始认为所有发送的交易都是值得信赖认证过的。 Layer 2验证者需要先质押Token作为保证金，如果验证过程中，别人发现了有问题的打包，那么该验证者（Sequencer）将被罚款部分Token，并把其作为奖励给与发现问题的人。每次数据打包后，会有验证期，以供其他验证者检查是否有问题，是否需要重新退回打包。 Optimistic Rollups也具有智能合约功能，可以拥有相应的治理Token, Op Rollups与ZK Rollups方法本质的区别是，ZK所有人都可以参与通过PoW认证来参与认证，而OP里面更倾向于选择一组值得信赖的认证者，监督整个打包交易的过程。【优点】： 1.适合开发Dapp，可以几乎无缝迁移原本在Layer1的项目，同时也在开发相应的OVM虚拟机【缺点】： 1. Layer2提币到Layer1的速度较慢，通常需要1周以上（因为需要给验证者验证打包的真实性）但目前正在有优化的补充协议帮助加速此种模式的速度。 2. 有验证者作恶的风险成本。我们经常用来谈论的OP Token， Optimism是利用Optimistic方法的Layer2协议之一，而Arbitrum也是利用Optimistic Rollups模式开发的Layer 2协议。由于Opitmism项目和Optimistic Rollup的方法名称很类似，所以很容易搞混。 4. 什么是Arbitrum 首先，如前所述，Arbitrum本质上也是一种利用乐观型Optimistic Rollup模式的Layer 2协议项目。经常用于与Opitmisim项目进行对比，目前在Layer2层面的TVL属于众多协议最高。OP项目在进行认证时，只进行一轮欺诈证明，并且Layer 2的交易计算依靠Layer1来执行。而Arbitrum在验证时，进行多轮fraud proofs. 同时，Aribitrum的交易，并不在Layer1上进行执行，并且有自己的虚拟机，更加兼容ETH网络。小结：本文尽量用轻松的例子讲解困惑很多周围朋友的几个热点概念，包括作者本人也曾被各种OP, ZK系列项目和方法论困扰。经过思考和例子的讲解，希望能够让大家有个更清晰的概念，技术层面的爱好，还可以咨询相应协议开发的工程师，为了保留一些脑细胞，本文就不对技术细节进行详细阐述了。最后再整理一下： ●Rollup指的是一种整理方法，把一堆交易任务送到Layer2协议去打工，从而提升以太坊的运行效率。 ●Zk Rollups是指一种利用零知识证明的密码学算法，在无需知道验证者是谁的情况下，完成外包工作的Layer2方法。 ●Optimistic Rollups是指利用一堆验证者，在默认打包是好的情况下，通过奖惩机制，监督发掘是否有Bug的Layer2方法。 ●Optimism和Arbitrum都是Optimisctic Rollups方法为基础开发的项目。 ●Zksync, ZKxxxxxxx很多ZK，都是以ZK Rollups方法为基础或噱头，开发的项目。目前的ZK Rollups更适合Payment，等需要快速交易的业务，算法稍复杂；而Optimistic类方法更适合Dapp开发与Defi业务，就是提币时间有点长。其他Layer2协议，Plasma，Metis，还有利用博弈机制和AI的Truebit等，都在探索以太坊的扩容最优解。最后：欢迎私信进交流群！感谢阅读，喜欢的朋友可以点个赞关注哦，我们下期再见！来源：金色财经
金色财经2023-02-14
一文盘点主流ZKP实现方案特点
 go
ARKs (Succinct Non-interactive ARguments of Knowledge) 特点：简洁证明大小，证明验证耗时相比较短，但需要对每一个电路进行可信设置。代表项目：Groth16。 SNORKs (Succinct Non-interactive Oecumenical (Universal) aRguments of Knowledge) 特点：简洁证明大小，只需要进行一次可信设置即可用于所有电路。代表项目：Sonic, PlonK, Marlin, Plonky2。 STARKs (Succinct (Scalable) Transparent ARguments of Knowledge) 特点：证明十分庞大，不需要进行可信设置，具有良好的可扩展性。代表项目：STARK。以上分类也不是绝对的，比如 Halo/Halo2 项目，它们在设计时也借鉴了很多 Plonk 的思路，另外，SNORKs 通常会被归入到 SNARKs，因为它们都需要可信设置。 3. 性能对比电路编程电路是 ZKP 系统的业务逻辑实现，开发 ZKP 应用需要进行电路编程，为什么 ZKP 逻辑代码被称为“电路”？主要有以下几个原因： ZKP 证明的代码会被转换成一系列简单约束条件的表达式 R1CS，然后使用拉格朗日插值法，转换为一个巨大的多项式 QAP，最终以门电路的形式被约束。与硬件电路类似，所有分支的代码将被一起执行。与硬件电路类似，ZKP 证明电路中没有递归和复杂的循环，循环的数量只能是恒定的。我们不需要从头去用密码学实现 ZKP 应用，有很多开发库已经实现了这些底层证明系统，我们只需要关注业务逻辑的实现。当然每一种库都有不同的抽象程度，有的需要去学习描述电路的表达式，有的只需要按流程定义好代码就可以轻松实现。 1. 常用开发库 libsnark 用 C++ 语言实现了通用证明系统、基础电路库和应用示例。证明系统：BBFR15、BCCT12、BCCT13、BCGTV13、BCIOP13、BCTV14a、BCTV14b、CTV15、DFGK14、Groth16、GM17、GGPR13、PGHR13。链接：https://github.com/scipr-lab/libsnark。 gnark 用 Go 语言实现的证明系统，提供高级 API 来设计电路。证明系统：Groth16 、PlonK。链接：https://github.com/consensys/gnark。 bellman Rust 实现的证明系统，它提供电路接口、基础结构以及一些基本电路实现，例如布尔和数值抽象。证明系统：Groth16。链接：https://github.com/zkcrypto/bellman。 snarkjs Javascript 和 WASM 实现的证明系统，可用于可信设置、生成证明并验证证明。snarkjs 使用 iden3 自己的 circom 编译器对 DSL 定义的电路进行编译。证明系统：Groth16 、PlonK。链接：https://github.com/iden3/snarkjs。 ethsnarks 使用 Python 实现，可以在用户浏览器生成证明，使用以太坊智能合约做为验证者。目前项目开发不活跃，相同的场景下使用 Circom 可能是更好的选择。证明系统：Groth16。链接：https://github.com/HarryR/ethsnarks。 bulletproofs 使用 Rust 实现的证明系统，具有单一和聚合范围证明、强类型多方计算，正在开发中用于证明任意语句的可编程约束系统 API。证明系统：bulletproofs。链接：https://github.com/dalek-cryptography/bulletproofs。 halo2 一个基于 Rust 的实现的证明系统，由 ZCash 团队维护。Halo2 特定于 PLONKish，可以非常直接地控制电路在算术运算中的表示方式，非常适合编写高度优化的电路。证明系统：Halo2。链接：https://github.com/zcash/halo2。 2. 开发流程以 gnark 为例，一个典型的工作流程如下图： 1）用代码描述需要解决的问题。 2）编译成 R1CS 约束系统。 3）对 R1CS 进行可信设置，得到 Proving key 和 Verify key。 4）证明者使用 R1CS 和 Proving key 计算私密数据，生成证明 Proof。 5）验证者使用 Verify key 验证 Proof。电路编程专用语言 1. 基于以太坊平台 Cairo Cairo 是一种用于编写可证明程序的编程语言，其中一方可以向另一方证明某个计算已正确执行。Cairo 和类似的证明系统可用于为区块链提供可扩展性。StarkNet 将 Cairo 编程语言用于其基础设施和编写 StarkNet 合约。证明系统：STARK。链接：https://www.cairo-lang.org/docs/。 Zokrates ZoKrates 采用 DSL 描述电路，提供了一些常用的电路库，它可以帮助你在 DApp 中使用可验证的计算，从用高级语言规范您的程序到生成计算证明，再到在 Solidity 中验证这些证明。证明系统：GM17、Groth16、Marlin。链接：https://zokrates.github.io/。 Circom Circom 语言采用 DSL 描述电路，可以配合 snarkjs 在用户浏览器生成证明，使用以太坊智能合约做为验证者。证明系统：Groth16 、PlonK。链接：https://iden3.io/circom。 Noir Aztec 基于 Rust 的隐私编程语言，采用 DSL 描述电路，允许安全、无缝地构建隐私保护零知识电路。证明系统：PlonK。链接：https://noir-lang.org/index.html。 zkEVM 与 EVM 一样，zkEVM 是一个虚拟机，它作为程序操作的结果在状态之间转换，但是 zkEVM 通过生成证明来证明计算的每个部分的正确性。本质上，zkEVM 使用一种机制来证明执行步骤遵循规则。目前有 zkSync、Polygon、Scroll、Starkware 等团队正致力于 zkEVM 的实现，已取得重大进展。 2. 基于公链平台 zkApp (Mina) zkApps 是 Mina Protocol 的智能合约，由零知识证明提供支持。zkApps 可以在链下执行任意复杂的计算，同时只收取固定费用以将生成的零知识证明发送到链以验证此计算，这与其他在链上运行计算并使用基于可变 gas 费用的区块链相反模型。zkApps 使用 Typescript 编写。证明系统：PlonK。链接：https://docs.minaprotocol.com/zkapps。 LEO (Aleo) Leo 是一种函数式静态类型编程语言，专为编写私有应用程序而构建。它专为开发人员设计，可以直观地在 Aleo 区块链上构建，为私有的、去中心化的生态系统提供基础。证明系统：Marlin。链接：https://leo-lang.org/。 ZKP 常见安全问题在过去几年，慢雾安全团队已为多个知名 ZKP 产品进行了电路及应用安全审计，包括 ZKSwap、Zkdex、Zksafe 等，发现了多个中高危漏洞，对基于 Circom、libsnark 等流行框架开发的应用有较为深入的理解。慢雾安全团队在 ZKP 应用审计中发现常见的安全问题有：信任参数风险为了使用 zk-SNARKs，需要一组公共参数，称为公共参考字符串（CRS）。但是这些参数的创建也会产生一些私有参数，如果某一方获得这些私有参数，他们就可以伪造证明。另外，生成 CRS 的流程需要经过审计，确保不会有随机数后门，或者私有参数不会被蓄意保留。使用 zk-SNORKs 时也需要确保结构化参考字符串（SRS）是可信的。可信配置阶段的安全隐患问题可以使用安全多方计算（MPC）来解决，MPC 的特点是只要任何一个参与者能诚实参与，那么通过这套多方计算系统最终得到的计算结果就是可信的。静态代码安全这部分主要是由于编码不规范造成的安全问题，例如：参数未校验、返回值未处理、数值溢出、边界未检查等，如果编写电路的语言是 C/C++，那么还会存在内存溢出风险。供应链攻击风险供应链的风险主要来自使用了存在漏洞的代码库，例如：旧版本的仓库。通常 ZKP 应用还需要配合客户端或者 Web 前端使用，而这部分也很容易遭受多种方式黑客攻击。逻辑错误逻辑错误是电路实现中最容易出现的错误，需要结合需求文档检查电路的设计是否符合需求。双花攻击错误的设计可能导致双花攻击，例如：某些 ZKP 库存在延展性风险，攻击者可利用已知的 Proof 生成不同 Proof，如果设计不当会导致双花攻击。证明伪造有效的证明是 ZKP 首要解决的问题，确保满足完备性和可靠性，即“假的真不了，真的假不了”，所以如果一个电路可以创建假证明，通常是由于底层库出现漏洞，通常我们会建议项目方使用公开的经过审计的 ZKP 库，并使用稳定的发行版。侧信道攻击如果电路设计不当，不同的隐私信息可能存在不同的计算特征，攻击者可能通过公开的输入或者证明猜解出私有输入数据。电路约束失效不恰当的电路表达式可能导致变量未被约束。特殊值攻击一些特殊的输入值可能绕过系统的验证逻辑，例如：0、null 等。隐私输入猜解对于 Tornado Cash 等应用，如果输入的信息可以被猜解，那么会导致严重的隐私泄露问题，这时需要对输入数据进行严格审计，确保不能被猜解。 RugPull 风险一些项目可能存在特殊的管理员权限，一旦权限被非法使用会导致项目资金和用户资产被窃取。智能合约风险一些 ZKP 证明使用智能合约进行验证，例如：Circom、ZoKrates 等。智能合约可能出现重入、重放、逻辑错误等风险，详情可查看慢雾安全团队的智能合约安全审计服务。针对上面列举的 ZKP 安全问题，慢雾安全团队在攻防实战中总结出了一套安全解决方案，结合黑盒/灰盒/白盒多种测试手段，推出了面向区块链行业的 ZKP 电路审计服务。总结零知识证明是解决区块链隐私性、计算扩展和数据压缩问题的有效方法，目前有很多的实现方案，这些实现方案具有不同的性能参数指标和安全基准。开发者在开发零知识证明电路时需要注意根据需求选择合适的框架，并确保在项目上线前对应用的安全性进行过全面安全审计。最后，感谢领先的一站式数字资产自托管服务商 Safeheron 提供的专业技术建议。参考链接： [1]. https://en.wikipedia.org/wiki/Zero-knowledge_proof [2]. https://github.com/matter-labs/awesome-zero-knowledge-proofs [3]. https://docs.google.com/presentation/d/1gfB6WZMvM9mmDKofFibIgsyYShdf0RV_Y8TLz3k1Ls0/edit 来源：金色财经
金色财经2023-02-14
Binance会和SEC和解吗？看看历史上被 SEC 罚过的知名项目们
 go
支付 550 万美元的罚款。 Kik Interactive（Kin）——500 万美元起诉原因：向美国投资者出售了数字资产证券，但未按照美国证券法的规定登记要约和出售被罚金额：500 万美元 2020 年 10 月 21 日，美国证券交易委员会（SEC）宣布，联邦地方法院已就加拿大通讯平台 Kik Interactive Inc. 一案形成最终判决，判定 Kik 在 2017 年 1 亿美元 IC0 违反了联邦证券法。 2019 年 6 月 4 日，SEC 在纽约南区美国地方法院提起诉讼，指控 Kik 向美国投资者出售了数字资产证券，但未按照美国证券法的规定登记要约和出售。法院于 2020 年 9 月 30 日批准了 SEC 的简易判决动议，裁定 Kik 的「Kin」Token 销售是投资合同的销售，属于证券销售性质，因此 Kik 进行交易时违反了联邦证券法。Kik 还需支付 500 万美元的罚款。 SEC 公告 Friedman LLP（Tether 前审计公司）——100 万美元起诉原因：「连续违反联邦证券法」并存在大量「不当职业行为」被罚金额：100 万美元 2022 年 9 月 27 日，SEC 因 USDT 发行商 Tether 的前审计公司 Friedman LLP 公司「连续违反联邦证券法」并存在大量「不当职业行为」提起诉讼，并已与其达成和解。在与 SEC 达成的和解协议中，Friedman LLP 已同意对其员工进行适当的审计程序培训，并将支付 100 万美元的民事罚款和 564,138 美元的非法所得及利息。 Friedman LLP 公司于 2017 年 5 月至 2018 年 1 月期间为 Tether 提供审计服务。 EtherDelta——38.8 万美元起诉原因：经营未注册的数字货币交易平台被罚金额：38.8 万美元美国证券交易委员会（SEC）起诉数字货币交易平台 EtherDelta 的创始人 Zachary Coburn，指控其经营未注册的数字货币交易平台。SEC 执法部门联合主管 Stephanie Avakian 指出，数字货币交易平台 EtherDelta 按要求应该在 SEC 登记注册或者拥有豁免注册的资格。 2018 年 11 月 8 日，SEC 发布公告称，Zachary Coburn 已同意向美国证券交易委员会（SEC）支付 30 万美元的赔偿金、1.3 万美元的预审利息和 7.5 万美元的罚款。 SEC 公告 Telegram（TON）——1850 万美元，归还 12.24 亿 2017 年 12 月 3 日，TON 发布了长达 132 页的白皮书。为了募集资金，2018 年 1 月 12 日，TON 官方发布了 ICO 的消息。TON 原本计划将封闭式的融资分成三个阶段，没想到刚进行到第二阶段，就筹集到了 17 亿美元的资金，超出预计金额 2 倍，因此第三阶段被取消。 2019 年 10 月 12 日，就在距离 TON 主网即将上线之际，美国证券交易委员会（SEC）突然发来了一封诉讼函。SEC 在诉讼函中表示，他们将 GRAM 的融资过程定性为「在线非法数字资产证券销售」，并准备对参与其 Token GRAM 私募的两家离岸实体投资公司提起「紧急行动并获得临时限制令」，理由是违反了证券法。法庭之上，为了限制 GRAM 的销售，美国法院提出了让人无法理解的要求。法院要求 Telegram 不仅不能在美国销售 GRAM，甚至全球范围内也不行。无奈之下，Telegram 只能宣布放弃 TON。 2020 年 5 月 12 日，创始人帕维尔·杜罗夫（Pavel Durov）在 Telegram 公共频道中宣布，Telegram 开放网络项目（Telegram Open Network，简称 TON）终止。Telegram 将返回其募集的 17 亿美元中的 12.24 亿美元（即 70%）给投资者，还必须向 SEC 支付 1850 万美元的民事罚款，如果该公司想再次尝试发售 Token，还必须提前 45 天通知 SEC。来源：金色财经
金色财经2023-02-14
盘点 ZKP 主流实现方案技术特点
 go
ARKs (Succinct Non-interactive ARguments of Knowledge) 特点：简洁证明大小，证明验证耗时相比较短，但需要对每一个电路进行可信设置。代表项目：Groth16。 SNORKs (Succinct Non-interactive Oecumenical (Universal) aRguments of Knowledge) 特点：简洁证明大小，只需要进行一次可信设置即可用于所有电路。代表项目：Sonic, PlonK, Marlin, Plonky2。 STARKs (Succinct (Scalable) Transparent ARguments of Knowledge) 特点：证明十分庞大，不需要进行可信设置，具有良好的可扩展性。代表项目：STARK。以上分类也不是绝对的，比如 Halo/Halo2 项目，它们在设计时也借鉴了很多 Plonk 的思路，另外，SNORKs 通常会被归入到 SNARKs，因为它们都需要可信设置。 3. 性能对比（见文末参考链接 [3]）电路编程电路是 ZKP 系统的业务逻辑实现，开发 ZKP 应用需要进行电路编程，为什么 ZKP 逻辑代码被称为“电路”？主要有以下几个原因： ZKP 证明的代码会被转换成一系列简单约束条件的表达式 R1CS，然后使用拉格朗日插值法，转换为一个巨大的多项式 QAP，最终以门电路的形式被约束。与硬件电路类似，所有分支的代码将被一起执行。与硬件电路类似，ZKP 证明电路中没有递归和复杂的循环，循环的数量只能是恒定的。我们不需要从头去用密码学实现 ZKP 应用，有很多开发库已经实现了这些底层证明系统，我们只需要关注业务逻辑的实现。当然每一种库都有不同的抽象程度，有的需要去学习描述电路的表达式，有的只需要按流程定义好代码就可以轻松实现。 1. 常用开发库 libsnark 用 C++ 语言实现了通用证明系统、基础电路库和应用示例。证明系统：BBFR15、BCCT12、BCCT13、BCGTV13、BCIOP13、BCTV14a、BCTV14b、CTV15、DFGK14、Groth16、GM17、GGPR13、PGHR13。链接：https://github.com/scipr-lab/libsnark。 gnark 用 Go 语言实现的证明系统，提供高级 API 来设计电路。证明系统：Groth16 、PlonK。链接：https://github.com/consensys/gnark。 bellman Rust 实现的证明系统，它提供电路接口、基础结构以及一些基本电路实现，例如布尔和数值抽象。证明系统：Groth16。链接：https://github.com/zkcrypto/bellman。 snarkjs Javascript 和 WASM 实现的证明系统，可用于可信设置、生成证明并验证证明。snarkjs 使用 iden3 自己的 circom 编译器对 DSL 定义的电路进行编译。证明系统：Groth16 、PlonK。链接：https://github.com/iden3/snarkjs。 ethsnarks 使用 Python 实现，可以在用户浏览器生成证明，使用以太坊智能合约做为验证者。目前项目开发不活跃，相同的场景下使用 Circom 可能是更好的选择。证明系统：Groth16。链接：https://github.com/HarryR/ethsnarks。 bulletproofs 使用 Rust 实现的证明系统，具有单一和聚合范围证明、强类型多方计算，正在开发中用于证明任意语句的可编程约束系统 API。证明系统：bulletproofs。链接：https://github.com/dalek-cryptography/bulletproofs。 halo2 一个基于 Rust 的实现的证明系统，由 ZCash 团队维护。Halo2 特定于 PLONKish，可以非常直接地控制电路在算术运算中的表示方式，非常适合编写高度优化的电路。证明系统：Halo2。链接：https://github.com/zcash/halo2。 2. 开发流程以 gnark 为例，一个典型的工作流程如下图： 1）用代码描述需要解决的问题。 2）编译成 R1CS 约束系统。 3）对 R1CS 进行可信设置，得到 Proving key 和 Verify key。 4）证明者使用 R1CS 和 Proving key 计算私密数据，生成证明 Proof。 5）验证者使用 Verify key 验证 Proof。电路编程专用语言 1. 基于以太坊平台 Cairo Cairo 是一种用于编写可证明程序的编程语言，其中一方可以向另一方证明某个计算已正确执行。Cairo 和类似的证明系统可用于为区块链提供可扩展性。StarkNet 将 Cairo 编程语言用于其基础设施和编写 StarkNet 合约。证明系统：STARK。链接：https://www.cairo-lang.org/docs/。 Zokrates ZoKrates 采用 DSL 描述电路，提供了一些常用的电路库，它可以帮助你在 DApp 中使用可验证的计算，从用高级语言规范您的程序到生成计算证明，再到在 Solidity 中验证这些证明。证明系统：GM17、Groth16、Marlin。链接：https://zokrates.github.io/。 Circom Circom 语言采用 DSL 描述电路，可以配合 snarkjs 在用户浏览器生成证明，使用以太坊智能合约做为验证者。证明系统：Groth16 、PlonK。链接：https://iden3.io/circom。 Noir Aztec 基于 Rust 的隐私编程语言，采用 DSL 描述电路，允许安全、无缝地构建隐私保护零知识电路。证明系统：PlonK。链接：https://noir-lang.org/index.html。 zkEVM 与 EVM 一样，zkEVM 是一个虚拟机，它作为程序操作的结果在状态之间转换，但是 zkEVM 通过生成证明来证明计算的每个部分的正确性。本质上，zkEVM 使用一种机制来证明执行步骤遵循规则。目前有 zkSync、Polygon、Scroll、Starkware 等团队正致力于 zkEVM 的实现，已取得重大进展。 2. 基于公链平台 zkApp (Mina) zkApps 是 Mina Protocol 的智能合约，由零知识证明提供支持。zkApps 可以在链下执行任意复杂的计算，同时只收取固定费用以将生成的零知识证明发送到链以验证此计算，这与其他在链上运行计算并使用基于可变 gas 费用的区块链相反模型。zkApps 使用 Typescript 编写。证明系统：PlonK。链接：https://docs.minaprotocol.com/zkapps。 LEO (Aleo) Leo 是一种函数式静态类型编程语言，专为编写私有应用程序而构建。它专为开发人员设计，可以直观地在 Aleo 区块链上构建，为私有的、去中心化的生态系统提供基础。证明系统：Marlin。链接：https://leo-lang.org/。 ZKP 常见安全问题在过去几年，慢雾安全团队已为多个知名 ZKP 产品进行了电路及应用安全审计，包括 ZKSwap、Zkdex、Zksafe 等，发现了多个中高危漏洞，对基于 Circom、libsnark 等流行框架开发的应用有较为深入的理解。慢雾安全团队在 ZKP 应用审计中发现常见的安全问题有：信任参数风险为了使用 zk-SNARKs，需要一组公共参数，称为公共参考字符串（CRS）。但是这些参数的创建也会产生一些私有参数，如果某一方获得这些私有参数，他们就可以伪造证明。另外，生成 CRS 的流程需要经过审计，确保不会有随机数后门，或者私有参数不会被蓄意保留。使用 zk-SNORKs 时也需要确保结构化参考字符串（SRS）是可信的。可信配置阶段的安全隐患问题可以使用安全多方计算（MPC）来解决，MPC 的特点是只要任何一个参与者能诚实参与，那么通过这套多方计算系统最终得到的计算结果就是可信的。静态代码安全这部分主要是由于编码不规范造成的安全问题，例如：参数未校验、返回值未处理、数值溢出、边界未检查等，如果编写电路的语言是 C/C++，那么还会存在内存溢出风险。供应链攻击风险供应链的风险主要来自使用了存在漏洞的代码库，例如：旧版本的仓库。通常 ZKP 应用还需要配合客户端或者 Web 前端使用，而这部分也很容易遭受多种方式黑客攻击。逻辑错误逻辑错误是电路实现中最容易出现的错误，需要结合需求文档检查电路的设计是否符合需求。双花攻击错误的设计可能导致双花攻击，例如：某些 ZKP 库存在延展性风险，攻击者可利用已知的 Proof 生成不同 Proof，如果设计不当会导致双花攻击。证明伪造有效的证明是 ZKP 首要解决的问题，确保满足完备性和可靠性，即“假的真不了，真的假不了”，所以如果一个电路可以创建假证明，通常是由于底层库出现漏洞，通常我们会建议项目方使用公开的经过审计的 ZKP 库，并使用稳定的发行版。侧信道攻击如果电路设计不当，不同的隐私信息可能存在不同的计算特征，攻击者可能通过公开的输入或者证明猜解出私有输入数据。电路约束失效不恰当的电路表达式可能导致变量未被约束。特殊值攻击一些特殊的输入值可能绕过系统的验证逻辑，例如：0、null 等。隐私输入猜解对于 Tornado Cash 等应用，如果输入的信息可以被猜解，那么会导致严重的隐私泄露问题，这时需要对输入数据进行严格审计，确保不能被猜解。 RugPull 风险一些项目可能存在特殊的管理员权限，一旦权限被非法使用会导致项目资金和用户资产被窃取。智能合约风险一些 ZKP 证明使用智能合约进行验证，例如：Circom、ZoKrates 等。智能合约可能出现重入、重放、逻辑错误等风险，详情可查看慢雾安全团队的智能合约安全审计服务。针对上面列举的 ZKP 安全问题，慢雾安全团队在攻防实战中总结出了一套安全解决方案，结合黑盒/灰盒/白盒多种测试手段，推出了面向区块链行业的 ZKP 电路审计服务。总结零知识证明是解决区块链隐私性、计算扩展和数据压缩问题的有效方法，目前有很多的实现方案，这些实现方案具有不同的性能参数指标和安全基准。开发者在开发零知识证明电路时需要注意根据需求选择合适的框架，并确保在项目上线前对应用的安全性进行过全面安全审计。最后，感谢领先的一站式数字资产自托管服务商 Safeheron 提供的专业技术建议。参考链接： [1]. https://en.wikipedia.org/wiki/Zero-knowledge_proof [2]. https://github.com/matter-labs/awesome-zero-knowledge-proofs [3]. https://docs.google.com/presentation/d/1gfB6WZMvM9mmDKofFibIgsyYShdf0RV_Y8TLz3k1Ls0/edit 来源：金色财经
金色财经2023-02-13

上一页
1
•••
33
34
35
36
37
•••
42
下一页

24小时热点

最新话题更多