Yonatan Sompolinsky

sovereignty as a service

@Kasdaghopesfwo @VJCrypto_ @michaelsuttonil @KaspaSilver I'm all for shifting focus from marveling at the tech to realistic usage vectors, this is a long overdue shift in the discussion +1

@hashdag @VJCrypto_ @michaelsuttonil @KaspaSilver From a pure investment standpoint and holding for three years losing $30,000 with 80% of other holders also at a loss some larger than mine, everyone marvels in the technology but the shortcomings of the project have become blatantly clear, we are still years from actual use ..

"User-friendly and works now usually beats theoretical superiority until the superior thing actually works better." Took this quote from grok when trying to gather all my thoughts together on the future path for kaspa:native . I am going to just brain dump to see if someone can find what I am missing or just agree with my take on things. Lost focus on building one thing like vprogs was inevitable to happen. There is no way to stop the fragmentation of devs, funding, and efforts going all over. This is because the nature of this market is free and users want to operate for profit. No one wants to lose. All in focus on cores desires for smart contract like programability is high risk high reward when Kaspa does not have forever to just be on the sideline trying to attract users with "hey look whats coming." What is a bit unfortunate is seeing core shift away from trying to market Kaspa as being money to solely view Kaspa as this MoE powerhouse to allow you to do many things. I get the shift but the problem is the "many things" are simply not many. I could be wrong for this feeling but this is simply what I am getting. Kaspa has a narrative crisis that is for sure but I think the biggest mistake is to try and leave the money narrative all together. I simply point this out cause I fear I am seeing signs of abandonment of this all together. Giving humanity a better Money IS the biggest market. This is the biggest way I can onboard any noob into crypto with Kaspa. The % of people not in crypto is greater than the % of people in it and it seems efforts are being made to try and steal users from everywhere else that are already here and hope it happens. I think Kaspa main efforts should be focused on no coiners. This means developing to give these users a way to live on a Kaspa standard. This also means making apps to easily utilize Kaspa and especially bring native stablecoins to it. Kaspa for ultimate storage, stabecoins for living day to day while still living on the Kaspa network at all times. Hopefully Toccata ships and we get this moving along quickly. When it comes to L2s and bringing basically all ETH offers to a wonderful base layer like Kaspa I repeat what I stated above. User-friendly and works now usually beats theoretical superiority until the superior thing actually works better. Kaspa is money and its the first time money will be programmable to scale at internet speeds while keeping true to Bitcoin level properties of security and decentralization. This keeps users self-sovereign and truly rids the reliance of the middle man.

To me the bottleneck on this "legit defi usage" is the aggregate bizdev talent in kas ecosystem. I guess we'll be able to assess how we score on that once Tocatta launches with the necessary primitives and features. (And since we can't know for sure, and while others are making hopefully successful efforts to attract existing defi activity from other chains, I am attempting a parallel trajectory to bootstrap coordination markets on kaspa. Hopefully at least one of these efforts succeeds.)

@hashdag @VJCrypto_ @michaelsuttonil @KaspaSilver The biggest issue I think everybody has that we are tiptoeing around is we want legitimate use defi and AI capable transactions on the L1, the L2’s have been absolutely horrific, realistically how long until we are not a ghost chain? Long time holder here and losing faith fast

Sure tho I consider based apps a natural extension and usage of (what you called pure) covenants: if you impl covenants seriously rather than thru op_cat workarounds, you unlock their programmability potential by extending the txn commitment scheme to allow the covenants to govern based logic. This extension is straightforward, requires no research / theoretical novelty, and is highly useful even if it's the end form of programmability on the layer (ie no further syncompo/vprogs solutions ever develop). --- @KaspaSilver There's nothing wrong with implementing an EVM L2 as an interim solution, but this requires an interim agenda. If in contrast a project aims to become the main gateway for builders on our money network, then our hard-fought efforts - and the prices we paid - for decentralized fairlaunch go to waste. Such a takeover is far from inevitable, and fwiw I know of no other crypto project that had to cope with independent L2 attempts that early in its growth efforts (to be clear I never attribute to malice that!). To spell it out further: If an L2 has an interim agenda, or at least focuses on its own bizdev rather than general builder devrel -- ie, it uses L2 tech as a enabler rather than as an value prop -- then the risk of fragmentation is restricted to liquidity and standards, which is tolerable and solvable down the road. I wouldnt endorse it but I would get it, and I'd respect those who dont give an f about my endorsement

