FX168财经网_全球视野外汇黄金加密货币NFT资讯网

智能合约智能性的下一步：深入剖析ZKML赛道

滤帖子时发布模型推理的证明。案例：关于Twitter算法的zkML分析。广告/推荐。作为一个社交媒体用户，我可能愿意看到个性化的广告，但希望将我的偏好和兴趣对广告商保密。我可以选择在本地运行一个关于我的兴趣的模型，将其输入到媒体应用程序中为我提供内容。在这种情况下，广告商可能愿意为最终用户支付费用，以实现这一点，然而，这些模型可能远不如目前生产中的定向广告模型复杂。 6、创作者经济/游戏游戏内经济再平衡。可以使用ML模型动态调整代币发行、供应、销毁、投票门槛等。一个可能的模型是一个激励合约，如果达到一定的再平衡门槛并验证了推理的证明，就会重新平衡游戏内经济。新类型的链上游戏。可以创建合作的人类对抗AI游戏和其他创新的链上游戏，其中无信任的AI模型充当一个不可玩的角色。NPC采取的每个动作都会与一个任何人都可以验证的证明一起发布到链上，以确定正在运行正确的模型。在Modulus Labs的Leela vs. the World中，验证者希望确保所述的1900 ELO AI选择棋步，而不是Magnus Carlson。另一个例子是AI Arena，一个类似于Super Smash Brothers的AI格斗游戏。在高风险的竞争环境中，玩家希望确保他们训练的模型没有干扰或作弊。新兴项目和基础设施 zkML生态系统可以广泛分为四个主要类别：模型到证明编译器：将现有格式（例如Pytorch、ONNX等）的模型编译成可验证的计算电路的基础设施。广义证明系统：构建用于验证任意计算轨迹的证明系统。 zkML特定的证明系统：专门构建用于验证ML模型计算轨迹的证明系统。应用程序：致力于独特zkML用例的项目。 01模型验证编译器（Model-to-Proof Compilers）在zkML生态系统中，大部分关注都集中在创建模型到证明编译器上。通常，这些编译器将使用Pytorch、Tensorflow等高级ML模型转换为zk电路。 EZKL是一个库和命令行工具，用于在zk-SNARK中进行深度学习模型的推理。使用EZKL，您可以在Pytorch或TensorFlow中定义一个计算图，并将其导出为带有JSON文件中一些示例输入的ONNX文件，然后将EZKL指向这些文件以生成zkSNARK电路。通过最新一轮的性能改进，EZKL现在可以在约6秒和1.1GB的RAM内证明一个MNIST大小的模型。迄今为止，EZKL已经得到了一些显着的早期采用，被用作各种黑客马拉松项目的基础设施。 Cathie So的circomlib-ml库包含了用于Circom的各种ML电路模板。电路包括一些最常见的ML函数。由Cathie开发的Keras2circom是一个Python工具，使用底层的circomlib-ml库将Keras模型转换为Circom电路。 LinearA开发了两个用于zkML的框架：Tachikoma和Uchikoma。Tachikoma用于将神经网络转换为仅使用整数的形式并生成计算轨迹。Uchikoma是一个工具，将TVM的中间表示转换为不支持浮点运算的编程语言。LinearA计划支持使用域算术的Circom和使用有符号和无符号整数算术的Solidity。 Daniel Kang的zkml是一个基于他在《Scaling up Trustless DNN Inference with Zero-Knowledge Proofs》论文中的工作构建的ML模型执行证明的框架。在撰写本文时，它能够在约5GB的内存和约16秒的运行时间内证明一个MNIST电路。在更广义的模型到证明编译器方面，有Nil Foundation和Risc Zero。Nil Foundation的zkLLVM是一个基于LLVM的电路编译器，能够验证用流行编程语言（如C++、Rust和JavaScript/TypeScript等）编写的计算模型。与这里提到的其他模型到证明编译器相比，它是通用的基础设施，但仍适用于复杂的计算，如zkML。当与他们的证明市场结合使用时，这可能尤为强大。 Risc Zero构建了一个通用的zkVM，针对开源的RISC-V指令集，因此支持现有成熟的语言，如C++和Rust，以及LLVM工具链。这允许在主机和客户zkVM代码之间实现无缝集成，类似于Nvidia的CUDA C++工具链，但是使用ZKP引擎代替GPU。与Nil类似，使用Risc Zero可以验证ML模型的计算轨迹。 02广义证明系统证明系统的改进是使 zkML 取得成果的主要推动力，特别是自定义门和查找表的引入。这主要是由于 ML 对非线性的依赖。简而言之，非线性是通过激活函数（例如 ReLU、sigmoid 和 tanh）引入的，这些激活函数应用于神经网络中线性变换的输出。由于数学运算门的限制，这些非线性在 zk 电路中实现起来具有挑战性。按位分解和查找表可以通过将非线性的可能结果预先计算到查找表中来帮助解决这个问题，有趣的是，这在 zk 中的计算效率更高。出于这个原因，Plonkish 证明系统往往是 zkML 最受欢迎的后端。Halo2 和 Plonky2 及其表式算术方案可以通过查找参数很好地处理神经网络非线性。此外，前者拥有充满活力的开发人员工具生态系统和灵活性，使其成为包括 EZKL 在内的许多项目的实际后端。其他证明系统也有其优势。基于R1CS的证明系统包括Groth16，因其小型证明尺寸而闻名，以及Gemini，因其处理极大电路和线性时间验证器而闻名。基于STARK的系统，例如Winterfell证明器/验证器库，尤其在通过Giza的工具将Cairo程序的追踪作为输入，并使用Winterfell生成STARK证明来验证输出的正确性时，非常有用。 03zkML特定的证明系统在设计能够处理先进的机器学习模型的复杂、电路不友好的操作的高效证明系统方面已经取得了一些进展。基于GKR证明系统的zkCNN和基于组合技术的Zator等系统往往比通用证明系统更具性能，这一点在Modulus Labs的基准测试报告中有所体现。 zkCNN是一种使用零知识证明来证明卷积神经网络正确性的方法。它使用sumcheck协议来证明快速傅里叶变换和卷积，具有线性的证明时间，比渐近计算结果更快。已经引入了几个改进和泛化的交互证明，包括验证卷积层、ReLU激活函数和最大池化。根据Modulus Labs的基准测试报告，zkCNN特别有趣的地方在于它在证明生成速度和RAM消耗方面优于其他通用证明系统。 Zator是一个旨在探索使用递归SNARK来验证深度神经网络的项目。验证更深层次模型的当前限制是将整个计算轨迹适应单个电路中。Zator提出使用递归SNARK逐层进行验证，可以逐步验证N步重复计算。他们使用Nova将N个计算实例减少为一个可以通过单个步骤进行验证的实例。采用这种方法，Zator能够对具有512层的网络进行SNARK，这与大多数当前的生产AI模型一样深。Zator的证明生成和验证时间仍然对于主流应用案例来说过长，但他们的组合技术仍然是非常有趣的。应用领域鉴于zkML处于早期阶段，其关注点主要集中在上述基础设施上。然而，目前也有一些项目致力于应用开发。 Modulus Labs是zkML领域中最多样化的项目之一，他们既开展示例应用，也从事相关研究。在应用方面，Modulus Labs通过RockyBot（一个链上交易机器人）和Leela vs. the World（一个人类与经过验证的链上Leela国际象棋引擎对战的棋盘游戏）展示了zkML的用例。该团队还进行了研究，编写了《智能的代价》，对不同模型规模下的各种证明系统的速度和效率进行了基准测试。 Worldcoin正在尝试应用zkML来创建一个保护隐私的人类身份证明协议。Worldcoin使用定制硬件处理高分辨率虹膜扫描，并将其插入到Semaphore实现中。然后可以使用该系统执行诸如成员资格证明和投票等有用操作。他们目前使用受信任的运行时环境和安全的安全区域来验证相机签名的虹膜扫描，但他们最终的目标是使用零知识证明来验证神经网络的正确推理，以提供加密级别的安全保证。 Giza是一种协议，采用完全无信任的方法在链上部署AI模型。它使用包括ONNX格式表示机器学习模型、Giza Transpiler用于将这些模型转换为Cairo程序格式、ONNX Cairo Runtime用于以可验证和确定性的方式执行模型，以及Giza Model智能合约用于在链上部署和执行模型的技术堆栈。尽管Giza也可以归类为模型到证明编译器的类别，但他们作为一个ML模型市场的定位是目前最有趣的应用之一。 Gensyn是一个分布式硬件供应网络，用于训练ML模型。具体而言，他们正在开发一个基于梯度下降的概率审计系统，并使用模型检查点来使分散式GPU网络能够为全尺度模型提供训练服务。尽管他们在这里的zkML应用非常特定于他们的用例——他们希望确保当一个节点下载和训练模型的一部分时，他们对模型更新的诚实性——但它展示了将zk和ML相结合的强大力量。 ZKaptcha 专注于 web3 中的 bot 问题，为智能合约提供验证码服务。他们目前的实施让最终用户通过完成验证码来生成人类工作的证明，验证码由他们的链上验证程序验证，并通过几行代码由智能合约访问。今天，他们主要只依赖于 zk，但他们打算在未来实现 zkML，类似于现有的 web2 验证码服务，分析鼠标移动等行为以确定用户是否是人类。鉴于 zkML 市场还很早，许多应用程序已经在黑客马拉松级别进行了试验。项目包括 AI Coliseum，一个使用 ZK 证明来验证机器学习输出的链上 AI 竞赛，Hunter z Hunter，一个使用 EZKL 库来验证带有 halo2 电路的图像分类模型输出的照片寻宝游戏，以及 zk Section 9，它将 AI 图像生成模型转换为用于铸造和验证 AI 艺术的电路。 zkML面临的挑战尽管在提高和优化方面取得了飞速的进展，但zkML领域仍然面临一些核心挑战。这些挑战涉及技术和实践等方面，包括：以最小的精度损失进行量化电路规模，特别是当网络由多个层组成时矩阵乘法的高效证明对抗攻击量化是将浮点数表示为定点数的过程，大多数机器学习模型使用浮点数表示模型参数和激活函数，在处理zk电路的域算术时，需要使用定点数。量化对机器学习模型的准确性的影响取决于所使用的精度级别。一般来说，使用较低的精度（即较少的比特数）可能会导致准确性降低，因为这可能引入舍入和近似误差。然而，有几种技术可用于最小化量化对准确性的影响，例如在量化后对模型进行微调，以及使用量化感知训练等技术。此外，zkSummit 9上的一项黑客马拉松项目Zero Gravity显示出，针对边缘设备开发的替代神经网络架构（例如无权重神经网络）可以用于避免电路中的量化问题。除了量化之外，硬件是另一个关键挑战。一旦通过电路正确地表示了机器学习模型，由于zk的简洁性，验证其推理的证明将变得廉价且快速。这里的挑战不在于验证者，而在于证明者，因为随着模型规模的增长，RAM消耗和证明生成时间会迅速增加。某些证明系统（例如使用sumcheck协议和分层算术电路的基于GKR的系统）或组合技术（例如将Plonky2与Groth16相结合，Plonky2在证明时间方面效率高但对于大型模型的高效证明大小较差，而Groth16在复杂模型的复杂度上不会导致证明大小增长）更适合处理这些问题，但在zkML项目中管理权衡是一个核心挑战。在对抗攻击方面，仍然有待努力。首先，如果一个无信任的协议或DAO选择实施一个模型，在训练阶段仍然存在对抗攻击的风险（例如训练模型以在看到特定输入时表现出特定行为，这可能被用来操纵后续的推理）。联邦学习技术和训练阶段的zkML可能是最小化这种攻击面的一种方式。另一个核心挑战是当模型保护隐私时存在模型盗窃攻击的风险。虽然可以混淆模型的权重，但在给定足够的输入输出对的情况下，从理论上讲，仍然有可能反向推导出权重。这主要是对小规模模型的风险，但仍然存在风险。智能合约的可扩展尽管在将这些模型优化为在zk的限制条件下运行时存在一些挑战，但改进工作正在以指数速度进行，一些人预计在进一步的硬件加速下，我们很快就能与更广泛的机器学习领域达到同等水平。为了强调这些改进的速度，zkML从0xPARC在2021年展示了如何在可验证电路中执行小规模MNIST图像分类模型的演示，到Daniel Kang在不到一年后为ImageNet规模的模型做同样的工作的论文。在2022年4月，这个ImageNet规模的模型的准确性从79%提高到92%，并且像GPT-2这样的大型模型在近期内有望成为可能，尽管目前的证明时间较长。我们认为zkML是一个丰富而不断发展的生态系统，旨在扩展区块链和智能合约的能力，使其更加灵活、适应性强和智能化。尽管zkML仍处于早期开发阶段，但它已经开始显示出有希望的结果。随着技术的发展和成熟，我们可以期待在链上看到更多创新的zkML用例。来源：金色财经

