Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

如何快速打破冷战 很多兄弟们都以为女朋友生气不知所措 今天就给大家出一期教程 这样就变成热战了! ⁺๑⃙⃘₊————꒰ঌ ໒꒱ྀི————๑⃙⃘₊⁺ 网络会断,环境会乱, 但做过什么决定,是不是对的, 事后一定要能查 这正好说中了 Inference Labs 在干的事。 他们的思路其实很现实: • 不是每一步 AI 行为都硬塞上链 • 只给关键决策留「凭证」 • 其他流程照样高速跑,不拖性能 就像现实生活一样—— 你不会留所有发票, 但大额那几张, 随时得掏得出来。 这才是 Selective Proofs 真正有用的地方: 不是追求理论上的完美 zk, 而是跑得动、查得到、出事能追责。 zkML 真正落地, 靠的从来不是炫技, 而是这种能在真实世界活下来的设计

289,197 görüntüleme • 7 ay önce •via X (Twitter)

0 Yorum

Yorum bulunmuyor

Orijinal gönderinin yorumları burada görünecek

Benzer Videolar

ktv有没有好女生,我很确定的告诉你,有! 但是你遇不到,就算遇到了,你也分不出来。 有没有ktv的女生能真心谈恋爱的,我依然很确定的告诉你,有! 但不会和你谈,就算谈了,你也不知道是不是真心的。 我有个大神朋友,和数个夜场女生谈过恋爱,身份各不相同,有陪酒的美女,订台的营销。而且,女生是真正动感情的那种。 为什么我敢说是真正动感情的那种? 因为女生开始主动给男生花钱了,而且是花大钱,什么买金配饰啊,经常主动加油呀。 在场子里一直按员工价送酒啊还不收自己的小费啊,甚至会和普通女生一样每天查岗啊。 我还和我这朋友深入的讨论过这个事,为什么他就可以在ktv找到女生谈感情,其他人就只是客人? 而且,不花钱!他那一套的理论,让我受益匪浅,怪不得是他呀! 第一,干净。你起码要保证自己衣着干净,身上没有异味,这样第一印象会好很多,并不用长得很帅,当然,帅更好。(是不是有一些相似) 第二,尊重。你要从心底尊重女生,或者你能演得不露馅也行。夜场也只是一份工作,她们嘴上说得无所谓,其实内心对于自己的工作仍然是自卑的,如果她能感受到你从内心的尊重,好感会高很多。(是不是更像了) 第三,拉扯。这才是一般女生和夜场女生有差距的地方。夜场女生各个都是拉扯的高手,甚至公司会专门培训相关的话术,但是一些好点的场子里会严禁女生和客户谈恋爱,甚至有时候会查女生的聊天记录。 夜场只是一份工作,她们也是女生!夜场的女生,她收入很高(起码月入小几万),来钱很快,她漂亮懂事,对付男人很有一套。 但是,她也会脆弱,会任性,会吃醋。女生都是女生,只不过她的工作是夜场,仅此而已!
0:14

Sensitive content

ktv有没有好女生,我很确定的告诉你,有! 但是你遇不到,就算遇到了,你也分不出来。 有没有ktv的女生能真心谈恋爱的,我依然很确定的告诉你,有! 但不会和你谈,就算谈了,你也不知道是不是真心的。 我有个大神朋友,和数个夜场女生谈过恋爱,身份各不相同,有陪酒的美女,订台的营销。而且,女生是真正动感情的那种。 为什么我敢说是真正动感情的那种? 因为女生开始主动给男生花钱了,而且是花大钱,什么买金配饰啊,经常主动加油呀。 在场子里一直按员工价送酒啊还不收自己的小费啊,甚至会和普通女生一样每天查岗啊。 我还和我这朋友深入的讨论过这个事,为什么他就可以在ktv找到女生谈感情,其他人就只是客人? 而且,不花钱!他那一套的理论,让我受益匪浅,怪不得是他呀! 第一,干净。你起码要保证自己衣着干净,身上没有异味,这样第一印象会好很多,并不用长得很帅,当然,帅更好。(是不是有一些相似) 第二,尊重。你要从心底尊重女生,或者你能演得不露馅也行。夜场也只是一份工作,她们嘴上说得无所谓,其实内心对于自己的工作仍然是自卑的,如果她能感受到你从内心的尊重,好感会高很多。(是不是更像了) 第三,拉扯。这才是一般女生和夜场女生有差距的地方。夜场女生各个都是拉扯的高手,甚至公司会专门培训相关的话术,但是一些好点的场子里会严禁女生和客户谈恋爱,甚至有时候会查女生的聊天记录。 夜场只是一份工作,她们也是女生!夜场的女生,她收入很高(起码月入小几万),来钱很快,她漂亮懂事,对付男人很有一套。 但是,她也会脆弱,会任性,会吃醋。女生都是女生,只不过她的工作是夜场,仅此而已!

