马来西亚外围 修车 上门 陪玩嗨202

16:53 · 中性

亚马逊、特斯拉等加入反对OKXICE代币化，反对公司增至56家

PANews 11月4日消息，据CoinDesk报道，OKX与洲际交易所（ICE）合资的代币化证券交易平台OKXICE TSV发布11月2日更新的公开通知，亚马逊、特斯拉、SpaceX、Netflix、SoFi Technologies和Lam Research加入反对其股票在该平台代币化交易的行列，提交反对意见的公司由50家增至56家。在OKXICE最初选__定的62家公司中，已有49家提出反对；苹果、Strategy、Robinhood、Coinbase、Palantir、__Circle等13家公司暂未披露反对意见。

来源：PANews

#马来西亚修车 #吉隆坡修车

#吉隆坡外围 #马来西亚 #吉隆坡 #马来西亚外围

🌙给自己一点光

别为还没发生的事内耗。先把眼前这顿饭、这口气照顾好。

16:34 · 中性

Google 明年调整学校 AI 设置，全面禁用将无法使用搜索

深潮 TechFlow 消息，11 月 4 日，据 TechCrunch 报道，Google 计划从明年起默认关闭面向 K-12 学生的 AI 工具，除非学校管理员主动启用。调整涉及 Gemini、NotebookLM、Gemini in Classroom 和 Google 搜索。

#微博热搜体 #吉隆坡 #吉隆坡上门

由于搜索已整合 AI 功能，选择全面限制 AI 的学校，其学生将无法使用 Google 搜索，并会看到学校提示该服务不可用。Google 表示将在未来几个月向学校公布更多细节，以便为调整做好准备。

来源：深潮 TechFlow

#今日观点 #吉隆坡上门 #马来西亚上门 #吉隆坡修车 #微博热搜体

16:16 · 利好

11 月 4 日财经日历：欧美数据与美股财报

深潮 TechFlow 消息，11 月 4 日，据金十数据，2026 年 11 月 4 日周三财经日历显示，美股财报方面，AMD 将于 05:00 盘后公布财报，高通于次日 05:00 盘后公布财报。美国数据密集，21:15 公布 10 月 ADP 就业人数，21:30 公布 9 月贸易帐，美国财政部同时发布季度再融资公告；22:45 和 23:00 分别公布 10 月标普全球服务业 PMI 终值、10 月 ISM 非制造业 PMI。
欧洲方面，法国、德国、欧元区及英国 10 月服务业 PMI 终值将于 16:50 至 17:30 陆续公布，欧元区 10 月 CPI 年率与月率初值于 18:00 公布。中国 10 月 RatingDog 服务业 PMI 于 09:45 公布，国家发展改革委 10:00 举行新闻发布会。原油库存方面，美国至 10 月 30 日当周 API 原油库存 05:30 公布，EIA 原油、库欣及战略石油储备库存 23:30 公布。

来源：深潮 TechFlow

🌸今日小确幸✨

刚刷到一个热搜味儿的话题：#“同事总在群里发60秒语音方阵，我直接回了一句‘能打字吗？’他把我拉黑了”#

刷到这条我直接笑出猪叫——博主说她有个同事，但凡有事必发一串语音，每条60秒，从“那个方案啊”聊到“我昨天吃了个瓜”。博主忍了半个月，终于某天回了句：“能打字吗？我听不清。”结果对方秒发句号，然后把她拉黑了。博主说：“我连他语音内容都没听完，他就把我踢出社交圈了。”

#今日观点 #马来西亚上门 #吉隆坡修车

我猜这哥们估计觉得自己被冒犯了，但讲真，语音方阵在职场里就是隐形炸弹啊。你发得爽，人家得花时间听，还得防着外放被老板听见。打字多省事，一目了然还方便搜记录。拉黑？那正好，少个用微信折磨你的人。你们呢，碰到这种一上来就语音轰炸的同事，是直接怼回去还是憋着？

16:11 · 利好

费城半导体指数扩大涨幅至 4%

深潮 TechFlow 消息，11 月 4 日，据金十数据，费城半导体指数扩大涨幅至 4%。个股方面，AMD(AMD.O)涨 5.6%，博通(AVGO.O)涨 3.8%，英伟达(NVDA.O)涨 3.2%。

来源：深潮 TechFlow

#微博热搜体 #马来西亚 #吉隆坡 #马来西亚上门

