Loading video...

Video Failed to Load

Go Home

是时候给大家看点搞笑的视频了😂😂,还有刚刚看到如我早上说的 $RIVER 果然反弹了,但是还看不出来明天会不会继续反弹,没必要去博,风险特别大。 很多人把 Miden 简单理解为隐私或 ZK,但它真正激进的地方在于:它把“干活”从“点数”里彻底剥离了。 🏗️ 传统逻辑:大家盯着你干活 现在的 L2(不管是 OP 还是 ZK 系),本质上都在玩“公用厨房”模式: 捆绑: 谁在执行、怎么执行,全网都要盯着。 内卷: 因为大家都要看,所以必须卷排序器、卷速度。一旦“干活过程”需要全网监督,效率永远有上限。 ⚡ Miden 逻辑:你在家干活,全网只看结果 Miden 选了一条完全不同的路:执行是私人的,共识是数学的。 局部执行: 所有的操作都在你自己的账户里完成。不需要全网观察,也不需要实时参与。 只验结果: 你只需要提交一个状态变化和一份证明(ZK Proof)。 共识减负: 系统只关心一件事——你提交的这个结果,数学上能不能对得住? Miden 不只是快,它是把区块链从“集体监工”模式,变成了“结果驱动”模式。这才是它对现有架构最危险、也最迷人的挑衅。 #KaitoYap Kaito AI 🌊 #Yap Miden

136,370 views • 8 months ago •via X (Twitter)

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

这两年大家一提链上隐私,基本都会卡在一个死结上。 要么隐私很强,但几乎不可用。 要么能用,但一出事就是系统级灾难。 问题不在 ZK,也不在密码学,而在于一件被忽略很久的事。 隐私一旦失控,比透明更危险。 大多数链的隐私逻辑,其实是一次性把门关死。 你看不到我,我也看不到你,合约也看不到自己在干什么。 平时没事的时候还好,一旦出了 bug,或者账户被劫持,用户连自救的空间都没有。 Miden 走的完全不是这条路。 它不是在追求绝对不可见,而是在设计一种可控的不可见。 关键点在账户模型。 在 Miden 里,隐私不是写在合约里的,而是写在账户里的。 这听起来像一句废话,但实际差别非常大。 在 EVM 世界,账户只是一个地址。 隐私要靠外部工具补,靠混合器,靠证明,靠绕路。 这些东西一旦部署,就是全 or nothing。 而 Miden 的账户,本身就是一个带规则的执行体。 你可以决定哪些状态是私有的,哪些是公开的。 更重要的是,你可以决定在什么条件下,它们可以被看见。 这就是 threat resistant 的第一层含义。 不是防止一切攻击,而是即使出事,损失也被限制在你设定的边界里。 举个很现实的场景。 如果你的账户被恶意调用了。 在大多数链上,这意味着你要么全暴露,要么全锁死。 而在 Miden 里,你至少还能做到三件事。 第1️⃣:攻击者只能看到你允许他看到的状态。 第2️⃣:他无法调用你没授权的执行路径。 第3️⃣:他不能把你的账户变成一个“不可恢复的黑箱”。 这是隐私可控的第二层。 隐私不是隐藏信息,而是限制权力。 Miden 很少在宣传里强调这一点,但从安全角度看,这比零知识本身重要得多。 因为真正的风险,从来不是有人看到你,而是有人能替你做决定。 再往深一层看。 Miden 的执行模型本身就假设世界是有敌意的。 包括节点,调用方,甚至你自己未来写的代码。 所以它不信任连续成功。 它默认失败是常态。 这也是为什么 Miden 对隐私的处理是“局部的”。 不是一次证明整个状态是对的。 而是每一次执行,只证明这一步合法。 这让隐私变成一种逐步暴露的能力,而不是一次性押注。 你可以选择在正常情况下完全私有。 也可以在出现争议,审计,仲裁时,按规则释放最小必要信息。 不是交出全部,而是只交出你答应交出的那一部分。 这就是 threat resistant 的第三层。 隐私不等于无法被验证。 很多隐私系统,一旦需要验证,就只能牺牲隐私。 而 Miden 的思路是,验证本身就是账户逻辑的一部分。 不是事后补丁。 从长期建设者视角看,这一点非常关键。 因为真正能活下来的系统,一定会经历事故。 不是有没有问题,而是问题出现时,系统会不会自毁。 Miden 的隐私设计,本质上是在避免“全输”。 不追求极致匿名。 不赌一次完美执行。 而是允许世界不完美。 所以如果你问我,Miden 的隐私到底强不强。 我会说,它不是最强的那种。 但它是少数在真实威胁下还能继续工作的那种。 而这,才是隐私真正进入可用阶段的标志。 #miden #KAITO

