找到约 14 条结果

文章 深入探索 Cairo 编程语言：Starknet 的基础与实践

...esult very quickly on a cheaper machine. While Cairo 0 used to be directly compiled to CASM, the Cairo CPU assembly, Cairo 1 is a higher level language. It first compiles to Sierra, an intermediate representation of Cairo which will compile later down to a safe subset of CASM. The point of Sierra is...

视频 ZK白板系列S2 - M2：Sum-Check协议

视频的核心内容是关于“Sum-Check协议”的介绍和应用，主要由乔治城大学的助理教授Justin Thaler讲解。该协议旨在高效地计算多变量低度多项式的和，尤其是在可验证计算的背景下。 **主要观点和关键论据：** 1. **Sum-Check协议的...

视频 【第109期】Bitcoin ZK Rollup：实时证明与Goat Network实践

AI 总结：本次公开课主题为Bitcoin ZK Rollup实时证明。Stephen Duan分享了零知识证明的背景、关键技术及Goat Network的实践方案。 小结 1. ZK Rollup与实时证明（Real-Time Proving） 概念: 实时证明旨在最小化生成证明所需的时间，理想场...

文章 【深度解读】 Uniswap统一化提案与CCA协议的价值

...链路，解读下一代 DEX的原理创新与挑战](https://mp.weixin.qq.com/s?\__biz=MzIyMTQ5MTg5Mw==\&mid=2247484203\&idx=1\&sn=e728ad75369b5596217f628bb078ce84\&scene=21#wechat_redirect) [从UniSwapX和AA出发冷静看待意图为中心的落地挑战](https://mp.weixin.qq.com/s?\__biz=MzIy...

视频 智能合约审计、DeFi安全课程 | DeFi 介绍

视频 AI 总结： 该视频是安全审计课程的一部分，重点讲解如何进行 DeFi 项目（特别是 AMM 类型的 DEX，如 TSWAP）的安全审计。核心内容是学习如何通过理解项目的运作方式和不变性（invariants）来发现漏洞，甚至在不看代码的情...

文章 在 Berachain 上部署 ERC20 合约

...RA`）做 gas，可以到[熊链水龙头](https://bartio.faucet.berachain.com/)领取，领取条件是需要在ETH主网有0.001ETH的资金， 一次可以领1BERA。  ## 安装 Foundry ```bash $ c...

文章 Solidity 算术

...什么，否则不应使用。 **练习题** [加法](https://github.com/RareSkills/Solidity-Exercises/tree/main/Add) [除法](https://github.com/RareSkills/Solidity-Exercises/tree/main/Divide) [指数](https://github.com/RareSkills/Solidity-Exercises/tree/main/Exponent) [未检查](h...

文章 我们如何在lambdaworks中实现BN254 Ate配对

...chain.cn/article/22996/)验证（使用 [Groth16](https://blog.lambdaclass.com/groth16/) 和 [PlonK](https://blog.lambdaclass.com/all-you-wanted-to-know-about-plonk/) 等证明系统）最实用的 pairing-friendly 曲线选择。这项工作源于我们需要[自己实现的 BN254 Ate pairing](http...

视频 高级调用数据指南 | 你需要知道的一切

视频的核心内容是深入解析区块链交易中的调用数据（call data），特别是如何解读复杂的调用数据结构，以帮助区块链工程师和安全研究人员提升他们的技能。视频通过一个具体的交易示例，详细讲解了调用数据的布局、内存存...

视频 交易所钱包开发

视频 AI 总结： 视频详细阐述了中心化交易所（CEX）钱包系统的构建与安全机制。核心内容围绕用户充值、提现两大功能展开，并深入探讨了私钥管理、区块链重组处理、资金分级管理以及全面的风险控制策略。系统通过多层隔...

文章 TRON 的 DPoS 共识算法基础

...激励模型，请查看链接：[TRON 网络激励机制](https://medium.com/@coredevs/tron-network-incentive-mechanism-afc26b341967) ### 优势与局限 TRON 采用的 DPoS 共识机制可以在网络分区时保证系统可用性。在链分裂后的网络连接恢复时，节点将遵循...

视频 复习: Web3 DApp 开发架构梳理

视频 AI 总结： 本次复习课程主要围绕 Web3 应用开发展开，深入探讨了 DApp 的架构、前端与后端通信、钱包连接以及数据处理。课程强调 DApp 主要以 H5 页面形式存在，并与独立钱包（如 MetaMask）分离，以增强用户信任和资产安全...

视频 科学家用五个难度级别解释零知识证明(ZKP)

视频的核心内容是关于零知识证明（Zero-Knowledge Proofs, ZKP）的概念及其应用。零知识证明是一种允许证明者向验证者证明某个陈述为真，而不透露任何额外信息的技术。视频通过不同的复杂度层次，逐步解释了这一概念，并展示...

视频 智能合约安全审计：流程、工具与监控

视频主要介绍了智能合约安全及审计。介绍合约开发全生命周期的安全注意事项，包括审计流程、监控方法和事故分析等技术要点。系统性地介绍了从代码编写到上线运行各环节的安全实践方案。 1、安全审计的流程与重要性 ...