金色财经2023-06-13

再一国家“去美元化”！巴基斯坦以“人民币”支付俄罗斯石油转向中国贸易结算

口支付政策的另一个明显偏离。 (来源:Twitter) 金砖国家(BRICS)的去美元化努力，在过去几个月取得了重大进展。事实上，随着欧盟在发展自己的货币方面不断取得进展，它也支持使用多种国家货币，这一事实在今天继续得到证实。巴基斯坦的转向外，纸币的变化也代表着，美元在国际范围内的流行程度发生重大变化，特别是金砖国家之间的贸易结算，正如最近几个月达成的几项贸易协定所示。马利克告诉外媒，交易包括100000吨石油，其中45000吨停靠在卡拉奇港，其余的正在运输途中。此外，该报告显示出一个重要的迹象，即交易使莫斯科能够扩大其网点。此外，由于欧洲地缘冲突后对西方市场的销售不足，它继续增加对印度和中国的销售。这笔交易也为巴基斯坦提供了一个很好的机会。具体来说，由于其融资需求大，来自俄罗斯的原油是该国的新途径。英国《金融时报》在4月就曾披露，巴基斯坦的经济危机使医疗费用无法负担，通胀飙升和外汇储备下降导致进口药品短缺。该国飞速的通胀率3月份达到35%，使许多人无法负担生活必需品的费用。与此同时，2022年毁灭性的洪水使数百万巴基斯坦人陷入饥饿，并使他们面临更大的疾病风险。据估计，洪水造成300亿美元的损失和经济损失，使数百万人流离失所，并摧毁了水稻等重要作物。联合国儿童基金会表示，巴基斯坦的经济苦难，正在威胁着数百万本已脆弱的社区的健康和福祉。“任何人都不应该被迫陷入贫困，或一直处于贫困状态，以支付他们所需的医疗保健费用。然而，对于巴基斯坦的许多家庭来说，这就是严峻的现实。” 分析人士警告说，该国有可能效仿附近的斯里兰卡违约。它的外汇储备已降至42亿美元，不足以支付一个月的进口量，导致企业经营举步维艰。谢赫巴兹·谢里夫总理领导的巴基斯坦政府，近期一直在与国际货币基金组织(IMF)进行谈判，以重启一项数十亿美元的贷款计划。但双方未能就解锁最新11亿美元资金的条件达成一致，其中包括提高税收和削减能源补贴。虽然IMF认为此类紧缩措施是必要的，但伊斯兰堡表示它们将加剧经济痛苦。巴基斯坦长期以来一直在与糟糕的医疗保健作斗争。据联合国儿童基金会称，由于营养不良，40%的儿童发育迟缓，或矮于同龄儿童，这种情况会造成终生的身体和认知损伤。超过一半的医疗支出是自掏腰包的，因为严重资金不足的公立医院往往让患者别无选择，只能支付治疗费用。国际救援委员会(IRC)表示，巴基斯坦仍有2000万人需要人道主义援助，其中近一半的人处于极度粮食不安全状态。该组织补充说，受污染和死水导致了包括霍乱和疟疾在内的水传播疾病的爆发。