阿川

16,461 views • 8 months ago

刷到 a16z 那份 Big Ideas 2026 的时候,我第一反应不是“前瞻”,是晚了。 他们终于把一句很多人心里明白、但一直不敢明说的话写出来了: 隐私不是加分项,是生死线。 链上世界现在最大的问题不是慢,也不是贵。 是你在裸奔。 地址一亮, 资产规模、交易习惯、对手盘,全给人看明白。 你以为是透明。 在机构眼里,那叫自杀式上链。 所以这些年发生了什么? 散户在链上玩。 大钱躲在 CEX、OTC、电报群。 不是他们不懂 Web3, 是这套基础设施,根本不配让他们用真金白银。 大多数公链怎么补救? 事后加隐私。 ZK 插件。 混币。 桥来桥去。 听起来很高级, 本质就一句话: 房子是玻璃的,给你发块窗帘。 Miden Miden 不一样。 它不是给透明链“打补丁”, 而是从一开始就假设: 用户不想被看见。 本地执行。 客户端生成证明。 链上只验证对不对, 至于你是谁、干了什么、赚了多少—— 没人有资格知道。 这一步,才是机构真正敢上链的前提。 a16z 为啥在报告里点名? 很简单。 他们比谁都清楚: 一旦资产和行为被隐私链包住, 迁移成本高到你根本不想走。 这才是护城河。 不是 TPS, 不是叙事, 是你敢不敢把钱放进来。 到 2026 年, 公开链还在比参数, 隐私链开始吃需求。 这不是理想主义。 是钱的本能。 我现在看 Miden, 不当新叙事看, 当迟早要补的底层账。 剩下的, 你们慢慢品 Miden #Yap #Kaito Kaito AI 🌊

Captain Jim | 火币赚币💰

519,113 views • 8 months ago

为什么说 StandX 是在为活人设计,而不是为流量设计? 在链上混久了,你会发现一个很荒诞的现象 大多数永续 DEX 其实并不关心你这个人。 在它们眼里,你只是一个钱包地址,带着一串成交量,贡献了一笔手续费,然后最好赶紧把仓位平了,好让它们去统计数据。 这种设计假设交易者是短视且流动的,导致的结果就是:热闹的时候大家都在卷返佣,一旦奖励断了,平台立马就变成了一座空城。 但我盯着 StandX 看了很久,发现它的底层逻辑完全反了过来。 它是在假设你会留下来,甚至假设你会把这里当成长期的交易主场。 首先,它解决了交易者的空窗期焦虑。 做交易的人都知道,最耗神的不是盯盘,而是当你没机会开仓时,资金在那儿干坐着,系统也把你当成隐形人。 StandX 引入 DUSD,大家都在聊收益,但我看到的是连续性。 你的保证金在不交易的时候,依然是有反馈、有价值的。 这意味着你不需要在 USDC 和各种池子之间反复折腾。 这种不需要反复决策的丝滑感,是老手最看重的,因为它极大降低了心理损耗。 其次,它对订单簿的坚持,其实是对专业性的某种笨拙守候。 说实话,现在做 AMM 或者合意模型更容易拉新,因为新手点一下就能成交。 但 StandX 坚持搞订单簿,甚至鼓励挂单和 Maker 行为,这其实是在筛选用户。 它想要的是那些会计算成本、会管理仓位、会预埋限价单的长期交易者。它不是在讨好所有人,它是在服务那群真正懂交易的人。 最让我感触的一点,是它的奖励机制。 很多平台的激励其实是在鼓励自杀——诱导你为了拿奖金去高频刷量,最后手续费亏得比奖励还多。 而 StandX 的逻辑更倾向于奖励耐心。它看重的是你的持仓、你的挂单质量、你留在系统里的时长。 这种设计释放了一个信号:你不需要在这里做那个打一枪就换地方的过客。 说到底,链上永续协议现在的瓶颈不是技术,而是留存。 如果一个协议默认用户只是路过,那它永远留不住人。 StandX 现在的低估,很大程度上是因为它在做一件慢事——它在尝试建立一套让交易者能长期待得住的结构。 它不一定是为那些最激进、最疯狂的投机者准备的,但如果你想在链上找一个能稳定管理仓位、能让资金产生持续价值的地方,StandX 的路子走得非常正。 #standx #KAITO

