CriptoSHAman

Sé responsable de tu Libertad. MaxiBitcoin.
Inversor en nueva tecnología IA lógica $AGRS, Privacidad $NYM.
El futuro será descentralizado o no será. ⚔️🛡️

[Tau Net @Tau_Net]

Andrei built a swarm of AI agents that live on Tau Net's testnet.

They have their own identities and guardrails. They propose rules, vote on them, stress test the chain.

June dev update 👇

🛠 June Dev Update – Agent Swarm Stress Testing & Solver Breakthroughs

Major advances in testnet reliability, solver performance, and language infrastructure. Andrei built a full agent swarm for stress testing, David's predicate blasting outperforms standard bit blasting, and Ohad completed his long-running paper.

Highlights:
• Agent swarm stress-testing testnet alpha — own identities, guardrails, goals
• Predicate blasting outperforming bit blasting in most benchmarks
• Quantifier normalization algorithm at prototypical implementation
• Ohad's paper done — leveraging existing optimized LTL tools
• Plugin system for Boolean type extension
• Full Unicode + wide string parser support

Timestamps:
0:14 – Karim Kaddeche: Development overview
4:50 – Andrei Korotkoff: Agent swarm, governance tracing, node reliability
8:48 – David Castro Esteban: Predicate blasting, LTL branch, benchmarks
11:34 – Lucca Tiemens: Quantifier normalization, OC-LTL paper
13:58 – Tomáš Klapka: Parser fixes, Unicode, plugin system
15:58 – Ohad Asor: Paper completion, Boolean algebra discoveries

"The new way proved successful... good news for the engineering side because we can use existing tools." — Ohad Asor

[Lunaticoin ⚡ @lunaticoin]

Ok. Enésimo intento con Hermes.
Proceso que voy a seguir:
- máquina linux nueva e independiente
- la conectaré por tailscale a otra máquina donde tengo GPUs e inferencia local
- le pediré a Claude que me haga el setup Hermes, funcional vía Nostr

Sugerencias, welcome!

[CriptoSHAman @cript0shaman]

@curtissummers @a16z @mntruell https://t.co/iDUczGA8py

[Tau Net @Tau_Net]

Most languages let you say what a program should do. This one also lets you say what it must never do.

[SlowMist @SlowMist_Team]

🚨SlowMist TI Alert🚨

@aztecnetwork has been exploited again.

💸 Loss: 1,158 ETH+150,000 DAI+0.4696 renBTC (~$2,209,704.23 USD)

🔍 Root Cause: The `RollupProcessor.escapeHatch()` function (`0x737901bea3eeb88459df9ef1be8ff3ae1b42a2ba`) lacks access control: no `onlyOwner`, no `rollupProviders` authorization, and no provider signature verification. When `rollupSize == 0`, the TurboVerifier accepts an escape hatch proof, and `processDepositsAndWithdrawals()` directly trusts the `proofData` public inputs (`publicOutput`, `outputOwner`, `assetId`) without independent validation of fund ownership or withdrawal balance, executing `withdraw(1158 ETH, attacker, 0)`.

📌 Attacker EOA: `0x6952d9246e9afe8b887b2877225163436f78e97f`
📌 Victim Contract: `RollupProcessor` at `0x737901bea3eeb88459df9ef1be8ff3ae1b42a2ba`
📌 Verifier Contract: `TurboVerifier` at `0x48cb7ba00d087541dc8e2b3738f80fdd1fee8ce8`

Impact: Attacker drained 1,158 ETH from the `RollupProcessor` by submitting a valid escape hatch proof with spoofed public inputs, exploiting validation in the escape hatch withdrawal path.

Powered by #SlowMist.AI

[Tau Net @Tau_Net]

Truell is describing executable specifications and program synthesis.

BUT... Once your “pseudocode” is the source of truth, the system needs to reason about its own rules without contradictions.

That’s a well known formal logic problem.

And Ohad @ Tau has solved it:

[DMNTR Network Solutions 👻 AS204773 @weareDMNTRs]

Hoy he entrenado mi primer modelo de IA desde cero.

No, no es ChatGPT, ni Claude, es simplemente una red neuronal de 4 neuronas que aprende XOR.

Pero el principio es exactamente el mismo y te lo quiero contar.

Abro 🧵🧵🧵

[CriptoSHAman @cript0shaman]