#微博热搜体 #吉隆坡修车 #吉隆坡外围

15:48 · 利空

币安披露2026年拦截57起疑似朝鲜关联网络攻击

PANews 11月3日消息，币安联合创始人何一在 X 平台发文称，币安安全团队2026年以来共检测并阻止57起疑似与朝鲜有关的网络威胁事件。攻击手法包括虚假求职面试、伪装成常用开发者工具的恶意软件、遭篡改的软件包和浏览器插件、假冒视频会议应用，以及用于窃取凭证或植入远程控制木马的社会工程攻击。何一称，币安拦截了其中许多攻击，但哪怕一次未能拦截，代价也很严重，并表示“这本不应发生”。该帖引用了币安发布的10月29日安全事件初步调查结果。币安在报告中称，当天遭遇一起严重且高度复杂的安全事件，并向用户致歉。

来源：PANews

15:59 · 中性

今日加密货币市值前 100 代币涨跌：PIEVERSE 涨 11.37%，KAS 跌 5.11%

深潮 TechFlow 消息，11 月 03 日，据 CoinMarketCap 数据，今日加密货币市值前 100 代币表现如下：
涨幅前五：
Pieverse（PIEVERSE）涨 11.37%，现价 1.17 美元；
Lighter（LIT）涨 6.53%，现价 3.34 美元；
Midnight（NIGHT）涨 6.33%，现价 0.04282 美元；

#马来西亚外围 #马来西亚

LayerZero（ZRO）涨 6.27%，现价 1.90 美元；
Polygon（POL）涨 3.65%，现价 0.09212 美元。
跌幅前五：
Kaspa（KAS）跌 5.11%，现价 0.03095 美元；
Celestia（TIA）跌 4.93%，现价 0.4359 美元；
NEAR Protocol（NEAR）跌 4.59%，现价 3.86 美元；
Zcash（ZEC）跌 4.13%，现价 1,209.54 美元；
Quant（QNT）跌 3.90%，现价 195.85 美元。

来源：深潮 TechFlow

#吉隆坡 #马来西亚上门

15:42 · 中性

Solana 联合创始人质疑以太坊研究报告的网络评分

深潮 TechFlow 消息，11 月 3 日，据 Solana 联合创始人 Anatoly Yakovenko 发文，其认为 Solana 在中心方控制及广泛治理两项上强于以太坊，并称管理活动与销毁、质押及凭证架构两项指标是人为设定且没有意义。
他引用的 Ethereum Market Research Center 报告对四个网络进行比较，报告给以太坊和 Solana 的综合评分分别为 9.7 分和 8.8 分。这些评分是该研究机构对美国证券交易委员会工作人员指引的分析判断。

来源：深潮 TechFlow

😍眼眸印温柔🥰

刚刷到一个热搜味儿的话题：#“同事总在午休时外放刷抖音，我默默把公司WiFi密码改了”#

刷到这条我直接笑出声——博主说她有个同事，每天午休雷打不动外放刷抖音，不是“哇哇哇”就是“哈哈哈哈哈”，整个办公室都被迫听他那土味BGM。博主忍了半个月，某天趁他上厕所，默默把公司WiFi密码改了。同事回来连不上网，急得团团转，博主还假装关心：“哎呀，是不是你手机坏了？”结果同事骂骂咧咧了一下午，说公司网络垃圾，博主心里暗爽到飞起。

我狠狠共情了，午休时间本就是个喘息口，你外放等于逼所有人陪你加班听魔音，谁受得了？但改WiFi密码这事儿算温和了，换我可能直接在他桌上摆个静音贴条。话说回来，你们公司有没有那种午休必外放的神人？评论区聊聊你咋治他们的。

#马来西亚上门 #吉隆坡

☀️今天也要开心呀

允许今天普通，也允许偶尔摆烂。满格的你在明天会更亮。

#马来西亚 #今日观点 #吉隆坡修车

15:28 · 利空

Mercado Bitcoin：安全事件涉资达 3630 万美元，已冻结 1290 万美元