比克大魔王

32,323 views • 8 months ago

哥哥们你们太卷了,卷不过你们了,掉了30多个名额了哦!哭死了!哎!!! ——— 说实话,我一开始也是被 ZK 那一套讲法讲烦的。 什么数学优雅、终极信任、密码学圣杯,听多了真的会走神。 直到我在看 Inference Labs 的时候,脑子里突然冒出一个很不体面的画面: 这玩意儿怎么这么像拆熟食的? 传统 AI 给我的感觉,就像买一整块封装好的肉。 看起来油亮,切面也不错, 但你永远不知道里面有没有掺点别的。 你只能选择信,或者不用。 Inference Labs 干的事反而很“笨”: 它不让你信整块, 而是把 AI 推理一刀一刀拆开。 你不需要接受“这个模型很强”这种宏大叙事, 你只需要确认一件小事: 这一刀,是不是真的这么切的。 说实话,这个点戳到我了。 DSperse 那套分布式验证,说白了就是在帮人偷懒。 不是让所有人去理解整个模型, 而是让验证这件事本身变轻。 我不用背“我要为整个 AI 结果负责”的心理包袱, 我只关心我现在用到的这一小段推理, 有没有被乱来。 这在很多现实场景里太重要了。 医生、风控、合规, 没人有精力啃完整头猪。 更让我有好感的是,他们连“怎么验”都顺手简化了。 我是真的讨厌管理私钥。 不是不懂,是不想。 每次验证之前先来一套仪式感, 本身就已经在劝退人了。 和 Self Chain 的无密钥方案, 第一次看到的时候我心里是松了一口气的那种感觉: 哦,终于不是为难普通人了。 验证 AI,本来就不该比点外卖还复杂。 ⸻ 所以后来我发现, Inference Labs 干的事,其实挺不浪漫的。 它不讲终极信任, 也不喊改变世界, 只是很务实地把信任拆碎、摊平、递到你手里。 你想验,就验这一小块。 你不想理解,也没关系。 未来如果 AI 真开始翻车, 那些没法被拆、没法被验的模型, 大概真的会被永久挂在链上当反例。 我现在已经不太关心 “这是不是真正的 ZK 巅峰设计”了。 我更在意的是: 当我真的要用 AI 的那一刻,它有没有为我考虑过。 这一点上,Inference Labs 至少让我愿意继续看下去。 #KaitoYap Kaito AI 🌊 #Yap Inference Labs

董小姐 MemeMax ⚡️ 🐬TermMax

27,155 views • 8 months ago