墨鱼(:◎)|Gate美股0费率

216,353 görüntüleme • 1 ay önce

当 AI 走进法庭,它最缺的其实是一份证据 当 AI 真正走出实验室,开始大规模进入我们的现实生活时 大家讨论最多的其实并不是它的智力到了什么程度,而是这个系统一旦出了问题 法律层面到底该怎么判定责任归属,很多人可能还没意识到,目前几乎所有的 AI 系统在法律层面上都有一个致命的伤 那就是它们根本拿不出任何可以被第三方采信的证据。 想象一下,在未来的金融系统或者交易场景里 如果一个 AI 驱动的协议突然出现了巨大的亏损,或者是在清算的时候出了偏差,现在的处理方式其实非常尴尬,模型厂商会说这只是概率问题 而开发者会说自己只是写了代码,这种模糊的解释在技术圈里或许能混过去,但在法官或者是仲裁员面前,这种话是完全没有法律效力的,因为法律不相信任何口头上的解释,法律只看证据。 现在的情况就是这样,因为 AI 具有天然的黑箱特性,导致法律体系无法对它的行为进行复现和验证,所以一旦真的出了事。 现实社会往往只有两种极端的处理办法,要么就是由于风险不可控而直接禁用,要么就是找一个具体的人出来背黑锅。 这并不是因为我们的监管机构太守旧,而是法律体系的底层逻辑决定的,它无法接受任何无法自证的黑箱行为。 说到底,法律其实从来不关心一个模型到底是聪明还是笨。 它关心的只有三件事,那就是你到底做了什么,你是按照什么样的流程去做的,以及最重要的,你能不能拿出实实在在的证据来证明这一切。 这就是 Inference Labs 最核心的价值所在,它其实不是在跟人比拼算法的优劣,而是在给 AI 的每一个行为补齐那一层法律意义上的证据结构。 这个项目实际上是解决了 AI 的可仲裁性问题,这虽然是一个很少被人提及的法律视角,但它却是 AI 从辅助工具走向核心执行层的必经之路。 以前的 AI 推理过程就像一团理不清楚的乱麻,在仲裁机构眼里,它既不是一个能负责的人,也不是一套可以被审计的标准流程,这就导致大家只敢让 AI 提提建议,而不敢让它去真正掌握决策大权。 Inference Labs 提供的推理证明,本质上是在用法律能听懂的语言去记录 AI 的行为,它不需要向外界解释模型当时到底是怎么想的,它只需要负责向法庭或者是受害者证明,在那个特定的时间点,确实是这个版本的模型,在特定的输入环境下,产出了这么一个确定的结果,这在仲裁场景下简直就是定海神针。 有了这层证明之后,AI 产生的决策就有了可以被法律认可的证据,在未来的 DeFi 自动风控或者是合约执行中,一旦双方发生了争议。 我们就不再需要去争论开发者的初心,而是直接把那份不可篡改的推理证明丢进仲裁程序,系统不需要证明自己是善良的,只需要证明自己是如实执行的。 这就是 AI 从灰色地带走向主流市场的关键转折点,所以它的真实用户绝对不是那些每天在推特上找空投的散户,而是那些真正身处一线、需要设计协议并承担合规风险的专业人士,这些人可能平时很低调,但他们对这种能保命的工具极其看重,一旦采用了就很难再换掉。 大家习惯了去追逐那些爆发性的技术热点,却往往忽略了 AI 融入社会体系时最真实的摩擦力,这个项目的眼光其实放得很长远,它在赌一个非常确定的趋势,那就是所有的 AI 最终都必须被拉进法律的框架里,到那个时候。 那些拿不出证据结构的 AI 都会被迅速淘汰,而像它这样提前搭好仲裁入口的项目,才会真正成为系统的基石。 Inference Labs #inference_labs #KAITO

阿川

147,843 görüntüleme • 7 ay önce

