gUp 黑客马拉松的重点是为厄瓜多尔的移民人口所遇到的问题制定解决方案。 Smart Contracts Online Course and Lectures Distributed Lab 乌克兰语在线课程涵盖区块链技术、智能合约和 Solidity 的基础知识,可在Prometheus和 Youtube 上访问讲座视频。 Student Blockchain Hackathon Hongo Web3 Valley 面向日本学生的黑客马拉松,重点关注区块链与社会问题之间的交叉点,通过研讨会和讲座来指导初学者。 Tech4Democracy Bogotá IE University 展示正在开发具有进一步民主价值观潜力的区块链和 web3 技术的拉丁美洲项目。 Web3 Onboarding Event Cripto Curiosas 在秘鲁举办的讲座和研讨会旨在让女性加入 web3。 ZK Hack III 为期 4 周的虚拟活动包括每周关于关键 ZK 概念和工具的研讨会,以及高级解谜比赛以查找协议中的错误。 5th ZKProof Workshop 在以色列特拉维夫举办的研讨会,旨在促进 ZK 证明密码学的标准化,并增加全球公司和研究人员的参与。 13th Bar Ilan University Winter School on Cryptography 课程包括探索区块链技术最新进展的讲座和教程,包括共识协议、智能合约和桥梁。在以色列特拉维夫举办。 共识层 项目 受捐人 项目描述 Data Availability Sampling Networking RFP Codex 研究、建模和模拟用于数据可用性采样 (DAS) 的双层 Kademlia 协议。 DendrETH Metacraft Labs 项目开发 ZK 电路以验证有关以太坊当前状态的声明,由整个以太坊验证器集的签名支持。然后,这些 ZK 电路将用于轻客户端智能合约。 Ethereum Pools 聚合和监控属于知名实体(例如权益池和交易所)的以太坊验证器的仪表板。进一步开发开源 Golang 工具,以允许大规模监控验证器。 Lighthouse Sigma Prime 继续开发 Lighthouse 共识客户端。 Open Zeppelin Open Zeppelin来审计以太坊代码库的安全性。 Secure-Signer Puffer 防止通过可信硬件和远程证明强制执行的模棱两可的验证器客户端与现有的共识客户端和MEV-Boost兼容。 密码学和零知识证明 项目 受捐人 项目描述 Benchmarking Modern ZK Proof Systems with AI Primitives Modulus Labs 白皮书为给定的 AI 用例选择ZK 证明提供了全面的指导,详细阐述了不同证明系统(跨越证明时间和内存)的性能指标以及对这些系统进行有意义测试的通用 AI 原语/基准对象等主题. BLISH Cryptography Course 为乌克兰具有强大数学技能的学生提供的一系列与密码学相关的免费讲座和研讨会。 BlockWallet 为 BlockWallet 构建稳健的产品市场契合路线图——一种注重隐私的非托管浏览器扩展钱包,使用户能够私下存储资金并与区块链应用程序交互。 ECDSA Set Membership Circuits Blake McAlevey-Scurr 编写 Circom 电路来执行ECDSA 签名的ZK 证明。用于允许用户即时匿名证明一组地址的成员身份的应用程序。 Exploring the Feasibility of MACI in MPC Lev Alexandrovich Soukhanov and Yaroslav Rebenko Alekseevich 研究需要理解的数学问题和需要构建的原型,以评估多方计算 (MPC) 中的最小反共谋基础设施 (MACI)是否可行。 P2P ZK-Chat Kaylee George 创建分散式匿名聊天的库和浏览器扩展,具有垃圾邮件保护和对 Sybil 攻击的一些抵抗力。 RLN Library in Rust Rasul Ibragimov 与Vac 团队在 Rust 中进一步开发用户友好且与 WASM 兼容的速率限制无效器 (RLN)库,允许用户生成证明和见证,构建证明者和验证者,并验证证明。为 Rust构建持久性默克尔树实现。 Temporary Anonymous Zone (TAZ) Colleen Rose, Danilo Kim, Falco Rodenburg, Lee Poettcker, and Rich Warner TAZ 的持续开发,这将使最终用户能够轻松尝试匿名应用程序,并使开发人员能够使用代码库作为起点来学习、定制或构建他们自己的应用程序。 Training Optimization on Neural Networks with ZKP Seiya Kobayashi 开发一个实施提交-揭示方案的协议,证明者试图证明他们的测试数据的评估分数符合预定的错误范围,从而降低为神经网络生成有效性证明的成本。 Uncloak 建立密码学知识库,支持 ZK 开发人员和更广泛的密码学社区的成长和教育。 Zero-Knowledge Machine Learning (zkML) Cathie So 机器学习开发人员的平台,可以将他们在 Tensorflow 和 PyTorch 中训练的模型快速转换为与 ZK 兼容的模型。将包括一个 Circom 电路库、一个 Python-Circom 翻译器,以及一个托管、验证和支付赏金的 dapp。 开发者体验和工具 项目 受捐人 项目描述 Rust Ethereum Virtual Machine (revm) Dragan Rakita EVM的 Rust 实现,易于集成和使用,支持所有过去的分叉,通过所有以太坊状态测试,并且与EVMone一样快。 Solhint Protofire Solidity linter 使 Solidity 开发人员能够通过改进代码质量、顺序、可读性、风格指南、防止已知错误和提供安全警报来编写标准化的智能合约代码。 WTF Academy 0xAA 关于以太坊开发(例如 Solidity、Ethers.js)的免费、开源和社区审查的中文普通话教程,正在进行双语(英汉)翻译。 执行层 项目 受捐人 项目描述 Research on 'Commitment' Against Front-Running Attacks Andrea Canidio and Vincent Danos 前端运行攻击的博弈论分析,特别是研究使用新的提交揭示方法作为该问题的潜在补救措施的可行性。 一般性研究 项目 受捐人 项目描述 Accessibility Research Haptics DAO 研究评估那些有可访问性需求的人在浏览 web3 生态系统时遇到的问题,以生成一组定制的社区和WCAG知情的最佳实践。 DeScan Georgy Ishmaev and Martijn de Vos 研究改进的 Skip Graph 算法的开发和实施,用于可以容忍敌对点的去中心化搜索,以及如何使用该工具存储完整的以太坊交易历史记录。 Stablecoin Risks Research Tammy Yang 与稳定币风险因素相关的信息中心的研究和分析。 间接资助 项目 受捐人 项目描述 Technical Challenges in Enterprise Ethereum 继续探索以太坊企业用户在去中心化身份、NIST 标准一致性、基线协议规范以及第 2 层标准和规范等领域的问题和解决方案。 L2 项目 受捐人 项目描述 BLS Snap 将BLS 钱包集成到MetaMask 的MetaMask Snap,从而允许用户管理资产、捆绑交易并降低汽油费。 协议增长和支持 项目 受捐人 项目描述 Ethereum Protocol Fellowship (EPF) EPF 队列成员的津贴,该计划旨在让开发人员参与协议开发过程。 用户体验 项目 受捐人 项目描述 NiceNode 开源、开放许可和免费 GUI 应用程序,使用户能够通过单击按钮轻松运行他们选择的以太坊节点。 来源:金色财经lg...