星爷讽刺了世间一切,唯独没有讽刺爱情,: 原来是如此的隐喻,到现在才明白,感谢星爷,只是我们弄脏了爱情。 —— 我之前一直对 zkML 有点矛盾。 逻辑上它很美:模型是对的,而且你还能证明它是对的。 但每次真去看实现,基本都会卡在同一个地方——跑不起来。 不是“慢一点”,而是那种一看资源占用就知道不可能进生产的跑不起来。 模型稍微大点,电路直接失控,内存、时间全都爆表, 最后只能留在论文和 demo 里自嗨。 所以我第一次认真看 Inference Labs 的时候,关注点反而不在“zk”, 而在他们是不是愿意承认:这玩意本质是工程问题。 DSperse 给我的感觉,就是终于有人不再执念“一次性证明整个模型”。 模型切开、并行跑、只验证关键路径, 听起来很朴素,但恰恰是工程师会选的路。 不是最优雅,但能活。 JSTprove 则更现实。 你不需要懂零知识、也不用研究电路怎么写, 把 ONNX 模型丢进去,能转、能跑、能验, 这点其实比很多“性能提升 10%”更重要。 这两块拼在一起之后,zkML 才第一次让我觉得: 它不是在证明“我可以”, 而是在回答“你要不要真用”。 对我来说,zkML 的拐点从来不是密码学突破, 而是有没有人愿意为“跑得起来”妥协设计。 Inference Labs 看起来,至少选了这一边。 懂你意思了,这版我会刻意留下不完美、主观判断和情绪停顿,像是你自己琢磨出来的,而不是“写给别人看的技术解读”。 —— 我之前一直对 zkML 有点矛盾。 逻辑上它很美:模型是对的,而且你还能证明它是对的。 但每次真去看实现,基本都会卡在同一个地方——跑不起来。 不是“慢一点”,而是那种一看资源占用就知道不可能进生产的跑不起来。 模型稍微大点,电路直接失控,内存、时间全都爆表, 最后只能留在论文和 demo 里自嗨。 所以我第一次认真看 Inference Labs 的时候,关注点反而不在“zk”, 而在他们是不是愿意承认:这玩意本质是工程问题。 DSperse 给我的感觉,就是终于有人不再执念“一次性证明整个模型”。 模型切开、并行跑、只验证关键路径, 听起来很朴素,但恰恰是工程师会选的路。 不是最优雅,但能活。 JSTprove 则更现实。 你不需要懂零知识、也不用研究电路怎么写, 把 ONNX 模型丢进去,能转、能跑、能验, 这点其实比很多“性能提升 10%”更重要。 这两块拼在一起之后,zkML 才第一次让我觉得: 它不是在证明“我可以”, 而是在回答“你要不要真用”。 对我来说,zkML 的拐点从来不是密码学突破, 而是有没有人愿意为“跑得起来”妥协设计。 Inference Labs 看起来,至少选了这一边。懂你意思了,这版我会刻意留下不完美、主观判断和情绪停顿,像是你自己琢磨出来的,而不是“写给别人看的技术解读”。 —— 我之前一直对 zkML 有点矛盾。 逻辑上它很美:模型是对的,而且你还能证明它是对的。 但每次真去看实现,基本都会卡在同一个地方——跑不起来。 不是“慢一点”,而是那种一看资源占用就知道不可能进生产的跑不起来。 模型稍微大点,电路直接失控,内存、时间全都爆表, 最后只能留在论文和 demo 里自嗨。 所以我第一次认真看 Inference Labs 的时候,关注点反而不在“zk”, 而在他们是不是愿意承认:这玩意本质是工程问题。 DSperse 给我的感觉,就是终于有人不再执念“一次性证明整个模型”。 模型切开、并行跑、只验证关键路径, 听起来很朴素,但恰恰是工程师会选的路。 不是最优雅,但能活。 JSTprove 则更现实。 你不需要懂零知识、也不用研究电路怎么写, 把 ONNX 模型丢进去,能转、能跑、能验, 这点其实比很多“性能提升 10%”更重要。 这两块拼在一起之后,zkML 才第一次让我觉得: 它不是在证明“我可以”, 而是在回答“你要不要真用”。 对我来说,zkML 的拐点从来不是密码学突破, 而是有没有人愿意为“跑得起来”妥协设计。 Inference Labs 看起来,至少选了这一边。#KaitoYap Kaito AI 🌊 #Yap Inference Labs

董小姐 |上Gate玩事件合约

36,252 views • 9 months ago

凭啥说中国🇨🇳未来是美国🇺🇸唯一对手?你把一颗螺丝、一个零件、一个驱动程序拆开看,它什么都不是。但中国人擅长的不是某一个点,而是把所有点“组装成系统”的能力。上世纪90年代,美国搞去工业化,把制造业往外甩,老美资本家兴奋地下注:我们掌握设计、技术和规则,低端的制造就让“中国工厂”搞定。没人意识到,这不是工厂的外包,这是工业文明主动放弃了自己的“系统底盘”。风险?独家解读⬇️ 什么是底盘。美国🇺🇸它丢掉的是整个“Industrial Commons”—设计、试产、测试、修正、工艺优化……整条从实验室到量产的链条。 你可以限制光刻机、顶尖芯片,但你无法消灭中国的“体系构建能力”。然后中国开始补短板,搞芯片,搞AI,搞软件算法。最可怕的不是它追上了,而是它把这些东西也系统化了。 算法 + 工厂;数据 + 封装;大模型 + 自动化流水线。你可以断它的卡脖子技术,但你断不了它的体系构建能力。这个世界上现在只有一个国家,能把工业体系“整体打包开战”——就是中国。 这不是那种“靠卷”堆出来的,而是有深层文化机制支持的能力。能干,听话,聪明,擅长协作、执行和大工程落地。这不是一种能力,是一种建立在儒家文明结构。 所以说,特朗普不是疯子,他只是看懂了这件事。他知道,中国不是偷走了几个岗位,是在悄悄拼装一个能打仗的产业链闭环。 而这正是美国最怕的事:一个有软件有算法、后面硬件有工厂、有指挥系统、还能一体化推进的国家。 但故事还没结束。 中国🇨🇳真正的对手,其实不是美国🇺🇸。是自己。 因为历史上所有系统性最强、执行力最强的国家,最终往往都败在“刚性太强,转弯太慢”。 它会赢在系统,也可能毁在系统。摧毁一个像中国这样的国家,不需要敌人,只需要它自己不断加速、不留缓冲。