小萧2023-06-13

突发！eToro下架4种加密资产停止美国客户新交易承认监管环境快速变化

MATIC)中开立新仓位。” (来源:Twitter) “客户可以继续持有和出售这些代币的现有头寸，”这家社交交易公司补充道。值得关注的是，eToro这一声明是在Robinhood决定下架Cardano(ADA)、Solana(SOL)和Polygon(MATIC)之后发布的。这些退市是在美国证监会(SEC)起诉币安和Coinbase之后发生的，美国证监会的许多诉讼都声称，一些特定的加密资产是证券或投资合同。美国监管机构在美国证监会的诉讼中，将上列所有4种货币ALGO、MANA、DASH和 MATIC，都确定为证券。过去一周，MANA兑美元下跌24%，DASH下跌25%，ALGO下跌18.4%，MATIC兑美元下跌22%。据eToro的更新强调，他们的公告仅适用于美国客户。该公司总结道：“我们致力于与世界各地的监管机构密切合作，塑造加密行业的未来，并为普通投资者争取准入机会。” (来源:Twitter)

小萧2023-06-13

NFTScan 与 SPACE ID 达成合作伙伴支持 .bnb / .arb 域名搜索

基于区块链的应用程序和服务联系起来。 Twitter：@SpaceIDProtocol 关于 NFTScan NFTScan 成立于 2021 年 4 月份，是全球领先的 NFT 基础设施服务商，目前已支持 Bitcoin、Ethereum、BNBChain、Polygon、Solana、Arbitrum、Optimism、Aptos 等在内的 14 条主流区块链网络。NFTScan 业务涵盖 NFT 浏览器、NFT Portfolio、NFT API 数据服务、NFT 订单聚合等方面，为 Web3 用户和开发者提供专业的一站式 NFT 基础设施服务。目前，NFTScan 在为包括 CoinMarketCap、Binance NFT、Bybit Web3、KuCoin、SafePal、Mask、imToken、Enjin、Coin98 等在内的 3000+ 开发者团队提供多链 NFT 数据支持。 Twitter：@nftscan_com 欢迎关注 NFTScan 官方推特获取最新动态，有关 NFT API 数据服务等商务合作请联系 Telegram: Shier1992 来源：金色财经