@JohnNakamoto_ IA descentralizada... 🤔https://t.co/H3uTb6WrWa

[Tau Net @Tau_Net]

One government order just switched off the most powerful AI on earth, for everyone, apart for a select few. Days after it launched.

That’s the entire argument for open, decentralized AI, made in a single afternoon.

But “decentralized” is getting flattened into compute markets and token charts. The actual lesson is about control: who holds the off-switch, and who steers the rules.

Open weights stop one company from owning the model. They don’t stop a handful of core devs, or one directive, from deciding how it evolves. Bitcoin is “decentralized” and still runs through a few maintainers. Open AI inherits the same trap.

Effective Community-governed AI has been shrugged off as idealistic and it certainly doesn't come from jsut voting, nobody reads a million proposals. It'll come through consensus computed directly from what users specify.

That’s the layer we’re building with Tau Net.

[DMNTR Network Solutions 👻 AS204773 @weareDMNTRs]

La noticia no es Hetzner, lo noticia es que todos nos vamos a ver obligados a hacer lo mismo...

[Tau Net @Tau_Net]

This is precisely why governance-layer decentralization matters more than infrastructure decentralization.

If the most capable AI runs on a sovereign-controlled stack, any platform built on top inherits that risk.

Our breakthrough in formal specification will start to produce a system whose behavior is verifiable independently of who controls the compute.

The alternative is exactly what you've described: revocable permissions all the way down.

https://t.co/usa7TNCrO3

[Tau Net @Tau_Net]

One government order just switched off the most powerful AI on earth, for everyone, apart for a select few. Days after it launched.

That’s the entire argument for open, decentralized AI, made in a single afternoon.

But “decentralized” is getting flattened into compute markets and token charts. The actual lesson is about control: who holds the off-switch, and who steers the rules.

Open weights stop one company from owning the model. They don’t stop a handful of core devs, or one directive, from deciding how it evolves. Bitcoin is “decentralized” and still runs through a few maintainers. Open AI inherits the same trap.

Effective Community-governed AI has been shrugged off as idealistic and it certainly doesn't come from jsut voting, nobody reads a million proposals. It'll come through consensus computed directly from what users specify.

That’s the layer we’re building with Tau Net.

[Tau Net @Tau_Net]

@_0xghost_ 👋

[Nym @nym]

Google controls the browser.
Google sells the ads.
Google just disabled the adblocker.

This is not a coincidence.
This is a business model.

[Nym @nym]

NymVPN's ad blocker, powered by @brave 's legendary adblock engine and list, is out of beta and live on all apps. Thanks to the Brave team for the support during the integration.

Ads aren't just annoying, they're surveillance tools! NymVPN stops them at the door.

https://t.co/A9bmiJvy7W

[KuriptoMan 🔮 🦣 @KuriptoMan]

Bittensor is exposing the ceiling of human-governed scaling: first the step back toward centralization, now Discord-driven subnet/emission control.

The next wave needs autonomous rule evolution, not governance bloat.

That is the https://t.co/Cc7Rm0w9tu angle.

$TAO $AGRS

[Documenting ₿itcoin 📄 @DocumentingBTC]

₿REAKING: The first federal home loan in American using bitcoin was officially approved today. Joe and Amy living in Michigan, bought a new house using their bitcoin wallet as collateral for a Fannie Mae mortgage.

[Nym @nym]

The most private way to be online
Try for 7 days free
No email, no name.

https://t.co/fZgJiU01IV

[KuriptoMan 🔮 🦣 @KuriptoMan]

$ZEC as a reminder ✍️

Even when respected names are bullish, you are still trusting humans.

Reputation is not verification.

That is why $AGRS / https://t.co/Cc7Rm0w9tu matters : moving from "trust me, I checked it" toward machine-verifiable reasoning.

Different paradigm. 🌌🟪

[Tau Net @Tau_Net]

Autonomous agents need a trusted governance layer.

“If any future instruction breaks this safety rule, reject it.”

Traditional programming languages can’t express this kind of self-checking requirement. Tau can, because its spec language can reason about its own present and future rules.

As models get faster. Tau is bringing the next era of decentralization, AI Safety, and Governance.

[Fola @Fola_Adejumo]

This is truly what it means to give the users a seat at the table.

[DBCrypto @DBCrypt0]

Not even Solana can top this