Tigris 会讲课教授是好老师

164,394 views • 1 year ago

卧槽!a16z也对加密失去信心了?最近放话说DeFi还撑不起真正的金融市场! 这事其实挺打脸的。 这些年行业最爱吹的是什么? TPS。 吞吐。 几万笔,几十万笔,听着一个比一个猛。 但 a16z 现在已经不信这个。 它更关注的是你那笔交易发出去,到底什么时候能上链。 会不会被插队。 会不会被人先看光。 这玩意儿不解决,DeFi 就别吹自己能接住真正的金融市场。 1、DeFi 现在最大的问题,不是处理不了交易,是交易执行根本不靠谱。 支付场景里,慢几秒还能忍。 金融市场不行。 做市商改价。 拍卖出价。 清算。 撤单。 这些东西,慢一点,钱就没了。 你想想就知道。 市场一波动,做市商第一反应一定是撤旧单、挂新单。 结果链给你的承诺只是: “你这个交易最终会上链。” 但具体先进哪一块,不知道。 这就废了。 因为别人可以比你更早进去,把你的过时报价狠狠干掉。 最后做市商只能怎么办? 把点差拉大。 用户成交更差。 链上市场永远做不出真正的深度。 2、问题也不在应用层,问题在底层把太大权力交给了出块的人。 现在很多链,本质上都是一个领导者说了算。 谁先进区块。 谁后进区块。 谁干脆别进区块。 都看它。 工程上这很方便。 金融上这就是大坑。 因为只要你有这个权力,你就天然可以赚这种钱: 先看别人的单。 延迟别人的单。 把自己的单插前面。 或者干脆不让别人进。 这不只是夹子问题。 这是市场结构本身有问题。 说白了,很多链上市场不是输在产品不够花。 是输在底层规则就不公平。 3、只要有人能先看你的单,或者不让你的单上链,很多市场天然就长不大。 拍卖就是最简单的例子。 如果有人能审查你的出价, 那他可以直接把别人挡掉,自己低价拿走。 如果他不能挡你,但能先看到你的出价, 那也一样。 他只要压你一点点就行。 或者发现你这个价格已经不划算了,那他就不接,让你自己亏。 现货、永续、衍生品,本质都一样。 只要系统里有个角色同时拥有两种特权: 一,能不让你上链。 二,能在确认前看见你。 那这个市场迟早会被玩坏。 4、现在 DeFi 还能跑,不是因为设计已经对了,是因为大家还在靠补丁硬撑。 为什么问题这么明显,链上交易还没死透? 一个原因,是很多节点还没把自己的权力用到最狠。 不是不能用。 是还顾虑长期利益。 另一个原因,是应用层自己认了。 把最关键的执行放到链下。 链上只做最后结算。 这当然能缓一口气。 但代价也明显。 可组合性变差。 系统更碎。 你还得额外信链下那套东西别出事。 本质上,这就是在承认: 现在很多链,还扛不起真正高要求的金融执行。 5、所以真正卡住 DeFi 的,从来不是 TPS,是交易确定性和公平性。 a16z 提的方向其实就两个: 一个是,短时间抗审查。 只要有诚实节点收到我的交易,我就该很快进区块。 不是“也许几秒后”。 是尽快,而且可预期。 另一个是,确认前隐藏。 别让全网先把我的单看光。 不然别人看完再决定怎么狠狠干我,那还玩个屁。 这两个东西补不上, DeFi 就还是更像链上游乐场。 能玩。 能炒。 能折腾。 但离真正的金融市场,还是差得远。 别再迷信 TPS 了。 金融市场最值钱的,从来不是“你一秒能发多少单”。 而是: 你发出去之后,规则是不是确定的。 执行是不是公平的。 这件事不解决,DeFi 就永远撑不起真正的大市场

