Vyper

vyper telegram channel ;) t.me/+Hye7pgvCU31hZ…

formal language semantics + e2e formally verified compiler + formal evm model means that proofs about source code imply true properties about the compiled bytecode 😱🤯🤯

a teaser of things we have been working on -- we are betting flat out on formal verification being the future of software and have some very exciting milestones to announce soon too!

@philogy possibly! @harkal any benchmarks?

@vyperlang Holy, absolutely framemogging Solidity. I wonder whether the compile-times are better too?

released at github.com/vyperlang/yul2…

@0xNevermind @harkal x.com/vyperlang/stat…

@harkal Full feature parity between yul and venom or still wip? runtime only or with init bytecode? What about memory model fmp vs stack based? I’ve seen a repo created by a random dude with impressive features coverage in vyper tg channel but it seems to be private now.

Some Solidity compiles though Venom with the latest:

e2e formally verified snekmate who's building this?

Slowly, then all at once!

it can and it will be!

When the compiler has to be formally verified by Monday 😅

@big_tech_sux 🐍 ftw!

you can already build smart contracts with a great module system today in @vyperlang !

GCC Public Goods Grant Cohort 1 已于上周圆满结束。经过初筛、demo day和最终的投委投票，本轮共有五个项目成功获得GCC资助，它们分别是：SnarkExpress、@vyperlang、@HerstoryWeb3、@primus_labs、@join_agora。 作为GCC资助机制转型的第一期，Cohort1的数量与质量均超出预期，我们由衷感谢申请者的投入、专业与对长期建设的承诺。我们在此向所有投递申请的团队表示诚挚感谢，感谢你们在各自的领域里持续耕耘，让生态不断成长。 与此同时，我们也正式开启 GCC Public Goods Grant Cohort 2 的申请。 申请时间：12.8-1.9 申请链接：gccofficial.org/application/pu… 我们期待新的思路、新的角度，也期待与更多团队一起探索未来的可能性。 以下是对Cohort1入选项目的介绍👇 项目名称：SnarkExpress 捐赠金额：6,000u SnarkExpress 是一个专注 zkSNARKs 前沿研究的开源学术整合平台，以原生 LaTeX-PDF 格式滚动更新最新论文，覆盖 IACR ePrint、顶会专刊与季度特辑。项目为研究者提供结构化摘要、原文直链、可复用的 .tex/.bib 引用文件，显著降低文献追踪成本。 GCC此前曾资助过由密码学研究者 Kurt Pan 领衔维护的zkpunk.pro, 而SnarkExpress正是ZK Punk在论文部分的增强版。ZKPunk目前每月约 14k 独立访客，是华语区与国际 ZK 研究者快速获取最新论文的高质量入口。 GCC之所以选择支持 SnarkExpress，是因为它在零知识证明领域补上了一个长期缺位的基础公共设施： （1）当前 zkSNARK 论文数量庞大、来源分散且信噪比低，使研究者在追踪进展时成本极高。SnarkExpress 通过精选摘要、原文链接与可复用的 LaTeX/Bib 文件，让前沿研究以更清晰、可引用、可追溯的方式呈现，大幅降低了文献检索与复现难度。 （2）对于华语区开发者与研究者而言，它降低了阅读英文密码学论文的门槛，让更多人能够进入这一高度专业的研究方向，进一步提升本地生态与国际前沿之间的连接效率。 GCC 希望支持那些能够拓展知识边界、降低进入门槛、并让更多人因此受益的建设性工作。SnarkExpress 正是在做这样的事：它让信息更可获取、让研究更容易被接近，也让不断涌现的新问题有了更清晰的参照路径。 项目名称：Vyper 捐赠金额：30,000u Vyper 是一种类 Python 的智能合约语言，为以太坊和各类 EVM 兼容链提供“安全优先、可读性优先”的开发体验。它已在 Curve、Lido、Yearn 等主流 DeFi 协议中大规模使用，长期守护着数十亿美元资产，是经过生产环境检验的工具链。本次申请的「Vyper 华语开发者生态计划」并不试图再造一门新语言，而是围绕 Vyper 做系统性的中文本地化与生态建设：包括线上共学营、中文教程与文档、五城线下 Workshop 与迷你黑客松，让华语开发者真正拥有一个可用、可学、可实践的语言选项。 GCC 支持 Vyper，是因为它在“语言层面的安全基础设施”和“华语开发者教育”两个方向上，都补足了当前生态中实际存在的缺口。 （1）在 EVM 世界中，Solidity 几乎是唯一语言，单点依赖带来的结构性风险一直存在。Vyper 提供了一条经过实践验证的替代路径：语法收敛、更严格的约束设计，让项目能在开发阶段就降低一部分潜在的安全隐患。 （2）在华语开发者生态中，Vyper 长期处于“有生产案例、但缺少入口”的状态：中文资料零散、社区缺乏持续运营、面向高校与新手开发者的内容也不成体系。该计划希望通过本地化文档、课程与活动，把最基础的学习入口搭建起来，让后来者不再需要从头摸索。 更让人欣喜的是，华语区有大量的python开发者，而对于想要从web2转型web3的python开发者来说，Vyper几乎是最好上手的区块链编程语言，通过资助Vyper团队，我们期待他们能够将更多的开发者带入区块链编程世界，并将这些努力沉淀下来复用和迭代，让更多华语开发者在未来拥有多一种可靠的语言选择。Vyper 团队承诺的课程、文档与活动模板都将公开发布，并将收集并回馈数据，让社区与捐赠方能够清晰看到这项投入在未来几年可能产生的连锁效应。 当然我们也认识到，相比于Solidity，Vyper仍然是一门小众语言，会给入门学习者之后的职业选择带来不小的限制。所以，在开发者社区建设以外，我们也期待Vyper能够在推广语言采用上取得更长足的进展。 项目名称：Herstory 捐赠金额：5,040u Herstory 是华人社区中少有的、专注女性 Builder 教育与项目孵化的共学空间。团队以“女性社区 + 共居 + 线下共学 + 项目输出”的方式，为第一次进入 Web3 的女性提供一个友好、结构清晰、能够持续学习的环境。从 PoS 原理到 Solidity 开发，再到项目孵化与 Demo Day，Herstory 希望在一个安全、包容、彼此支持的场景里，陪伴女性走完进入 Web3 的第一段路。自 2023 年以来，Herstory 已在曼谷、清迈等地组织多场线下学习营，并在女性项目孵化、国际合作与课程开源方面逐步积累了方法论、内容体系和传播矩阵。 GCC 支持 Herstory，是因为它直面了女性在进入技术行业时普遍存在、却常常被忽略的门槛，并在努力探索解决方案。 （1）Web3 的性别失衡十分突出：女性创始人比例仅约 7%，女性团队获得的资源、机会与行业连接也显著不足。Herstory 通过系统课程、助教机制与同伴学习，为女性提供了一条更容易进入、也更愿意留下来的学习路径。 （2）在华语生态中，女性往往缺乏行业网络、视野与实践场景。Herstory 与 HerDAO、WiEP、EthCatHerders 等国际组织合作，帮助学员跨文化连接资源，并参与黑客松、孵化器与实际项目的协作。 （3）许多女性离开技术社区的原因并非能力不足，而是缺少一个让自己“能够被看见、能够安心学习”的环境。Herstory 在课程结构、陪伴方式与场景选择上，都主动去降低这些隐性门槛，使坚持与成长成为可能。 GCC希望支持这种能够不断降低门槛、不断向外延展、并在时间里累积影响力的建设性工作，也期待Herstory 能帮助更多女性在 Web3 中找到属于自己的位置。 项目名称：Primus 捐赠金额：16,000u Primus 构建面向 Web3 的数据基础设施，使用 zkTLS 与 FHE 等前沿密码学技术，让链下数据在不泄露隐私的前提下实现可验证、可计算、可协作。项目聚焦解决 Web3 长期存在的两类底层问题：其一，链上难以判断链下数据是否真实；其二，用户在现有系统中缺乏对自己数据的控制权。Primus 已与多条链和隐私计算项目建立合作，包括 Linea、Monad、Pharos、Nillion、Brevis、Phala、Aztec、Succinct 等，并在开发者生态中积累了百万级的链下数据验证与使用场景。 （1）许多 Web3 应用依赖链下信息，但缺乏安全、可验证的方式，使链上逻辑难以与现实世界连接。Primus 通过 zkTLS 让任何基于 HTTPS 的数据源都具备可验证性，为金融、身份、AI、社交等场景提供了统一的链下数据入口。 （2）在隐私层面，FHE 作为安全性最高的加密计算方式之一，可以在“数据不暴露”的前提下完成计算，为支付、身份、风控与协同应用提供关键能力。值得关注的是，Primus 在获得融资后仍持续开源其底层协议与工具链，其愿意将基础模块长期向社区开放的态度，让这一架构具备了公共物品的特征。 更重要的问题在于：这类底层隐私基础设施能否成为未来生态可以反复使用的“公共能力”。Primus 从算法、编译器到 SDK 都在逐步开源。GCC支持Primus，希望它在服务专业团队的同时，也能使华语开发者以更低门槛接触复杂的密码学能力，并将其带入真实场景，为华语学习者提供 FHE 入门材料、文档与示例，让更多人能够持续进入这一技术方向。 项目名称：Agora Citizen Network 捐赠金额：20,000u Agora Citizen Network 是一个完全开源的公民审议平台，结合机器学习（ML）、大语言模型（LLM）与零知识证明（ZK）等前沿技术，构建了一个对公众开放、结构化且可规模化的多方对话空间。平台以 Pol.is 的共识形成逻辑为基础，让参与者围绕“观点本身”表达态度，而非依赖社交媒体式的点赞、情绪化互动或同温层扩散。系统会根据这些输入自动绘制群体结构，识别分歧点与潜在共识，从而让更多人能够在安全、可靠的环境里理解彼此，参与公共议题。 自 2024 年以来，Agora 已支持超过 130 场公民对话，覆盖 3,000 名以上参与者，系统累积处理逾 11.5 万次投票，并获得欧盟、法国政府与世界银行青年峰会的资助与认可。团队结构精简但执行稳定，技术体系完全开源，可被 NGO、DAO、城市治理团队或大学研究者直接部署与扩展，逐渐成为 civic-tech 领域中一个可复制、可构建在其上的基础设施。 GCC 之所以选择支持 Agora，是因为它试图回应一个全球范围内愈发紧迫的公共问题：（1）在极化与碎片化不断上升的社会环境中，单纯的投票与简单的多数机制已经难以反映真实的意见结构，也无法帮助人们理解彼此的理由与关切。Agora 让讨论回到“观点本身”，通过结构化表达与算法辅助，让分歧更可见，也让可能存在的共识被发现。（2）在一个跨文化、跨区域的互联网环境里，能够让人们以匿名身份更安全、更真实参与公共 deliberation 的工具极其稀缺，而 Agora 正在补上这一块长期缺位的基础设施。 当然，如何推广此类平台，以及如何更好地与华语区的现实相结合，是一个不可回避的问题，也期待我们的资助可以让Agora团队在这两个方向上做出更多努力。 我们想向本期参与评审的投委表达由衷的感谢：@firmy @yisiliu @SARAHWAGMI @not_qz @vvntp6 @AnneJ_ECF @fangtingeth @nake13 @lurenbian ，感谢编外支持康叔：@ConstantinGao 同时也感谢为我们推荐优秀项目的朋友们 @imxy007 @NPC_Leo @constantingao, 所有推荐项目进入demo day的朋友都将获得我们的一笔小额感谢。 GCC 坚持公开、独立、透明的资助方式，把资源放在真正需要的地方，支持那些默默建设生态的人。谢谢你们让这一切成为可能。 本次进入demo day的9个项目的所有申请提案与投票记录均在 snapshot.org/#/s:gccofficia… 公开可见，欢迎大家持续监督，提出意见和建议，让我们可以做得更好。

@odysseas_eth 👀

if everybody is excited about not having inheritance in solidity, does that mean that @vyperlang was right all along?

Thank you @big_tech_sux for the nudge to build a @vyperlang version of my scientific-grade floating-point math library. @cavalre/high-precision-solidity" target="_blank" rel="nofollow noopener">hackmd.io/@cavalre/high-…

@phannhatlan 直接用 venom 編譯 solidity 合約

@vyperlang 用Vyper重写，gas费直接腰斩

"reduce the size of your solidity contracts with one simple trick"

. @harkal do you have anything to comment

a vyper chapter in "Mastering Ethereum: Implementing Smart Contracts": masteringethereum.xyz/chapter_8.html

sugar API powered by @vyperlang saving $2m / year -- and 100% uptime inherited from underlying L2s thanks for the mention @DromosLabs !

Curve's deployment on @monad is live, bringing deep and dependable liquidity to a high-performance EVM chain. Starting day one, users can swap, trade, deploy liquidity and create pools with the same Curve tooling they rely on, now available on Monad. gmonad news.curve.finance/curve-live-on-…