cryptobarba
15.1K posts


and that's the record that Dragon's Egg **provides privacy for by allowing erasing provenance chains with zero-knowledge without losing the associated authority at the point of invocation**


Robinhood is now open to AI agents. You can open an agentic account and connect an AI agent to it. From there, you can let it research, trade, and manage a portfolio on your behalf. Here's how to get started. 🧵

Ill make 2 posts about Dregg this one will be about the devv the other one about the project Fully doxxed, 15-year track record. Runs it via their company Lunar Town LLC. Achievements: •Rust core contributor helped build one of the world’s biggest programming languages (Solana runs on it). Created rustdoc, a tool every Rust dev uses daily •seL4 worked on the world’s only mathematically proven bug-free OS kernel (used in military drones). Elite skill, ~few thousand people worldwide can do this •Mina Protocol founding engineer of a blockchain that hit multi-billion mcap in 2021. Designed its consensus protocol •Code flew on NASA’s Mars helicopter Connections: •Evan Shapiro (Mina CEO) & Izaak Meckler (Mina CTO, top ZK researcher) worked directly with them •Rust/Polkadot elite devs (tomaka, kvark)



The sell pressure is due to one guy clipping a big bag. Don’t worry solana:XkeTXo1125vz5H9svJpGiw4JvLbN8VmMu9cmMvspump is the alpha and I was never planning to sell this early. @DreggNet is a distributed object operating system based on the Lean 4 kernel. Each state transition includes a STARK proof to verify the execution of AI agents It replaces internet trust with machine-verifiable mathematical proofs, so users do not need to trust code, nodes, or agents A world-class founder with experience in Mina Protocol, Rust OG, and seL4 has delivered real code, is running a testnet, and is actively developing. Mina protocol worth or was worth 1.5 billion + This is the tweet, this is the alpha!

I noticed that GPT models like to invent their own jargon when describing some concept in a codebase. Out of nowhere it’ll drop these super dense wordy terms like “cycle aware pinned buffer remapping” as if I’m supposed to know what that’s referring to.


Ngl, the RWA narrative cooked if the best projects are just using token taxes to buy stocks and distribute them to holders. We need AI agents that actively generate yield by spotting market inefficiencies, arbitrage opportunities, lending, and other strategies. Otherwise, why hold tokenized stocks instead of the actual stocks? There has to be an incentive that makes holding tokenized equities more attractive than holding the underlying assets.

architecture update. hoodclaw is already built to do almost anything: when it's missing a tool it writes one, tests it, and runs it. that power stays. but trading is a speed sport. swaps, wallet state, schedules are getting dedicated instant paths. full power for the unknown. zero latency for the routine. and ultimately hoodclaw will be able to turn unknown problems into zero latency execution. more soon.

@DreggNet I think I know the direction you’re trying to go but 99% of people (investors, builders, probably even ZK people) aren’t going to understand what a proof-native semantic computer is. Very cool nonetheless excited to follow along!




any chain can signal, layerzero and hyperlane are integrated as well as the dregg-native proof settlement. “how it should be done” uses a verified impl of choreography theory. link.springer.com/article/10.100… actually another work was recently published that does a similar approach. arxiv.org/abs/2607.15174

Whoever builds the first launchpad on Robinhood that launches coins paired with Stocks is going to make a lot of money Paired as in LP pair. Coin/Stock liquidity pool If you are building this let me know i want to throw many ethereums at your product please



The Qubitcoin Foundation continues to grow. Please join us in welcoming Dmitrii Khitrin as Director of the Qubitcoin Foundation. Dmitrii brings a strong background in quantum computing research, with experience at Duke University, the Duke Quantum Center and the Weizmann Institute of Science. Welcome aboard, Dmitrii!