a bit more context: besides pure covenants, based zk apps were obviously also a focus point in the development of toccata, but no special effort was made towards vprogs. ie we introduced opseqcommit, zk opcodes, kip21, canonical bridging pocs etc. but these focus on standalone based apps, without the crucial syncompo hard-to-achieve-by-definition property. this choice and focus shows inherent pragmatism in how kas rnd operates, optimizing for the faster feedback loop path

The upcoming upgrade was chosen without regards to vprogs, and no meaningful effort was made to optimize it for vprogs (definitely nothing delaying Tocatta by more than a few days). Tocatta is a principled implementation of bitcoin-originating covenants which, if ever implemented in bitcoin, would use the op_cat workaround. It is the default method to introduce programmability into a thin verification-oriented L1 to preserve its decentralized lean value prop. vprogs are outside core’s focus precisely because we are optimizing for usability over theoretical superiority. I hope this helps you and grok update your premise. (BTW counterexample to your claim about inevitability of fragmentation: Solana)

I don't mean to say vprogs is the only focus of core but that cores focus to bring DeFi smart contract like capabilities to Kaspa is via the vprogs path which can take much time before anything materializes for a user to use whereas the L2s we are seeing are shipping products users can use now. I think this is a better explanation of my "core is focusing on vprogs" statement. A more direct answer is the most current upgrade coming to Kaspa is a foundational step for vprogs to exist on Kaspa with all future upgrades building on top of it so that vprogs can be completed.

@eliottmea @BankQuote "pulls" liquidity or RFQs? I'm highly skeptic one can prove manipulation (then justify slashing) just based on quotes. more likely to hit an impossibility due to manipulations being indistinguishabe from white noise + network latency. any chance u reached a formal model/claim?

@hashdag @BankQuote you don’t necessarily have to have a “more people = more precision” model. You can very well have one that pulls from CEXs directly, and the challenge becomes to detect oracle manipulation from market manipulation (e.g. binance fakes it’s ob)

Kaspa’s oracle research appears to be splitting into two distinct primitives: binary outcome oracles, where Sutton and Yonni are exploring consensus-linked resolution for event truth, and price oracles, where Eliott is working on the much harder market-structure problem of liquidity, latency, venue reliability, and manipulation-resistant price discovery. Both belong to the oracle domain, but they solve different classes of truth. One answers whether an event occurred. The other tries to quantify a live market state under adversarial conditions.

@parker2017 @coinathlete @kaspadotnews @Krok13236 Neat and authentic, props! Consider adding to your one liners "kaspa dagknight is ww111 resistant"

Primarily inspired by @coinathlete’s work with @kaspadotnews + @Krok13236, and others doing real Kaspa education, here’s a small contribution from me: kaspaexplained.com I made it mostly for myself, but I hope it helps others too. The problem that pushed me: every time I ask LLMs for info on Kaspa, they either pull random hype-site slop or flatten everything into a basic kaspa.org-level recap. That is not enough if we want outsiders, and even those of us already inside the community, to understand Kaspa more clearly. No shade to @Kaspa_Commons, @kaspaunchained, core contributors, or anyone already doing real work. Love ya. I know everyone is busy. I’m not an expert either, just trying to organize what I’ve learned from people who understand this much deeper than I do. This is a first step toward a cleaner, more level-headed public reference that Google and LLMs can hopefully start picking up over time. Open experiment. Better public sources = better answers. Visit it, tear it up, tell me what sucks, and tell me how to make it better.

The @festival_web3 2026 event is closing today! We want to highlight the #kaspa dev contributions as key parts of the ecosystem! From core @michaelsuttonil @OriNewman @coderofstuff_ @Max143672, @asaefstroem, d-stack, along with @kaspa_kef grantees @hus_qy @IzioDev @FreshAir08. Working closely with exchanges and wallets @supertypo_kas @lAmeR_1377 Thank you for your work! Oh almost forgot @hashdag the goat (face not in the picture)

@nic_carter This is a very interesting use case of real-time decentralization, ie the ability to sample the honest majority in real time - - miners running a decentralized chancery (I suppose using SLMs) to govern stablecoin transfers (x.com/i/status/20269…)

The solution to Circle refusing to freeze funds for anything other than a court order is not to carve out a bunch of exceptions, it’s to create a Chancery court that moves at the speed of the internet

