i am once again here to say agent discovery & registry hell is one of the least impactful things to focus on that for whatever reason keeps nerd sniping cracked ppl...most "mid" solutions for it are good enough and "better" solutions barely move the needle either you: 1) actually take your 'thought experiment' to its sci-fi logical conclusion wrt "autonomous" + "trustless" agents and make them a first class citizen by enshrining the {fdn model, tool use, etc.} components of an agent directly into the chain* (we do this) rather than frankensteining together some off-chain & on-chain stuff as mentioned in 8004 (we did this: infernet) 2) stay grounded in reality & grok how the largest b2b / b2b2c web2 agent startups (sierra, decagon, ...) that are printing real $$$ work. either they're in the camp of single general purpose agent deployed many times or a statically defined computational graph of how specialized agents communicate. this intellectual masturbatory notion of dynamic graphs of agents discovering each other much less useful than you may think if you're in the camp of web2 cos getting real users. if you're not in this camp, and believe in futuristic settings, then you should do 1). anything in between is worst of both worlds imo. *feel free to @ me but your fave L1 today (eth, solana, monad, ...) doesn't allow for enshrined agents. it's also highly non-trivial for them to do this given it's not in line with their fundamental design. expanding the exec clients' vm to handle fwd passes across oss llms, network calls for tool use, etc. is the easy part. hard part is bypassing replicated exec in consensus for non-deterministic behavior w/out ~degrading safety/liveness, fee mech, and how to allow for scheduled txs to exist in a way without borking the perf / end UX for regular txs. wouldn't be possible for us without the gigabrains @noamnisan @n_durvasula @bahrani_maryam and others coming up with some new machinery. reality is most L1s are an exercise in networking-bound settings...we're in an exec-bound one.

這是本週的 Ritual Research Digest，這是一份涵蓋 LLM 世界及 Crypto x AI 交集的新聞通訊。 每週有數百篇論文發表，跟上最新動態幾乎是不可能的。我們會幫你閱讀，讓你無需費心。

這項工作的有趣含義是，質押 *和* 進行拍賣可能對獲取證明來說都是不必要的。 當質押分配對證明者施加了巨大的抵押負擔時，它們才會勝過彩票，這與去中心化的證明者市場相矛盾。