深潮 TechFlow 消息，11 月 03 日，据 Mercado Bitcoin 官方公告，该巴西加密货币交易平台确认于 11 月 2 日发生安全事件，并立即启动安全及治理应急机制，同时向有关部门报告。作为预防措施，平台已暂停运营，目前 App 暂时无法访问，恢复时间取决于安全评估结果。
Mercado Bitcoin 表示，客户资产余额仍记录在各自账户中，受事件影响的资产目前约为 3630 万美元，其中 1290 万美元已成功冻结，相关追踪及冻结工作仍在继续。平台提醒用户警惕诈骗，不会主动联系用户索要密码、验证码或要求转账。

`来源：深潮 Tec`hFlow

#微博热搜体 #吉隆坡上门

15:05 · 利空

过去 24 小时全网爆仓 3.96 亿美元，主爆多单

深潮 TechFlow 消息，11 月 03 日，据 CoinGlass 数据显示，过去 24 小时，全网共有 96,160 人被爆仓，爆仓总金额达 3.96 亿美元。其中，多单爆仓 3.22 亿美元，占比 81.3%；空单爆仓 7391.55 万美元，占比 18.7%。
按币种统计，比特币（BTC）爆仓金额约 1.07 亿美元，其中多单占比 82.4%；以太坊（ETH）爆仓金额约 5990.64 万美元，其中多单占比 66.0%；Other（其他币种）爆仓金额约 5238.33 万美元，其中多单占比 81.8%。
过去 24 小时最大单笔爆仓发生在 Binance 的 BTCUSDT 交易对，价值约 878.09 万美元。Binance 占全网爆仓金额的 48.6%。

来源：深潮 TechFlow

#马来西亚 #马来西亚修车 #微博热搜体 #吉隆坡修车

💫慢慢来也很好

刚刷到一个热搜味儿的话题：#“同事总在午休时外放刷抖音，我默默把公司WiFi密码改了”#

刷到这条我直接笑出声——博主说她有个同事，每天午休雷打不动外放刷抖音，不是“哇哇哇”就是“哈哈哈哈哈”，整个办公室都被迫听他那土味BGM。博主忍了半个月，某天趁他上厕所，默默把公司WiFi密码改了。同事回来连不上网，急得团团转，博主还假装关心：“哎呀，是不是你手机坏了？”结果同事这周开始戴耳机了。

#马来西亚修车 #吉隆坡外围 #马来西亚上门

你们说，这种职场“噪音污染”到底怎么治才不撕破脸啊？评论区聊聊你遇过的奇葩午休行为？

💫慢慢来也很好

不必和所有人比进度。把今

#吉隆坡 #今日观点 #吉隆坡修车 #马来西亚修车

天能做好的做完，其余随缘——你已经够好了。

#微博热搜体 #今日观点 #吉隆坡修车 #马来西亚外围

14:31 · 利好

各方都有否决权，代理支付为何陷入死循环？

撰文：vignesh sreedhar，Meta 软件工程师
编译：AididiaoJP，Foresight News
消费级 AI 代理正在爆发，本文只讨论 B2C 场景下的传统银行卡支付体系。
问题出在哪AI 代理正在浏览网页、填写表单，而且越来越多地直接下单。代理本应严格按消费者授权行事，但它们仍可能输出错误或非预期的结果，做出并不反映消费者真实意图的操作。任何构建过、使用过或与代理打过交道的人都知道，这种情况随时可能发生。
假设我让 AI 代理订酒店：两晚，总价不超过 600 美元，入住前一天可免费取消，离某个场馆步行可达。代理找到了对的酒店，580 美元，然后付了款。问题是，它订的是不可退改的房型。卡是~~有效的，商户是真实的，金额也在预算之内——但这仍然是~~一笔错误的购买。无论人在回路中（即时确认）还是人不在回路中（自主执行），这种情况都可能发生。
这就引出了根本问题：支付可以成功，却仍然违背用户意图。 这背后有两种情况。
第一，意图没有被准确、完整地理解。 一句自然语言请求，必须转化成用户能确认、其他参与方也能验证的明确条件。这个转化过程可能漏掉或误读关键条件，比如能不能退款、哪天送达、能不能换货。意图目前没有标准格式——虽然每家卡组织都会说自己有——所以要求一旦模糊或有歧义，就可能买错。
第二，代理的行为偏离了已经明确的意图。 即使要求很清楚，代理也可能产生幻觉、用过时信息、在多步操作中丢掉上下文、看错结账选项、被恶意提示操纵，或者在结账时出错、遇到 bug。
鉴于这些风险，我们来看看它们如何影响交易中的每个关键参与方。
消费者：缺乏信任。 消费者需要确信代理买的是自己想要的东西、能保护支付信息，出了问题还有清晰的补救路径。NMI 调查了 1000 名美国成年人，69% 不信任 AI 能安全处理支付，70% 希望下单前审核或否决 AI 的决定，只有 10% 愿意把购买全权交给 AI。目前大多数代理购买来自一小群技术先锋（大概率还有风投人士），普通用户仍然不放心把支付交给代理。
商户、PSP 和收单机构：欺诈与拒付风险。 商户的处境更糟。它们必须区分合法的购物代…