Appreciate you taking the time to read and flesh out the coordination markets thesis for everyone, myself included. Learning from these nuances. @hus_qy @Radical_Ed_Bad One linguistic note - the word hints at an attempt to "altruise" human nature, whereas better connotes acting together in self-interest without assuming trust, but yes assuming shared missions/goals; hence the term coordination games from competitive game theory

@hus_qy competition and combating will not be enhanced more than the type of cooperation you're describing. Human nature does not change by the introduction of new tools, I believe. The new tool by itself, even if very potent and revolutionary, is not enough to do that en-mass.

I just got back from my Easter trip visiting family, and one of the first things I made time for was listening to Yonatan’s Oxford Union speech. I think he absolutely nailed it: youtube.com/watch?v=VIZGKo… If there is one thing we can learn from our progress in AI, it is that intelligent behavior emerges when many components explore degrees of freedom and converge, through distributed constraint resolution, into coherent and stable patterns. The modern world has connected an enormous number of people and given us unimaginable freedom, but it still lacks a credible way to enforce shared constraints. The result is a crisis of responsibility at every scale of society: from cyberbullying to former superpowers chasing old glory through war, to leaders blaming the weakest members of society for national decline, or even killing their own citizens to preserve power. At the same time, our capacity to inflict harm on one another has become increasingly asymmetric. Small actors can now create disproportionately large disruptions, and conflicts no longer remain local. They send shockwaves through the emerging superorganism we call humanity. The age in which we could dominate one another and still produce a stable world is coming to an end. The only serious path forward is collaboration. People may feel pessimistic about the future, but I think we are approaching an inflection point. Even the old superpowers are beginning to learn this lesson the hard way. The American Dream of "I can make it" is gradually giving way to the realization that individual prosperity depends on collective wellbeing, and that we can build far larger and more meaningful things when we share a common dream. That is why I am excited about DLTs, and Kaspa in particular. Not because I see them as safe havens for hiding wealth from corrupt governments in some dystopian future, or because I want people to get rich by selling to later participants. But because I believe DLTs can offer a superior foundation for large-scale human coordination: one that is more neutral and reliable than traditional models based on force and mutual deterrence. In that world, wealth is not the goal in itself, but a byproduct of coordinating around shared missions, empowering people to contribute, and aligning incentives toward common outcomes. The future is not about building better products. It is about building better protocols: systems that allow human beings to coordinate meaningfully at larger scales than ever before. For the first time in human history, we have the tools to build institutions that are not bound to territory, yet can still provide structural coherence without having to fight wars to establish their legitimacy. What we need now is a group of people bold enough to take that mission seriously.

@IOHK_Charles @CryptoCrewHQ @IOHKCharless +100

@CryptoCrewHQ @IOHKCharless @hashdag Why do you people insist on provoking a fight or conflict where there is none? I see dozens of tweets every month from Kaspa community members using my words and attacking Cardano. What is the point of this? How does it benefit you at all? There was no conflict here

Is $ADA actually "Sound Money" or is it just founder cope? @IOHKCharless claims ADA is the biggest threat to $BTC but the data tells a very different story Time to break down the full 2-minute clip blowing up on X right now. 🧵👇 #Cardano #Kaspa #Bitcoin

@Grayscale @realvijayk arigato gozaimasu! if Kaspa army showed up here, think how they'll show up when you provide a KAS digital asset.. by mid june Kaspa OP_CAT++ Bitcoin. worth the attention _/\_

@realvijayk @hashdag Kaspa army really showed up here. Followed @hashdag ✅

who should we be following in crypto right now? we'll follow the most mentioned accounts ⬇️

@OriNewman didn’t know that but still offended you’d think I wouldn’t know that

Not sure if intended or not, but it's pretty cool that @hashdag's blog domain name is the chemical symbol for silver.

@zkDragon @Vladcostea Cool, are these considered part of Tachyon? What TPS and block times are you targeting?

@hashdag @Vladcostea Were solving the scalability challenge with complimentary techniques! Namely changing the payment protocol, and PIR for retrieving your notes. This removes shielded sync, which is the primary TPS blocker

This year, Zcash will most likely solve the trilemma of security, decentralization & scalability Tachyon will be a game changer Privacy that scales is the holy grail of cypherpunks Now the challenging part is UX and adoption: getting normal everyday people to use the most empowering tech in their daily lives