金色财经2023-06-13

震撼弹！拜登受贿500万美元“秘密录音”曝光涉案外国公民保留17段关键证据

音的内容，总共17段录音。” (来源:Twitter) “消息显示，这些录音被作为一种保险单保存下来，以防止他陷入困境。1023号文件还表明，当时的副总统拜登可能参与Burisma雇用亨特·拜登的事件，”他继续说道。“不仅如此，FBI还让国会在机密设施中审查一份经过编辑的非机密文件，这表明你FBI对国会的不尊重。” 因此，根据查克的说法，FBI掩盖了Zlochevsky拥有他和拜登父子之间的秘密录音作为“保险”的说法。他继续补充：“美国特拉华州检察官办公室正在处理对亨特·拜登的联邦刑事调查。据称，由于前朝政府任命的留任者、美国检察官大卫·韦斯(David Weiss)决定，是否起诉亨特·拜登。2021年2月，拜登要求前朝政府任命的检察官辞职，但韦斯是个例外。” “对于这些显然与高风险贿赂计划有关、且涉嫌拜登和亨特的录音，美国检察官韦斯在做什么？”格拉斯利周一质问道。消息人士此前告诉美媒，Zlochevsky讨论了涉嫌向拜登行贿500万美元，以及向亨特再行贿500万美元的问题，据一名付费的FBI线人说，他是从Zlochevsky那里听到这件事的。消息人士称，Zlochevsky表示，由于涉及的银行账户数量众多，他认为至少在10年内很难揭开所谓的贿赂计划。报道补充提到，1023号文件包括来自机密人员的指控，称乌克兰能源公司Burisma的负责人聘请亨特·拜登担任其董事会成员，以利用其父亲的影响力扼杀时任乌克兰检察长维克托·肖金对该公司的调查。肖金于2016年被免职，1023号文件表明，拜登的两名家庭成员因解决麻烦，每人获得500万美元。据《哥伦比亚广播公司新闻》(CBS)报道，同样在周一，众议院监督委员会主席詹姆斯·科默传唤亨特的前商业伙伴德文·阿彻，要求他本周出庭作证。在给阿彻律师的一封信中，科默写道，阿彻“在拜登家族的海外商业交易中发挥重要作用，包括但不限于中国、俄罗斯和乌克兰”。 (来源:CBS News) “此外，在与拜登家族进行这些冒险时，你的客户曾多次会见当时的副总统拜登，包括在白宫，”他继续写道。阿彻对共和党众议院监督委员会的潜在证词，是美国国会调查的一个重要里程碑。从2014年开始，阿切尔与亨特·拜登一起担任乌克兰能源公司Burisma的董事会成员。在此期间，时任副总统拜登深入参与乌克兰政策，当时他的对手称这家能源公司涉及腐败。《哥伦比亚广播公司新闻》对亨特·拜登的笔记本电脑数据进行的独立取证审查，证实了亨特·拜登和阿彻之间的数百次通信，具体而言，电子邮件表明工作餐是在Burisma董事会会议之前或之后安排的。人们普遍认为，阿切尔促成亨特·拜登进入Burisma董事会。