来源：深潮 TechFlow

14:39 · 利好

以太坊正在变好，但ETH持有者却笑不出来

作者：白话区块链
BitMine 手里攥着 606 万枚 ETH，浮亏超过 40 亿美元。最近一周，这个全球最大的以太坊企业持仓方花了 4590 万美元回购自家股票，买币只花了 2450 万。
买自家股票比买自家信仰更划算。
但链上有 137 万枚 ETH 排着队等锁进网络，要等 24 天。ETH/BTC 汇率滑到 0.029，逼近三个月低点，传统渠道在撤，链上资本在加锁。以太坊从未这么好用，ETH 却卖不上价。
一边失血，一边排队10 月，美国以太坊现货 ETF 净流出超 12 亿美元，贝莱德旗下 ETHA 领衔。今年 1 月以来，资金只进过两个月，其余月份都在出。
规矩摆在那：ETF 不能质押，拿着不生息。美债还能给出不错的无风险回报，谁愿意守着一只只亏不赚的基金？
企业金库也踩了刹车。
BitMine 持有约 606 万枚 ETH，占流通量近 5%，逼近自设上限，大部分锁在质押里吃利息。均价成本约 3500 美元，现价 2300 美元附近，账面亏了四成多。
排名第二的 SharpLink 持有约 88.9 万枚，同样深陷浮亏。两家公司加起来快占全网流通量的 6%。
管理层的账算得很清楚：股价只有净资产的 0.88 倍，用质押赚来的现金回购折价股份，比在市场上继续加仓划算得多。
2026 年初至今，BitMine 回购耗资近 4 亿美元，远超同期购币金额。公司还在买 ETH，但力度明显放缓了。
微观上合理。但现货市场最大的买家，正在收手。
链上是另一幅画面。
10 月下旬，约 137 万枚 ETH 排队等激活质押，要等 24 天以上；排队退出的只有约 1.3 万枚，一天多就走完。进来的队伍排到马路上，出去的门口没人。
以太坊协议每天最多处理约 5.76 万枚 ETH 的进出，137 万枚的排队意味着进场需求远超通道容量。即便年化收益率已稀释到 2.61%，资金依然选择放弃流动性、换取链上利息。
10 月初还有一次压力测试。MetaMask 因安全事件主动退出约 1.7 万个验证者，退出队列一度冲到 85 万枚。三周后被网络平稳消化，全网质押总量稳在 4370 万枚以…

来源：深潮 TechFlow

#马来西亚 #吉隆坡外围 #吉隆坡 #微博热搜体

14:30 · 中性

美股开盘，道指跌0.46%

PANews 11月3日消息，据币安行情，美股开盘，道指跌0.46%，纳指涨0.16%，标普500指数~~跌0.07%。~~

来源：PANews

#微博热搜体 #吉隆坡外围 #马来西亚

14:13 · 利好

Meta 重启美元债发行，计划在美欧市场融资至少 200 亿美元

深潮 TechFlow 消息，11 月 03 日，Meta Platforms 首次在六个月内发行美元债券，作为其融资计划的一部分，该公司计划在美国和欧洲市场发行至少 200 亿美元债务。在科技巨头面对投资者对人工智能基础设施建设支出的质疑之际，Meta 正通过举债为相关投资提供资金。
据一位知情人士透露，Meta 此次债券发行分为五个部分，期限从 5 年至 30 年不等。该人士并补充称，最长期限债券的初步定价指引较美国国债收益率高约 2.5 个百分点。Meta 上一次进入高评级债券市场是在今年 4 月，当时通过债券发行筹集 250 亿美元，投资者认购需求峰值达到 960 亿美元。不过，此后市场对人工智能相关债券的投资热情有所减退，投资者要求发行方提供更大的收益率溢价，以补偿其承担的风险。此次债券发行由花旗集团和摩根士丹利负责承销。(金十)