比特币橙子Trader

244,917 views • 6 months ago

泪奔了!好感人,不争气的眼泪,它从口里流出来了 ⸻ 最近刷 AI 项目的时候,说实话有点疲了。 不是它们不厉害,恰恰相反——都太厉害了。 模型、参数、速度,一个比一个漂亮,但看多了情绪上真的没什么起伏。 Kindred Labs 是少数让我停下来想了一下的。 不是“哇好强”,而是突然冒出一个不太技术的问题: 如果 AI 真的要长期出现在生活里,它该怎么待着,才不让人别扭? 不是那种我问你、你马上答的关系, 而是你会不会哪天顺手再点开它。 有些 AI 真的很聪明,但你心里清楚,它就是工具。 用完、关掉,不会再想。 Kindred 给我的感觉不太像在争“最会答题”。 它更像是在琢磨一件事: 人为什么会愿意和一个存在长期相处? 这时候我才开始注意到他们说的那套 Mind / Body / Soul。 不是因为名字,而是方向。 Mind 这一层,其实挺像人。 不是一直保持同一种状态。 有时候你需要逻辑,有时候只是想被理解, 有时候甚至不需要答案,只要有人把话接住。 再加上它会记得你。 不是那种冷冰冰的“你在某年某月问过什么”, 而是你们之间发生过的那些事。 一旦记忆变成关系的一部分, 整个体验就不一样了。 Body 这点我以前真没太当回事。 但后来发现,人很难和一个完全无形的东西建立稳定关系。 Kindred 至少正视了这一点。 有形象、有存在的位置, 在你已经习惯的设备和场景里出现。 不是为了炫, 而是为了让你不抗拒。 在你信任之前,你首先得觉得它“正常”、不吓人。 至于 Soul,其实是我最看重的。 现在的 AI 都很会, 但很少有那种让人想一直留着的。 Kindred 没那么急。 不催你、不拉你、不用力制造黏性。 你来,它在;你走,也不打扰。 Dark Matter、任务、社区这些东西, 给我的感觉更像是一起走一段, 而不是被系统牵着跑。 所以后来我发现,这套 Mind / Body / Soul 看起来是在讲 AI, 但底层其实是在讲人。 我们怎么建立信任, 怎么产生依附, 怎么愿意长期和一个存在共处。 AI 只是载体。 被认真对待的,其实是人的感受。 如果说 2026 年还有哪个 AI 会一直留在我视野里, Kindred 大概会算一个。 不是因为它最强, 而是它没有急着证明自己。

董小姐 |预测世界杯就在Gate

43,660 views • 8 months ago

🔥AI搬回本地! $NVDA 黃仁勋剛剛宣布重大突破, 个人电脑迎来全新时代! ———————————— 过去四十年,一直是你在伺候电脑。 这一次,它要反过来。 我们这代人,是被机器训练大的。记快捷键,清后台,等进度条,文件存在哪个文件夹自己得记牢,我们学会的全是“迁就它”,把自己一点点训练得像台机器,它才肯好好干活。 所以黄仁勋这次最重要的东西,很多人看漏了。不是又一个开源模型,也不是新芯片的跑分。是 AI 要从云端“搬回家”,住进你这台本机里。 这两年我们用的 AI,说穿了都是“租来的大脑”。你得先把家底打包上传:合同、工资条、还没写完的东西、和家人的聊天记录。它在别人的机房里跑,按别人的价收钱,入口攥在别人手里。聪明是真聪明,可它始终不是你的,你只是个访客。 而“本地 Agent”这四个字的意思是:这些东西,终于可以留在你自己屋里了。不用上传,不用排队,不用看网速的脸色。它能看你的文件、懂你开着的软件、替你把那些零碎活儿干完。第一次,电脑不再是你点一下它动一下的工具,而是一个会自己动手的人。 为了这件事,老黄把数据中心级的算力,上百 GB 的统一内存、接近一个 petaflop 的性能,硬塞进了一台摆得上书桌的小机器。不是为了让你在本地跑个玩具模型,是为了让你桌上这台电脑,真有本事自己干活。 往大了说,棋局其实很清楚:云端那颗大脑,继续在数据中心里想最难的事;你桌上这台,负责手脚,管你每天的柴米油盐。而老黄想要的,是大脑和手脚,两头都攥在自己手里。 但我更想讲的,是那种很具体的感觉。PC 是上一代互联网的入口,手机是移动时代的入口。下一个入口不在某个网站里,就在你书桌上那台开机的电脑里。谁先住进去,谁拿下下一个十年。 所以他这次真正想说的,从来不是“我们出了块更强的芯片”。 而是过去四十年,你把自己训练得越来越像一台电脑。 从今往后,是电脑,开始学着像你请来的那个人。

