V
主页
京东 11.11 红包
【Web3 合约开发】EVM Opcode、汇编语言与形式验证
发布人
源视频链接:https://updraft.cyfrin.io/courses/formal-verification 通过真实的例子,了解如何使用Halmos、Certora、Kontrol,以及使用Huff和Assembly编写智能合约。 代码仓库:https://github.com/Cyfrin/assembly-evm-opcodes-and-formal-verification-course 你觉得什么优质视频内容值得翻译出来和一同大家分享,欢迎私信与我交流~ 如果你认为本视频译的不错的话,欢迎三连+关注,将会定期译制优质的 Web3 技术、零知识证明密码学方面的硬核教学内容,随时获取最新资讯!
打开封面
下载高清视频
观看高清视频
视频下载器
【合约开发直播回放】如何制作一个加密版本的Onlyfans(全栈+智能合约)
21 小时智能合约安全审计课程(基础知识+案例实战)
【原创教程】Web3 项目实战 | 智能合约项目开发 | Solidity 实战 | 以太坊项目
【智能合约开发】UniswapV2 源代码逐行讲解!
【人工精翻】B站最新Solidity智能合约Foundry框架零基础教程13-15课(已完结)
【中文字幕】如何从零开始一步一步构建一个NFT卡牌对战游戏?
【Web3开发】从零开始在 Solana 上开发 Rust 应用程序(NFT 的制作与贩卖)
【4K中字】Web3发展中必不可少的新兴职业——智能合约审计师
【Ethernaut通关教程】智能合约安全审计游戏—Fallback(1)
跟我一起学 Solidity 编程 | 第1课: 数据类型
【区块链】如何从零开始构建一个链上众筹应用程序(合约+前端)
【4K中字】2024年油管大神最新智能合约安全审计课程节选(ThunderLoan篇)
【中文字幕】如何在15分钟内快速构建一个Web3的NFT应用?
【中文字幕】从零开始制作Web3.0链上边玩边赚钱的游戏
【区块链安全】通过这一个 Solidity 技巧节省了 2000 万美元!(合约工程师必看)
【4K中字】Web3区块链智能合约安全审计2023年全网最全学习路线!
【Ethernaut通关教程】智能合约安全审计游戏— Dex(22)
【Web3 开发】加密钱包的选择以及合约部署后的监控和维护
【Ethernaut通关教程】智能合约安全审计游戏— Shop(21)
Uniswap推出的L2!UniChain测试网交互教程 | 跨链桥交互 | 部署智能合约 | 以及六个sepolia领水网站汇总
【4K中字】最详细的UniswapV3合约逐行讲解教学(一)构造函数的编写
学完这个教程才算真正入门智能合约审计-Ethernaut超详细教程
【Web3 游戏开发】使用 Golang 构建去一个中心化扑克游戏(GameFi赛道)
【4K中字】最详细的UniswapV3合约逐行讲解教学(三)每个Tick中最大的流动性
【区块链开发】如何使用 Solidity 和 Unity 制作一个大型的 Web3 游戏
智能合约安全审计教学—以太坊虚拟机EVM中存在的一些低级漏洞(生肉)
【4K中字】最容易被忽视的智能合约漏洞(四)Memory 变量
【加密领域大佬的圆桌谈话】第一集:区块的链技术前沿
【4K中字】Web3区块链游戏开发引擎——MUD使用教程
2024年智能合约安全审计课程(第1-5课)
【Ethernaut通关教程】智能合约安全审计游戏— Dex2(23)
2024年智能合约安全审计课程(第7-8课)
【4K中字】对话区块链从业者——没有工作经历如何求职找到Web3工作
【零知识证明学习】ZKP Halo2 共学(中文课程)
【Web3 合约开发】关于 ERC-4337 以及 AA 钱包(账户抽象)的相关教程合集
【合约开发直播回放】区块链开发人员不能犯的致命错误!!!
【中英双语】零基础教你20分钟快速搭建Web3.0自动撸空投应用
如何通证化 RWA? - RWA 线上训练营(1/2)
【4K中字】Web3智能合约审计中常见但经常被忽略的漏洞!
【第44期】RWA,现实世界资产上链,一个更广阔的Web3空间