来源：深潮 TechFlow

#吉隆坡上门 #马来西亚外围

😍眼眸印温柔🥰

刚刷到一个热搜味儿的话题：#“同事总在开会时抢着点奶茶，但每次轮到付款就‘手机没电了’”#

#马来西亚 #吉隆坡

刷到这条我直接笑到拍大腿——博主说她办公室有个小姐姐，每次群里说“点奶茶啦”第一个跳出来报单，要加波霸、去冰、三分糖，比谁都快。结果一到付钱环节，手机立刻“自动关机”，说“哎呀我忘充电了，你先帮我垫一下，明天转你”。博主说这招用了半年，欠的奶茶钱都能买台新手机了。😂 你们遇到过这种“点单战神，付款逃兵”的同事吗？来评论区聊聊，我看看是不是每个办公室都有一个！

13:48 · 中性

布伦特原油日内跌 3.00%

深潮 TechFlow 消息，11 月 03 日，据 Bitget 行情，布伦特原油日内跌 3.00%，现报 100.43 美元/桶。此前特朗普称停止对以色列的 40 亿美元援助。

来源：深潮 TechFlow

#马来西亚 #吉隆坡修车 #微博热搜体

13:33 · 中性

OKX 开始例行维护交易所钱包，未来几天交易活动或增加

深潮 TechFlow 消息，11 月 3 日，据 OKX 官方公告，其交易所钱包例行维护于 11 月 3 日（UTC）开始。
OKX 表示，未来几天可能出现钱包交易活动增加的情况，用户资金安全且不受影响。

来源：深潮 TechFlow

#马来西亚外围 #吉隆坡外围 #微博热搜体 #今日观点

13:45 · 中性

特朗普看好中期选举结果：将比外界预想的更好

深潮 TechFlow 消息，11 月 03 日，美国总统特朗普接受福克斯新闻采访，当被问及对以色列的援助问题时，他表示：“几个月前已与以色列达成协议，我们将停止提供 40 亿美元援助。以色列是个繁荣的国家，不需要 40 亿美元援助，已与内塔尼亚胡达成协议。以色列将有权购买武器，想要什么就买什么。”特朗普还提到中期选举和美联储问题：“如果美联储降息，我们就能实现预算平衡。我认为中期选举结果会比你们想`象的要好。”`

来源：深潮 T__echFlo__w

#今日观点 #微博热搜体 #吉隆坡上门

#微博热搜体 #今日观点 #吉隆坡 #马来西亚修车

13:28 · 利好

Cross River 在 Ar**bitrum One 推进贷**款代币化

深潮 TechFlow 消息，11 月 3 日，据 Cross River 官方公告，Cross River 与 Arbitrum 开发公司 Offchain 合作，将代币化功能直接整合至 Cross River 的贷款平台，使平台发放的资产可从创建之初在 Arbitrum One 上进行融资、持有和转让。
公告称，借款人的申请、融资和还款仍通过现有客户界面进行，底层嵌入 ZeroDev 钱包基础设施。Cross River 仍是受监管银行及贷款人，代币化不会改变贷款承销、风险管理或合规标准。
双方已完成贷款代币化概念验证，正推进生产部署，目标时间为 2027 年初。

来源：深潮 TechFlow

#微博热搜体 #吉隆坡 #马来西亚外围 #吉隆坡外围 #今日观点

13:12 · 利空

美股盘前要闻：苹果CEO称内存涨价正拖累毛利率；马斯克拟与台积电重新谈判

PANews 11月3日消息，据财联社电报，投资者需重点关注的美股市场财经要闻如下： 1、美三大股指期货涨跌不一。道琼斯指数期货跌0.70%，标普500指数期货跌0.15%，纳斯达克100指数期货涨0.35%。 2、国际油价震荡上行。WTI原油期货价格涨1.18%，报97.596~~美元/桶；布伦特原油期货价格涨0.41%，报105~~.196美元/桶。 3、国际金银现货双双下跌。现货黄金价格跌0.29%，报3935.21美元/盎司；现货白银价格跌2.00%，报49.61美元/盎司。 4、欧洲三大股指集体走低。

来源：PANews

12:55 · 中性

贝莱德向 Coinbase Prime 转入累计约 7.02 亿美元 BTC 和 ETH