老白

15,585 views • 3 months ago

夜猫子们晚上好呀!!!换我我也选择古天乐!我的梦中男神哦!!! ⸻ 最近在拆链上交互的时候,我反而被一个最基础的问题卡住了: 为什么区块链上的一次普通操作,需要被所有人“同步围观”? 大多数链的默认假设是同一个世界模型: 一笔交易发生,所有节点同时看到、同时复演、同时确认。 这套机制在安全性上很强,但在隐私和表达能力上,代价也非常明确。 看 Miden 的过程中,我逐渐意识到,它并不是在给这套范式“加一层 ZK 外壳”, 而是在尝试把交互方式本身换掉。 多数链是同步系统。 你要完成一件事,必须在同一个时间窗口里,把全过程公开演完。 Miden 更像一个异步系统。 账户之间并不依赖共享同一份即时状态,而是通过一种中介对象协作:Note。 如果非要找个直觉类比,Note 更像一份可编程的交付凭证。 它可以承载资产,也可以附带一段脚本,用来规定“如何、在什么条件下被消费”。 关键不在于它像不像 UTXO, 而在于 Note 的生命周期被拆成了两次独立行为: 先创建一个“可被领取的结果”, 再由满足条件的一方,在合适的时间将它消费。 这意味着你不需要在一个镜头里把故事讲完。 你只需要把“结果”放出来,其余交给规则。 而规则,就写在 Note 的 script 里。 Miden 的设计里,Note 在被消费时才执行脚本, 而且可以直接调用账户侧的接口函数。 换句话说,一部分业务逻辑不是写在合约里反复调用, 而是被封装进了“这次交付本身”。 支付、解锁、条件触发、权限限制,本质都可以是同一套机制的不同表达。 在隐私层面,Miden 对 Note 的处理也很现实。 每个 Note 都带一个 32 bytes 的随机 serial number, 不是为了形式,而是为了切断可链接性。 一旦 serial 暴露,对应的 nullifier 就可能被推导, 交易之间的关联性也会随之浮现。 这让我想到现实世界里的票据编号: 编号本身无害,但一旦被反复记录、对照,行为轨迹就会被还原。 在“如何发现 Note”这件事上,Miden 同样没有走极端。 它引入了 32-bit 的 tag,作为一种检索提示。 tag 用得宽,客户端自己慢慢筛,隐私更强; tag 用得窄,operator 帮你缩范围,效率更高。 这不是“隐私至上”的理想化设计, 而是在承认:隐私和效率之间永远存在张力, 系统的职责,是把选择权交给使用者。 也正因为如此,我会更愿意把 Miden 的隐私理解为一种交互范式, 而不是一层附加属性。 链不再是实时广播大厅, 而更像一个异步收件箱系统。 过程不必被围观,结果必须可验证。 从这个角度看,下一代链上应用, 也许不再围绕“合约互相 call”, 而是围绕“账户之间发消息、附带条件、最终用证明结算”。 短期看,这条路不性感,也不好炒。 长期看,它更像是在为 Agent 主导的链上协作 提前铺路。 当程序开始替人跑流程的时候, 你真的还需要—— 让每一个中间步骤,都对全世界直播吗? #Miden #KaitoYap Kaito AI 🌊 #Yap Miden
5:18

Sensitive content