为什么刘震云是刘震云? 因为他能把一个人一辈子都绕不过去的事,写成一句最普通的家常话。 电影《一句顶一万句》,改编自刘震云的同名小说。 里面有一句话,特别轻。 轻到你第一次听见,可能都不会停下来。 但这句话在原著里出现了两次。 一部作品里,一句话反复出现,就不是随便写的。 它是刘震云真正看透日子以后,说出来的话: “过日子是过以后,不是过以前。” 这句话,不只是写给曹青娥的,也不只是写给牛爱国的,它就是刘震云自己的觉醒。 一个人要活到一定年纪,经历过很多绕不过去的事,才会明白: 人这一生,最难的不是吃苦。 最难的是,别一直困在以前的苦里。 年轻的时候,总觉得有些事必须想明白。 为什么当初会那样? 为什么那个人要那么对我? 为什么那条路走错了? 为什么明明已经很努力,结果还是不如人意? 想来想去,日子还是一天一天过。 只是人慢慢被过去拖沉了。 后来才知道,过去的事,真的没法重新过一遍。 你再不甘,它也发生了。 你再后悔,它也改不了。 你再放不下,明天还是会来。 所以刘震云这句话狠就狠在这里。 它不是劝你忘了过去。 忘不了。 真正经历过的人都知道,有些事不是说放下就能放下。 它是在告诉你: 别再拿以前,继续过今天。 以前吃过的苦,留下教训就够了。 以前走错的路,认了、改了就够了。 以前离开的人,走远了也就走远了。 人这一生,真正能过的,永远是后面的日子。 身体要往后养。 心要慢慢放宽。 路也还得继续走。 刘震云厉害的地方就在这儿。 他不是站在高处讲道理。 他是把人活着最朴素、最疼、也最难做到的事,写成了一句家常话。 过日子是过以后,不是过以前。 这句话,表面是写人物。 其实是他自己过人生的方式。 人到了一定年纪,真要学会这一点: 别总回头。 后面的日子,才是真正要过的日子。

杨高能

36,417 görüntüleme • 3 ay önce

今天大家都约会跨年了吧?是不是饭店爆满?酒店爆满?至于我还在一线奋斗吗? 如果回到最底层去看区块链,其实它只解决了一个问题。 程序是不是按照约定执行了。 EVM 时代,这个问题的答案是,用全网重复执行来换确定性。 所有节点跑一遍同样的程序,用资源浪费换信任。 但这个模型一旦遇到复杂程序,就开始崩。 状态越复杂,成本越高。 逻辑越多,执行越慢。 ZK 的出现,并不是为了让链更快,而是为了换一种证明方式。 不是你跑过,而是你能证明你跑对了。 问题在于,大多数 ZK 系统,只解决了证明问题,没有解决编程问题。 开发者写的依然是“执行逻辑”,只是最后被翻译成电路。 而 Miden 真正不一样的地方,在于它一开始就假设。 程序不是给机器跑的,是给人验证的。 这就是为什么 Miden 要单独设计一套 VM。 不是因为 EVM 不够好,而是因为 EVM 从来不是为可证明性而生。 Miden VM 的核心不是 Gas,不是吞吐,而是可组合的证明语义。 每一段程序,在设计时就已经被拆解成可以被证明的最小单元。 你写代码的时候,不是在思考执行顺序。 你是在定义一条可被验证的状态转换路径。 这听起来抽象,但它会直接改变开发者的行为方式。 在 Miden 上,状态不是默认共享的。 状态是本地的、私有的、按需提交证明的。 这意味着什么。 意味着你不再被迫把所有中间状态暴露给链。 你只需要在关键节点,证明结果成立。 这对应用层的影响非常大。 比如钱包逻辑。 在传统模型里,账户状态是公共的。 余额、nonce、授权路径,全在链上。 在 Miden 的模型里,账户更像一个本地程序。 你控制状态。 链只验证结果。 这让很多过去“不可能”的设计,第一次变得合理。 比如复杂账户抽象。 比如多步条件执行。 比如带隐私的业务逻辑。 更重要的是,这套模型天然降低了应用复杂度对链的压力。 在 Miden 上,复杂性不会扩散。 你写复杂逻辑,只会增加你自己的证明成本,而不会拖慢全网。 这和 EVM 体系是反的。 EVM 的复杂性是外溢的。 一个复杂合约,会影响所有人。 Miden 的复杂性是内收的。 复杂度由使用者自己承担。 这背后其实是一种非常明确的价值取向。 让写复杂程序的人,为复杂性买单,而不是让整个系统为其兜底。 这也是为什么 Miden 更像一台操作系统,而不是一条普通公链。 它不是在堆功能,而是在重新划分责任边界。 链负责验证正确性。 程序负责证明自己。 当你站在这个角度看,就会明白 Miden 为什么不急着追 TPS。 也不急着推生态数量。 因为它赌的是一个长期趋势。 链上程序一定会越来越复杂。 而复杂程序,必须有更强的可验证结构。 如果你只用 Miden 来写简单合约,那你感受不到它的优势。 但一旦你开始尝试写有状态的、长期运行的、需要隐私的逻辑。 你会发现,传统模型根本撑不住。 所以 Miden 的真正目标用户,不是短期应用开发者。 而是那些想把“业务逻辑本身”搬到链上的团队。 当链不再只是结算层,而开始承载程序可信度。 Miden 这种设计,就会显得非常超前。 这也是我对 Miden 的核心判断。 它不是为当前周期服务的链。 而是在为下一代链上程序,提前搭好运行环境。 在 ZK 赛道里, 速度会被追平,成本会被压低。 真正拉开差距的,只会是编程模型本身。 而 Miden,走的是一条非常少有人敢走的路。 从源头重写规则,而不是在旧规则上修补。 Miden #Miden #KAITO

