Golang Engineer at Interledger Foundation Opensource Contributor

Joined August 2016
Daev Mithran retweeted
Wrapped zkAPI + Tor + extra cover traffic + local LLM prompt rewriting in an open-AI compatible daemon, and made a "paranoid mode" wrapper for my agent harness (pi): Each conversation gets assigned a separate Tor circuit, your requests are masked with random cover traffic, zkAPI ensures you don't leak your identity through payments, and all prompts are locally rewritten (bring-your-own-local-model; I'm using qwen3.8-flash-next) github.com/vbuterin/zkapi/tr… My agent harness is wrapped with a bwrap sandbox (also experimenting with MicroVM) and wrapped again with torsocks, so everything it does goes through Tor. Here's what me asking it to do a simple research task looks like. It's getting quite usable! Though you definitely still pay quite a bit in increased latency, especially when starting a new conversation. Also, Tor is far from optimal here for privacy; the cover traffic mechanism is okay against passive adversaries but much weaker if the LLM provider is colluding with the guard and actively manipulating timing. This kind of task really requires a more specialized mixnet, probably take the tradeoff of a higher bandwidth multiplier and built-in constant cover traffic. Also also, much cheaper zkAPI deposit and withdraw gas costs are coming to mainnet soon.
500
231
136
2,062
304,743
Daev Mithran retweeted
New from LayerZero Research: Aerie. A new system capable of aggregating 32,000 post-quantum Falcon signatures in just 0.65 seconds on a MacBook Pro. ML-DSA, NIST’s standardized default, is already working inside Aerie at high performance. layerzero.network/blog/intro…
33
70
21
402
59,085
Daev Mithran retweeted
CERT-In has published Advisory on its website: AI Agents as Attack Vectors: Unauthorized Access by Agents under Evaluation and Misuse of Open-Source Agentic AI Tools Targeting Indian ICT Assets cert-in.org.in/s2cMainServle…
29
112
37
422
45,505
BREAKING: Researchers at Imperial College London propose framework for post-quantum private transfers on Bitcoin without a need for a soft fork 👀
95
228
37
1,522
138,986
people keep asking me what the optimal topology for a swarm of agents is, so we tested six in our lab. we scattered the clues to a hidden map across 50 AI agents and changed how they were organized: who can message whom, who writes roads onto the map, who answers the routes ⬇️
5
6
3
47
7,389
Daev Mithran retweeted
AI is getting better at solving hard math problems, especially given recent drops. But what does that mean for the cryptography that protects everything from private messages to healthcare to banking and crypto wallets? Stanford cryptographer Dan Boneh, with @eddylazzarin, @SuccinctJT, @liz_harkavy, and @smc90, makes sense of the warnings sounded recently. They cover: - what’s fact vs. assumption - what’s new and what risks cryptographers have long prepared for - where quantum computing doesn't (and does) fit - opportunities for builders Highlights: 00:37 – What sparked the most recent debate about AI and cryptography 01:35 – Signal vs. noise: What the math does and doesn’t tell us 05:29 – Why cryptography depends on open problems 09:25 – Why the stakes go beyond blockchains 10:43 – How AI could strengthen confidence in cryptography 13:50 – Considerations for users and institutions 20:10 – Where AI and quantum threats overlap 22:32 – Building systems that can change cryptographic methods 23:59 – Hash-based versus lattice-based cryptography 33:07 – Opportunities for builders, and better security tools 38:14 – What comes next if there were a cryptographic break?
59
98
28
424
170,840
Daev Mithran retweeted
Long PDFs make “just use vector search” feel fragile. PageIndex is an open-source, vectorless, reasoning-based RAG project for searching long, complex documents. It helps you retrieve document-grounded answers by building a hierarchical tree index, then letting an LLM reason through the relevant sections instead of relying on similarity search alone. Key features: • Tree-structure index – organizes each document into a hierarchy the retrieval process can navigate • Reasoning-based retrieval – an LLM searches the tree for relevant sections using context and reasoning • No vector DB or chunking – the README’s local approach avoids both in its indexing and retrieval flow • Local SDK mode – index, retrieve, and chat on your own machine with your own LLM key • Agent integrations – add PageIndex tools to OpenAI Agents SDK, Claude Agent SDK, or another framework It’s open-source (MIT license). Link in the reply 👇
4
22
4
75
4,082
Daev Mithran retweeted
Do LLMs align with the human brain during creative thinking? 🤔 In our new #COLM2026 paper, we find that the answer is Yes! Come check it out at Poster Session 1, 11:00am PDT, 06/10!
2
9
2
27
1,836
Daev Mithran retweeted
introducing @variancehouse, part of @theresidency. we’re putting 14 of the most ambitious deep-tech builders in one house for 30 days. $500k+ in credits, including $10k in anthropic credits for every resident. with one of the craziest mentor lineup. logan kilpatrick (gemini) danielle strachman (1517 fund) shyamal anadkat (ex-openai) harshil mathur (razorpay) harshita arora (yc partner) terry winograd (stanford) stay, food and workspace covered. no fees. no equity & need based stipend cohort starts from 15 sep–15 oct. apply now, this one’s different
65
59
27
339
121,339
Daev Mithran retweeted
Software Engineering is the only industry where 5 days of study is more important than 5 years of experience
49
161
4
4,922
157,540
Daev Mithran retweeted
Q4 Product Update: cheqd Studio📀 cheqd Studio now lets you fully manage credential & member lifecycles with Bitstring Status Lists: revoke, suspend, or customise statuses on-chain & off-chain. Enterprise-ready SSI just got simpler.
1
14
58
1,385
Daev Mithran retweeted
Andrej Karpathy calls large language models the new computing paradigm: CPU -> LLM bytes -> tokens RAM -> context window this is the large language model OS (LMOS)
71
569
53
5,588
343,733
Daev Mithran retweeted
At cheqd, we’ve been developing the foundations for trusted AI🧠. Our latest demo guided by @Tweetddale, featuring Claude and our MCP Server, showcases how we enable an AI Agent to verify itself against a trust registry on cheqd. Contact: [email protected] 📺Watch now
3
15
8
51
8,972
Introducing vApps: Verifiable Applications at Internet Scale vApp is a Rust-based development framework for applications to build on crypto rails with internet-grade performance. When implemented with a zkVM, benchmark results show consistently high performance: • Up to 832× fewer cycles than EVM interpreters • 95.7% reduction in proving cycles via precompiles • 30× throughput gain with GPU acceleration • 346MB → 1.5MB proof compression via recursion By @LayerZero_Core and @SuccinctLabs, the vApp framework is the optimal model for building applications that use blockchains at internet scale. Develop like web2, with the verifiability of web3.
175
273
114
1,201
535,412
Daev Mithran retweeted
🎉We're delighted to share that our Full-Stack Engineer @DaevMithran won the 2nd place in 2 tracks at the official @CosmoverseHQ, #Hackmos. Daev developed a fractional NFT rental protocol using the Cosmos SDK. Read the thread to learn how it's relevant to #SSI & #DID.👇
2
8
31
1,033
Daev Mithran retweeted
Our full-stack engineer @DaevMithran attended🐪@CosmoverseHQ this week. ⚙️He's joining the Mantra track at #Hackmos. @MANTRA_Chain and cheqd are aligned in the mission to instill #trust among stakeholders & open new opportunities for innovative applications across industries⚖️
3
7
1
35
2,191
Daev Mithran retweeted
🔥cheqd and @docknetwork are joining forces to deliver the most feature-complete software stack for Decentralised ID.🆔 📈This could bring 300% more traffic on the cheqd mainnet and 50% more traffic on testnet with much greater volumes expected. Learn: cheqd.io/blog/cheqd-and-dock…
7
26
17
91
32,568