Loading video...

Video Failed to Load

Go Home

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

289,064 views • 7 months ago •via X (Twitter)

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

当 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 views • 7 months ago

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

Sensitive content

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

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

216,353 views • 18 days ago

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

杨高能

36,417 views • 2 months ago

今天大家都约会跨年了吧?是不是饭店爆满?酒店爆满?至于我还在一线奋斗吗? 如果回到最底层去看区块链,其实它只解决了一个问题。 程序是不是按照约定执行了。 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 views • 7 months ago