@oneforonehaha note there exists a documentation website for programmability in Kaspa, the temporary link was published by izio a few weeks ago in the pub rnd channel progdoc.izio.fr/overview.html I presume it will migrate/redirect to a different URL soon. Please bombard core with questions and clarifications needed until they are sick of you and have no choice but to spell it all out fully clearly legibly onchain

I noticed the DOG20 example is the same as OP_CAT (and KRC20): docs-kasplex.gitbook.io/krc20. I also understood that silver script is a compiler. I don't necessarily know anything about zk <> OP_CAT (lmk if you have good sources). I still see some nuances to be clarified. For example, unlike OP_CAT which has OP_RETURN, the state of #Kaspa covenant design seems to be not available. The state is in redeem script, so only when the output UTXO is spent, the original script will be visible. Another example is the chess game. Not sure if you will think that is conceptually novel, but to me if developing dapp on #kaspa covenant requires dev to think what will change the state machine.... it can be very "novel" as I don't think most devs think in that way...... Still, I saw core devs in TG channel still discussing Covenant signing and indexing features these days, so I will wait for those to be finalized.

1) Txn activity requires either luck or spelling out usecases that can uniquely be built on or attract builders to kas. Merely being EVM compatible - and then replicating the EVM defi play and calling it "a usecase" - was the strategy of many EVM GHOSTchains. 2) With AI coding, programming languages and VM frameworks are no longer significant moats. In fact, being Rust friendly is more important here than being EVM friendly, since coding agents work meaningfully better in Rust than in other languages due to its strict compiler which forces correctness, sharper debugging loop for the agent. 3) My stance is mostly unrelated to vprogs. Vprogs too is a framework, not an acronym of "usecase", tho at least it is corresponding with the future of crypto rather than its past. x.com/i/status/20382… 0) Launching an interim EVM solution requires having an interim agenda.

In your opinion would you not see L2’s that use Kaspa as the sequencer now as a sort of interim before vProgs as a good thing? From how I see it I would only think it was a net positive because: 1) more txns come to L1 that may not have been there before 2) devs from outside of kaspa ecosystem begin to migrate to kaspa due to familiar setups and can port fairly easily. 3) once vProgs are live any builders/apps that are already on L2’s can then easily transition over to the L1 This is why I feel L2’s are a good stepping stone but would obviously love to hear your thoughts on this

@Chris_Hutch7 @oneforonehaha @michaelsuttonil L2 and EVM on kaspa - just as ethereum is stepping away from both of these in favour of simply better tech - is just wholesome cringe. And calling it "a usecase". vitalik.eth.limo/general/2025/0… Chris, happy to address usecase/adoption - in more serious threads

@emdin @oneforonehaha @hashdag @michaelsuttonil This is actually why I champion all L2’s on top of Kaspa that use the base layer as a sequencer. Stepping stones for existing and new builders into Kaspa with less of a barrier to entry all whilst boosting txns on the L1

I’ve been thinking. If Aviv and Mr Y’s GHOST protocol had actually been accepted and implemented into Bitcoin back in 2013, would Kaspa exist today? I know GhostDAG is a different beast from GHOST but would it have ever came to be if Bitcoin Forked to GHOST? Should we thank Bitcoin for becoming so ossified that it made way for Kaspa? $KAS

I beg to differ @oneforonehaha. Cov+ZK is conceptually the same as what the OP_CAT camp in BTC is pushing for. In principle, we could've introduced programmability into kaspa by merely adding OP_CAT; that would've been easier to communicate, though not to build with; you'd still need a silverscript-like compiler cc ON, easy authentication of covenant lineage cc MS, etc. BTC's OP_CAT doesn't magically make program development accessible. Ecosystem differences aside, any practical, developer-friendly utilization of OP_CAT would be in the ballpark of what kas core designed here. (One arguable exception: BTC could've used the simpler block header sequencing commitment and require apps to zk-prove the entire onchain activity and not just their app's activity; infeasible for high throughput). With all the great ideas baked into the design, I still think we should view the upcoming HF as a natural next step, one that has no particular research angle or conceptual novelty. Think of it as OP_CAT++

No it couldn't. You know I love @hashdag and @michaelsuttonil, but tbh their work is not even "dev" sometimes, it is pure scientific research. For example, even the current Covenant + zk route has no precedent case. This is just new science. I do, however, stay critical of this sometimes. A fresh new system will have trouble onboarding developers (which is especially hard when the market is bearish), and this system is too expensive compared to those slightly more centralized alternatives. I see this journey with #kaspa as a rewarding rainforest adventure rather than sth destined to be successful...