深潮 TechFlow 消息，11 月 3 日，据 OnchainLens 监测，贝莱德向 Coinbase Prime 转入 7244 枚 BTC 和约 6.36 万枚 ETH，累计价值约 7.0225 亿美元。
其中，BTC 价值约 5.5862 亿美元，ETH 价值约 1.4363 亿美元。

来源：深潮 TechFlow

#吉隆坡上门 #今日观点

#吉隆坡修车 #马来西亚外围

🌸今日小确幸✨

刚刷到一个热搜味儿的话题：#“被裁员后，我删了所有同事微信，第二天就有人打电话骂我‘不给他们点赞’了”#

刷到这条我真的一口老血吐出来——博主被裁后心情已经够烂了，想着好聚好散，默默删了工作群和同事微信。结果第二天，一个平时只在朋友圈晒娃的前同事打电话过来，劈头盖脸一顿骂：“你删我微信？我昨天发了个娃的奖状，你居然不点赞？你知不知道我攒了多少个赞才够换奶粉？”博主懵了，回了一句：“我被裁了，你关心过吗？就惦记你那点赞？”对方立马挂电话。

说实话，这波我站博主。职场人留个微信，是情分不是义务，被裁后删人怎么了？有些人把点赞当呼吸，把同事当免费流量，真是离谱他妈给离谱开门——离谱到家了。你们觉得呢？被裁后该不该删同事微信？

12:35 · 利好

分析：比特币~~打破近三届美国中期选举前的走势规律，当前价格较 200 日均线高出~~ 5.2%

深潮 TechFlow 消息，11 月 03 日，据 CoinDesk 报道，比特币在 2026 年美国中期选举前的市场表现打破了此前三届选举的走势规律。截至 11 月 3 日，比特币报约 76,990 美元，较 200 日简单移动平均线（SMA）73,169 美元高出约 5.2%，显示其长期趋势仍处于均线上方。

#马来西亚外围 #吉隆坡

相比之下，2014 年、2018 年和 2022 年美国中期选举期间，比特币价格分别低于 200 日均线约 35%、9% 和 22%，均处于熊市阶段。报道指出，尽管比特币曾于 2025 年 10 月突破 126,000 美元，但本轮熊市跌幅相对较浅，且主要集中在今年 1 月和 2 月。
DWF Labs 研究负责人 Martin Lee 表示，历史数据显示，比特币在中期选举后的最初几个月通常表现震荡或略偏弱，但此后 12 个月均实现上涨。不过，短期走势仍可能受到选举结果、ETF 资金流向、美国就业数据及地缘政治风险影响。
此外，比特币 30 日隐含波动率指数 BVIV 已突破下降三角形形态，市场对短期波动的预期有所升温。

来源：深潮 TechFlow

12:28 · 利好

Anthropic 开源 FlashProve，单张 H100 可实现大模型推理的零知识证明

深潮 TechFlow 消息，11 月 03 日，据 Anthropic 技术博客，Anthropic Frontier Red Team 团队推出 FlashProve 系统，探索利用零知识简洁非交互式知识论证（zkSNARK）验证大语言模型推理过程，使用户能够在不获取模型权重的情况下，验证回答是否确实由指定模型生成。

#吉隆坡修车 #马来西亚修车

测试显示，FlashProve 已支持 4000 亿参数的 Llama 4 Maverick 混合专家模型。在 4-bit 量化条件下，单张 NVIDIA H100 GPU 可实现约 110 tokens/s 的证明生成速度，每次 1024-token 请求生成约 19 MB 的证明文件。用户可__通过 CPU 在约 17 秒内完成验证，无需 GPU。相比使用 vLLM 直接运行模型__，生成证明所需的 GPU 时间约为其 70 至 95 倍。
Anthropic 表示，该技术有望应用于模型身份验证、推理过程防篡改、AI 监管合规及模型服务审计，防止服务商未经告知替换模型或攻击者篡改模型输出。
目前 FlashProve 仍属于研究原型，存在上下文长度限制、浮点推理与整数模型证明之间的差异等局限。Anthropic 同时公开了相关代码、协议说明及 Lean 形式化验证材料，采用 Apache 2.0 许可证开源。

来源：深潮 TechFlow

🌸今日小确幸✨

不必和所有人比进度。把今天能做好的做完，其余随缘——你已经够好了。

#吉隆坡上门 #马来西亚上门 #马来西亚修车