夜猫子们晚上好呀!!!换我我也选择古天乐!我的梦中男神哦!!! ⸻ 最近在拆链上交互的时候,我反而被一个最基础的问题卡住了: 为什么区块链上的一次普通操作,需要被所有人“同步围观”? 大多数链的默认假设是同一个世界模型: 一笔交易发生,所有节点同时看到、同时复演、同时确认。 这套机制在安全性上很强,但在隐私和表达能力上,代价也非常明确。 看 Miden 的过程中,我逐渐意识到,它并不是在给这套范式“加一层 ZK 外壳”, 而是在尝试把交互方式本身换掉。 多数链是同步系统。 你要完成一件事,必须在同一个时间窗口里,把全过程公开演完。 Miden 更像一个异步系统。 账户之间并不依赖共享同一份即时状态,而是通过一种中介对象协作:Note。 如果非要找个直觉类比,Note 更像一份可编程的交付凭证。 它可以承载资产,也可以附带一段脚本,用来规定“如何、在什么条件下被消费”。 关键不在于它像不像 UTXO, 而在于 Note 的生命周期被拆成了两次独立行为: 先创建一个“可被领取的结果”, 再由满足条件的一方,在合适的时间将它消费。 这意味着你不需要在一个镜头里把故事讲完。 你只需要把“结果”放出来,其余交给规则。 而规则,就写在 Note 的 script 里。 Miden 的设计里,Note 在被消费时才执行脚本, 而且可以直接调用账户侧的接口函数。 换句话说,一部分业务逻辑不是写在合约里反复调用, 而是被封装进了“这次交付本身”。 支付、解锁、条件触发、权限限制,本质都可以是同一套机制的不同表达。 在隐私层面,Miden 对 Note 的处理也很现实。 每个 Note 都带一个 32 bytes 的随机 serial number, 不是为了形式,而是为了切断可链接性。 一旦 serial 暴露,对应的 nullifier 就可能被推导, 交易之间的关联性也会随之浮现。 这让我想到现实世界里的票据编号: 编号本身无害,但一旦被反复记录、对照,行为轨迹就会被还原。 在“如何发现 Note”这件事上,Miden 同样没有走极端。 它引入了 32-bit 的 tag,作为一种检索提示。 tag 用得宽,客户端自己慢慢筛,隐私更强; tag 用得窄,operator 帮你缩范围,效率更高。 这不是“隐私至上”的理想化设计, 而是在承认:隐私和效率之间永远存在张力, 系统的职责,是把选择权交给使用者。 也正因为如此,我会更愿意把 Miden 的隐私理解为一种交互范式, 而不是一层附加属性。 链不再是实时广播大厅, 而更像一个异步收件箱系统。 过程不必被围观,结果必须可验证。 从这个角度看,下一代链上应用, 也许不再围绕“合约互相 call”, 而是围绕“账户之间发消息、附带条件、最终用证明结算”。 短期看,这条路不性感,也不好炒。 长期看,它更像是在为 Agent 主导的链上协作 提前铺路。 当程序开始替人跑流程的时候, 你真的还需要—— 让每一个中间步骤,都对全世界直播吗? #Miden #KaitoYap Kaito AI 🌊 #Yap Miden

董小姐 |上Gate玩事件合约

51,420 views • 8 months ago

这才是真正的大哥 坚决不白嫖 为什么 #Miden 不做 #EVM 的复读机?揭秘 #MidenVM 的底气 在 Layer2 赛道,绝大多数项目都在拼命实现EVM 等效性,生怕开发者搬家太麻烦,但 Miden 却选了一条更难、但也更远的路:自研基于 STARKs 的虚拟机 #MidenVM 为什么要这么干?因为 EVM 设计于 10 年前,压根没考虑过如何高效地生成零知识证明 如果你在传统的 zkEVM 上跑复杂的智能合约,生成证明的过程非常耗费计算资源。而 Miden VM 从第一行代码开始,就是为了 证明生成最优化而设计的 原生 STARK 支持: 它不仅是能跑程序,而是程序运行的每一步,都会自动、同步地产生一个数学证明 不再重复造轮子: 节点不需要重新执行一遍你的代码,只需要看一眼这个数学小样,就能确认你的账算得对不对 开发者利器:不只是 Solidity Miden VM 最让极客兴奋的一点是它的编译灵活性, 它支持将 WebAssembly 编译后的逻辑运行在 VM 上,这意味着,未来你可能不需要专门学习 Solidity 才能写链上应用,Rust、C++ 甚至其它现代编程语言的开发者,都能无缝进入这个隐私计算的新世界 大家都在担心量子计算会对目前的加密货币造成威胁,#Miden 选择的 STARKs 路径,不需要可信设置,且天然具备抗量子特性 这不仅是当下的扩展方案,更是为未来 20 年准备的加密基础设施 #Miden #KaitoYap Kaito AI 🌊 #Yap Aleo

Winner🔶BNB | 买美股上币安

321,299 views • 8 months ago