Web3 极客日报 #1016 | Rebase Network | Rebase 社区
1. Prusi: prototype verifier for Rust https://github.com/viperproject/prusti-dev @陈锡亮:Prusti 是一个 Rust 正确性检查器,可以分析 Rust 代码,可以检测代码是否正确,比如是否有溢出的可能性. 2. DeFi...
Rebase Community
1. Prusi: prototype verifier for Rust https://github.com/viperproject/prusti-dev @陈锡亮:Prusti 是一个 Rust 正确性检查器,可以分析 Rust 代码,可以检测代码是否正确,比如是否有溢出的可能性. 2. DeFi...
1. 一款开源的知识/文献管理软件 www.zotero.org @Jinhuifan:一款开源的知识/文献管理软件,支持pdf阅读等,可配合zotero-better-notes插件一起使用。 2. SVG生成工具 https://github.com/vercel/satori @Mark Tang:Satori是Vercel开源的SVG生成工具,可以将HTML和CSS代码转化为SVG格式的图片,在Satori的实现中,它会处理布局、字体等影响渲染的因素,使得渲染出的SVG与原始的HTML和CSS代码视觉上一致 3. 如何成为web3链上数据分析师 https://sixdegreelab.gitbook.io/mastering-chain-analytics/ru-men-jiao-cheng/jiao-cheng-qian-xu @Frozen:文章介绍了进行链上数据分析所采用的工具以及实现相应数据分析的思路,持续保持更新中,可以作为兴趣入门的教程
1. 我们离普及智能合约钱包还有多远?一文看懂ERC-4337 https://mp.weixin.qq.com/s/ZQAVSPHmRCGwtniuItT57w @Qi Zhou:这篇文章回顾了 EIP-4337 的最新进展,包括为什么需要 4337,4337 有什么新的功能,钱包会有什么样的变化等等有意思的话题。 2. Ethereum post-merge data tools https://inflectionvc.notion.site/Ethereum-post-merge-data-tools-66a29627f39d474ebc8c55b91f0e1785...
1. 一个分析EVM交易记录的Chrome插件 https://medium.com/@eigenphi/eigentx-chrome-extension-makes-your-defi-experience-better-fb7e3e098f0f @李一笑:由eigenphi开发的插件,图形化分析EVM链上交易记录,支持Mint,burn, flash loan, liquidation,arbitrage, sandwith等多种交易类型。支持Ethereum, BSC, Fantom, Avalanche, Polygon链。 2. DevCon 6...
1. 比webpack快700倍的新打包器 – turbopack https://vercel.com/blog/turbopack @Aaron Chi:vercel在招揽webpack创建者之后推出的前端框架,个人认为vercel的产品真的是前端领域的顶流。 2. Layer3 是什么?一文揭晓 Layer1 到 Layer3 进化史 https://mp.weixin.qq.com/s/k71zYci2EgxxKxqOKTuWAw...
1. Halo2学习小组的资料汇总 https://0xparc.notion.site/Halo2-Learning-Group-Homespace-32b6c45eeaa84c3baa01015da98f3ab4 @CyberOrange:由0xParc和Scroll等组织的Halo2学习小组的资料汇总,包括PPT,录播视频等。 2. 全面解读流动性资金池:如何成为DeFi的基础组件 https://www.panewslab.com/zh/articledetails/l4gn3qqc.html @Mark·R:上一轮牛市让DeFi这个词变得高频,而DeFi的关键基础组件流动资金池的原理和如何运作将在文章中回答。 3. 解读 Web3 的意识形态:密码学、分布式存储与博弈论 https://www.8btc.com/article/6784710 @River:文章从意识形态的角度对web3项目进行“竖向”介绍,并阐述Web3的三大基础原则。...
1. postgres性能调优 https://luis-sena.medium.com/tuning-your-postgresql-for-high-performance-5580abed193d @0xMax:随着postgres应用越来越广泛,推荐一篇做pg性能优化的文章,内容简洁实用 2. ENPUZ —— 在线英语句子语法分析 http://enpuz.com @shooter:Enpuz 全称 English Puzzle,提供众多英语学习工具。最具特色的是基于 AI 的英语长句可视化语法分析。...
1. postgres性能调优 https://luis-sena.medium.com/tuning-your-postgresql-for-high-performance-5580abed193d @0xMax:随着postgres应用越来越广泛,推荐一篇做pg性能优化的文章,内容简洁实用 2. ENPUZ —— 在线英语句子语法分析 http://enpuz.com @shooter:Enpuz 全称 English Puzzle,提供众多英语学习工具。最具特色的是基于 AI 的英语长句可视化语法分析。...
1. 一个移动端友好的以太坊区块浏览器 https://www.solidlint.com/ @Caos:一个移动端友好的以太坊区块浏览器, 方便在移动端阅读合约源码和函数, 调用合约的方法还在开发中, 可以保持关注. 2. 低门槛钱包:谁能抢占Web3用户第一入口? https://www.panewslab.com/zh/articledetails/cnv76pki.html @MarkR:淘金时最赚钱的是卖水的,在web3高速发展期,低门槛钱包很有潜力成长为超级dapp 3. 谷歌字体寻找工具 https://google-webfonts-helper.herokuapp.com/...
1. 去中心化稳定币,MakerDAO社区投票通过了Endgame计划。 https://twitter.com/DefiIgnas/status/1584914652529856512?t=3sW7x4VdQkpEvlg6QGZnyg&s=19 @Sun:去中心化稳定币为了稳定性,选择了中心化+去中心化的另类“hybrid”稳定币模式。但经过近期美国近期的政策动态,大家理解了中心化稳定币的不可依赖性。MakerDAO通过了Endgame的提案,风险与机会共存的一次转型。如果成功了,将是去中心化稳定币赛道一次大的变革。 2. PDF命令行搜索工具 https://pdfgrep.org @Mark Tang:pdfgrep是一个命令行搜索工具,它与grep的使用方式相似,但可以对PDF文件进行搜索 3. HyperPlonk: Plonk with Linear-Time...
1. Zero Gas Wasted: Winning the IAmTheOptimizor Challenge https://a16zcrypto.com/winning-the-iamtheoptimizor-challenge/ @Qi Zhou:a16z 参与了一个 gas 的优化项目,通过各种脑洞的操作来降低解决 3sum 问题的...
1. Web3 账户概念梳理 https://m.techflowpost.com/article/1495 @sny:刚刚结束的 Devcon 上,账户抽象算是是最热的几个话题之一。 2. JoyID:CKB 上利用 Webauthn 技术的非托管钱包方案 https://talk.nervos.org/t/joyid/6780 @Harry:JoyID 是基于...
1. Mud.dev — 链游框架 https://mud.dev/ @Survivor:概述:使用产品的自动组件来映射了链上和客户端,并提供了世界全局同步,包括所有数据(英雄,武器,道具等)和所有系统游戏逻辑,已经基于这个开发了三个示例,让你的链游快速展开~! 2. 通过空投网络钓鱼 https://forta.org/blog/breaking-the-ice-a-phishing-deep-dive/ @twpony:在Web3中,用户经常被诱骗签署交易,从而让攻击者可以在不知道账户私钥的情况下控制用户的token。本文讨论了几个通过空投(Multi/TrustPad Airdrop Phishing)进行网络钓鱼的案例。 3. 引介|EVM...
1. 推特活动抽奖工具 https://twitterpicker.com @Sam:此工具可以设置中奖人数,必须follow的账号,还能排除一些僵尸或活跃度很低的账号,方便在推特做抽奖活动。 2. speed run Ethereum https://speedrunethereum.com/ @River:7个 ETH 开发相关教程,包含 NFT/DEX/Oracle 等。 ...
1. MultiAvatar:多元风格头像 https://multiavatar.com/ @Frozen:MultiAvatar可以生成多元风格的头像,有多达120亿个组合可能,比较方便在产品中进行集成,类似的项目有 ethereum-blockies-base64,基于以太地址生成头像。 2. 天王级项目Sui测试交互教程 https://mirror.xyz/meta-mate.eth/AJQLs6a0Yru0mqHWdW-MIbw_jdHzC9plih8Hl7EDTdg @Mark·R:Mark: Aptos的毛相信大家都撸到了吧(逃,没撸到的看这里,这里是另一个同样使用Move提供高吞吐低延迟的下一代智能合约平台交互教程:) 3. cex交易API库ccxt https://github.com/ccxt/ccxt @0xMax:以统一的API提供几十个cex的接口,提供JavaScript,PHP,python,快速接交易所数据非常方便。...