小萧2023-06-13

昔日华人首富涉“刑事”！美国司法部将起诉赵长鹏证监会前官员：FBI特工调查洗黑钱

、妨碍司法和洗黑钱的指控。” (来源:Twitter) 美国CFTC的行动回顾整起币安事件，最初是由美国CFTC提出投诉。John指出，美国CFTC对币安提出长达76页的投诉，指控赵长鹏和运营币安平台的3个实体多次违反法规。该投诉还指控币安前首席合规官Samuel Lim协助和教唆币安的违规行为。美国CFTC提供的证据表明，Samuel知道某些币安客户“来这里是为了犯罪”。美国当局称，Samuel向监管机构保证了币安的合规做法，他后来在给同事的内部消息中承认这是一个诡计。CFTC还指控他帮助客户规避合规控制，包括建议用户从事潜在的非法活动以避免被标记。另外，还帮助美国VIP客户逃避币安的合规控制，包括对通过IP地址识别的美国客户进行故障排除。举例而言，Samuel在2019年7月关于本应“限制”访问币安平台的客户的谈话中说，“他们可以使用虚拟专用网络(VPN)，但我们不应该告诉他们，它不能来来自我们，但我们总是可以通知我们的朋友，或是第三方发布，这不在币安的保护伞下”。美国CFTC进一步指控币安、赵长鹏和Samuel在美国境外进行了某些旨在规避CFTC监管的活动，例如指导美国客户以及其他客户如何规避币安的合规控制。美国证监会的行动就如同美国CFTC，美国证监会提交长达136页的投诉称，币安实体和赵长鹏共同混入了数十亿美元的资产客户资金，并秘密将其转移到赵控制的另一家公司，以数十亿美元中饱私囊，同时将投资者的资产置于重大风险之中。针对币安的一些指控与导致FTX瘫痪的行为相呼应，这些行为此前导致FTX创始人SBF因使用客户存款作为自己的私人存钱罐而受到刑事指控。美国证监会称，由赵长鹏控制的贸易公司Merit Peak的银行账户收到超过200亿美元，其中包括来自币安平台的客户资金。Merit Peak随后将“这些资金的绝大部分”转移给一家身份不明的公司，“这些转移似乎与购买币安推出的BUSD美元稳定币有关。美国证监会还指控赵长鹏，使用他拥有的一家名为Sigma Chain的公司，通过进行广泛的市场操纵操作来人为地抬高币安的价值，有时是针对客户，并且该加密平台正在将数十亿美元的投资者资产发送给赵长鹏拥有的另一家名为Meri Peak的公司。此外，美国证监会称，赵长鹏让许多高价值的美国客户继续访问其主要平台，尽管此前公开声称这些客户无法访问主平台。与CFTC的行动一样，美国证监会还指控赵长鹏设计、实施并参与了广泛的欺骗、利益冲突、不披露和蓄意逃避法律的网络。除其他事项外，美国证监会称，虽然赵长鹏和币安公开声称美国客户被限制在币安(Binance.com)上进行交易，但与之形成鲜明对比的是，赵长鹏和币安颠覆了自己的控制，秘密允许高价值的美国客户进行交易继续在Binance.com上交易平台。作为美国证监会紧急动议的一部分，该机构寻求一系列极端补救措施，包括命令冻结赵长鹏控制的BAM公司的资产，以及命令被告归还为赵长鹏控制、价值数十亿美元的BAM Trading 和BAM Management客户资产。寻求此类紧急救济通常意味着，美国证监会认为他们现在可以说服法官，被告犯有欺诈行为，并且投资者资金面临风险。美国证监会会计声明 John提到，美国证监会的币安紧急行动证明了一个不是狂野西部，而是更类似于行尸走肉后世界末日无政府状态的加密世界。举例而言，据称币安和赵长鹏使用传统金融里的Silvergate Bank和Signature Bank，在赵长鹏控制的众多公司之间转移法定货币和加密货币。由其会计专家整理的证据，描述了一些明显有罪的资产转移，包括： 1. 向Simpson Marine(SEA)Pte Ltd.支付1100万美元，这似乎是一家高端香港游艇经纪公司； 2. 5470万美元从Signature Bank提款至INSURED AIRCRAFT TITLE SERVICE LLC，这是一家位于俄克拉荷马州的私人飞机产权和托管公司； 3. 来自Coinbase的4.24亿美元，也在美国证监会的审查之下等。根据AML专家Alison Jimenez的说法：“这里唯一缺少的是Lambo跑车的购买。” 此外，美国证监会确定了赵长鹏实益控制下的数十个币安账户。其中许多账户显示出，赵长鹏控制的各个实体之间存在交易，显然几乎可以互换使用。举例而言，美国证监会称，有120亿美元被汇给赵长鹏，1.62亿美元被汇给由币安官员后台控制的新加坡公司，这些公司被确定为陈光英(Guangying Chen)，他们的名字与币安没有明显联系。美国证监会表示，发送给赵长鹏和陈光英的大部分资金，现在都在“离岸”账户中，即在美国境外。赵长鹏妨碍司法 John解释，妨碍司法广义上是指个人非法阻止或影响政府诉讼结果的行为。美国CFTC声称，在赵长鹏的指示下，Samuel制定了一项政策，指示与VIP客户打交道的员工及时通知他们有关其账户的执法查询。 “VIP团队将通过所有可用的方式联系用户，包括短信、电话等，通知他们的帐户已被冻结或解冻。不要直接告诉用户运行，只是告诉他们他们的帐户已经被解冻并被XXX调查。如果用户是大交易员，或者是聪明的交易员，他/她会得到提示，”John表示，据称内部是这样说明的。根据美国CFTC的说法，赵长鹏设计一个秘密阴谋，指示美国的VIP客户逃避币安的合规控制，并指示币安员工确保所有关于他们控制颠覆的通信都发生在有助于自动销毁证据的应用程序上。据称，币安为执法部门针对的任何客户提供专门的服务。根据CFTC，Samuel按照赵长鹏的指示制定名为“管理LE信息和资金转移请求”政策。币安甚至使用Signal的自动删除功能进行通信，甚至在币安收到美国CFTC的文件请求后，币安据称向其人员分发了文件保存通知。 John举例，赵长鹏与一位最终成为币安机构销售主管的员工进行了以下交流：“VIP团队成员表示，嗨赵长鹏，我浏览了受影响的API客户列表，其中包括许多大型战略客户，其中包括一家总部位于芝加哥的贸易公司，目前是前5大客户，占我们交易量的12%。” 他引述赵长鹏所说：“提醒他们确保他们不是从美国IP连接的，不要留下任何书面形式。我们还要确保我们不会首先通过该电子邮件攻击最大的做市商，有信号吗？” 展望未来 John最后指出，美国证监会在其支持备忘录中指出，“据广泛报道，币安和赵长鹏正在接受美国刑事当局的调查”。他提到，美国证监会显然正在与刑事检察官和美国联邦调查局(FBI)特工合作，但没有透露其他信息。“美国CFTC或证监会的案件都没有重点关注洗黑钱，恕我直言，这是为美国司法部与币安相关的刑事诉讼划出，并保留的起诉空间。” “我的看法是，美国司法部正在与证监会、CFTC和多个线人合作，下一个斧头要砍的是提交或开封与币安相关的刑事指控。” “失败后果自负。” (来源:Twitter)