比克大魔王

89,488 görüntüleme • 7 ay önce

很多人看 Inference Labs , 第一反应都是那些听起来特别硬的技术名词,比如什么 zkML,什么 PoI。 但说真的,如果你把这层技术的皮给剥开,你会发现它讲的根本不是代码,而是权力。 Inference Labs 真正做的,是把 AI 系统里以前那些模糊的权力关系,直接给拆散了摆在台面上。 在传统的 AI 世界里,模型方就是绝对的老大。 模型怎么跑,参数怎么调,最后给你一个结果,你除了相信,没有任何别的办法。 算力方也是一样,谁手里的机器多,谁的声音就大。这种结构下,用户其实是没有任何话语权的。 但 Inference Labs 正在把这套逻辑给彻底拆掉。 在它的 PoI 机制下,模型不再是那个不可挑战的上帝了。模型只能负责干活,负责给出推理结果,但它没有权利定义这个结果是不是对的。 一旦进了这个系统,模型的每一个输出都必须经过证明,经过别人的复现和验证。 这一步,本质上就是在削弱模型的权力。模型不再是权力的中心,它变成了一个纯粹的服务提供者。 再来看看算力。 很多人以为验证网络会让算力变得更值钱,更重要。其实恰恰相反,在 Inference Labs 的结构里,算力其实是被压制的。 算力在这里只负责执行任务,它不负责最后的裁决。你算得再快,机器堆得再多,你也改变不了结果的合法性。你没法靠着算力去强行说服系统接受一个错误的结果。 这意味着,算力在这里变成了一种商品化的成本,而不是一种能让你称王称霸的筹码。 那么,真正的权力流向哪儿了。 答案是验证者。 验证者不需要去训练什么顶级的模型,也不需要去买成千上万张显卡。 他们只做一件事,就是决定哪些推理是被系统承认的现实。这在现在的 AI 圈子里是非常罕见的设计。 它相当于承认了一点,AI 的问题其实不在于它聪不聪明,而在于当它给出结果的时候,谁有资格说这是一次有效的推理。 Inference Labs 把这个资格,从那些模型公司和平台手里,转移到了这个验证层。 这种变化的影响会非常深远。 以后在这个系统里,最强势的一方,不是那些最会训练模型的,也不是那些最有钱堆机器的。 而是那些能长期维持验证信誉的节点。这种节点看重的不是短期的那点博弈速度,而是长期的稳定性。 因为在它的规则里,只要你作恶一次,代价就是被系统永久边缘化。这种代价,任何想长久玩下去的人都承担不起。 所以我也一直在想,为什么 Inference Labs 在短期市场里显得这么安静。 其实道理很简单,这个系统里真正占便宜的角色,从来就不是那些会喊叙事,会搞投机的。 它奖励的是耐心,是持续不断的输出,以及永远不犯错的稳健。它天然地就在排斥那些只想进来薅一把就走的投机者。 我的感觉非常明确,Inference Labs 其实并不是在追求让 AI 变得更强,它是在尝试解决一个更有难度的问题。 那就是当 AI 已经足够强的时候,到底谁来约束它,谁来承担它产生后果后的责任。 在这个系统里,权力第一次不再是围绕着模型集中,而是被彻底拆散,被互相制衡。 这才是它最被低估的地方。 它在重新定义 AI 时代的规则。它告诉我们,在这个新的权力游戏里,诚实和稳定,才是最贵的资产。 #inference_labs #KAITO

比克大魔王

29,048 görüntüleme • 7 ay önce