小萧2023-06-13

当下市场处于哪个阶段？接下来的热点会是什么？

风险投资的兴趣也在减弱我从加密货币 Twitter 上的整体情绪中感受到，一些人在质疑是否要继续留在这个领域，而另一些人则只是对价格行动、缺乏波动性和缺少重大叙事感到无聊。人工智能正在将人们的兴趣从加密货币中转移。与此同时，聪明钱继续部署他们的稳定币，稳定币持有比例降至 Luna 之前的水平：总体而言，自 FTX/LUNA 以来，加密货币的情绪感觉从未如此消极。随着宏观流动性的不利局面有望在今年年底前减弱，我个人认为我们距离 BTC 短期底部恐怕仅有约 10％的距离。推动市场的叙事有哪些 Meme 币 ——Meme 仍然占据着 DEX 的主要交易量（虽然正在失去动力），其中 PEPE 领先。Andrew Kang 最近声称 PEPE 接近底部，如果它反弹，则可能为更广泛的 Meme 板块带来一些新的动力。 LSDfi —— 这可能是今年夏天最大的基本叙事，当前的数据总结是：有约 180 亿美元的锁定 ETH 存款（仅代表不到 10％的质押率）。以及我们正在看到像 LBR 和 USH 这样的项目的出现，它们几乎充当了流动性质押资产的第二层，并且将成为今年夏季最热门的叙事。交易工具——随着 Meme 币吸引了许多 DEX 市场的关注，人们对帮助交易这些代币的机器人产生了很大的兴趣，最大的 TG 机器人每月收入 400 万美元。在像 UNIBOT 这样的代币中取得成功后，为一些聪明钱交易者创造了 10 万美元以上的实现收益，我认为这是一个较小但值得注意的叙事，需要追踪/寻找新的创新项目。 Arbitrum 上的小市值代币——最后一个叙事是在 Arbitrum 上推出的一些最新项目的悄然成功，包括 GHA、WAR 和 CHOKE。聪明钱正在购买什么主流币+衍生品（ETH、ETH 质押衍生品、BTC），在过去的一个月里，我们看到这个类别的净换入流量超过了 7500 万美元，净稳定币部署量较少。这意味着聪明钱主要是将已经部署的代币持有转向主流币，并部署少量稳定币。总体而言，这是整个市场的一个看涨信号。 Meme 板块的最大流入是 Psyop、RFD、MRF 和 BIAO。在过去 24 小时内，主要的流入是 PEPE 和 HarryPotterObamaSonic10Inu。在过去的一个月里，拥有最大流入的项目有 MKR、CAKE、0X、LBR 和 USH。文末尽管市场情绪低迷，但基于市场中的聪明钱积累、一些“情绪底部”以及今年晚些时候宏观环境的希望逆转，我倾向于看涨。LSDfi 将是今年夏季的重要叙事，如果你正在寻找机会，我建议寻找相关新项目的推出，以尝试构建您的投资组合（当然，不代表稳赢）。对于SEC的诉讼，市场并没有过度恐慌，这也是一个鼓舞人心的迹象。后期会给大家带来其他赛道的龙头项目分析。感兴趣的可以点个关注。我也会不定期整理一些前沿资询和项目点评，欢迎各位志同道合的币圈人一起来探索。有问题可以评论提问或者私信来源：金色财经

金色财经2023-06-13

CC DAO链上征信底层逻辑

参数： ●社交媒体影响因子： ● 给予Twitter/Weibo/Facebook/Instagram/Wechat不同的影响因子 ● 社交活跃度：通过Tweet/Retweet等行为得出 ● 社交关系影响力：通过互相关注的账户的影响力及被@的次数加权得出。社区贡献参数： ●CCDAO社区治理参与次数 ● CC社区DAO被选举次数 ● CCDAO社区社交活跃度 ● CCDAO社区影响力指数 ● CCDAO社区创造贡献指数 ● CCDAO社区分享传播指。 7. 通过以上算法最终测评出CCDAO社区参与者的信用分值如同WEB2中的某宝信用分值，链上信用分值应用更为广阔，解决行业发展问题的同时，用户在CCDAO中获得特权和更高的信用贷款额度。来源：金色财经

金色财经2023-06-13

见证历史性一刻！丹佛掘金队首夺NBA总冠军将获近500万美元奖金

队进一步显着扩大他们的球队。 (来源:Twitter) 背水一战的热火在首两节比赛以微弱的优势领先，首节以24比22居前，半场结束时进一步将优势扩大至57比44。不过金块在第三节比赛得分占优，以26比20的得分，将两队的分差缩小至一分。金块在最后一节夺过领先权，不过球队在最后关头面对热浪的激烈反击，最终才以94比89取得胜利。主力球星约基奇(Jokic)成为球队获胜的最大功臣，除了拿下全场最高的28分外，也摘下16个篮板与做出4次助攻。本届NBA总冠军将因赢得2022-23赛季而获得近500万美元的奖金，虽然听起来可能不是很多，但它肯定会帮助掘金队或热火队进一步显着扩大他们的球队。据报道，确切金额为4775940美元。然而，NBA联盟并不仅仅奖励冠军，一直到第六名的种子位置都有较小的货币奖励。此外，进入第一轮的球队将获得402479美元。有资格进入第二轮的人将获得478902美元的奖金，进入分区决赛的保证金约为791398美元。最后，输掉NBA总决赛的球队将获得3164731美元，冠军将获得4775940美元的最终奖金。这种奖励制度确保了所有竞争球队在NBA季后赛中的贡献和影响都会得到一定程度的奖励。丹佛掘金队的收入会稍微多一些，因为他们是西部联盟的头号种子，估计约为7809925美元。另一方面，8号种子迈阿密热火队的收入为6448719美元。尽管不可否认现金是一种很好的激励，但明星球员、管理层和老板们都知道梦寐以求的NBA总冠军具有不可估量的价值。因此，他们会将其作为最终奖励，而将经济收益视为额外的奖金。这笔奖金在玩家之间分配的系统并不清楚。我们所知道的是，与教练或角色球员相比，明星获得了最大份额的奖金。但无论如何，取得冠军后的广告效益和球鞋代言，相信会比此前水长船高。 NBA球迷沉浸在庆祝的氛围，在这里，再次恭喜丹佛掘金队取得历史上首座NBA总冠军。

圈内人2023-06-13

AI如何影响Web3？|veDAO研究院

tp://www.vedao.com/Twitter： https://twitter.com/vedao_officialFacebook：bit.ly/3jmSJwNTelegram：t.me/veDAO_zhDiscord：https://discord.gg/NEmEyrWfjV ?投资有风险，项目仅供参考，风险请自担哦? 来源：金色财经

金色财经2023-06-13

24小时热点