Nejc Talmai

Kaspa💎 🇸🇮

[Michael Sutton @michaelsuttonil]

After playing around with my Argent compiler (multi-app multi-contract compiler to Silverscript) for several days now, my belief that interesting and rich partitioned-state defi with atomic composability is possible on pure L1 UTXO rails is growing stronger by the day

[Michael Sutton @michaelsuttonil]

so this kaspa toccata thing is out now ⚡, wow

[Kaspa @kaspaunchained]

$KAS The Toccata Hard Fork is now live! Update your nodes well before June 30th so that you can remain in consensus!

https://t.co/cNKPF0esfg

[Michael Sutton @michaelsuttonil]

Kaspa Toccata mainnet process update:

Today we plan to publish the v1.3.0 mainnet pre-release, without activation, for 1–2 days of broader network sanity testing.

Assuming everything looks good, the following release will be v2.0.0, with activation planned for June 30, 4 weeks from today

[DeFi Decoder @DeFiDecoder_]

Lots of stuff happening in the $KAS ecosystem

And the Toccata hard fork is only one of them 👀

The two most bullish pointers beside it, IMO, are the possible @Revolut listing on the way and the ever-growing payment adoptions

[Michael Sutton @michaelsuttonil]

checkmate is coming to kaspa

[Pumpolinsky @pumpolinsky]

Let's see how big the $KAS community Really is!!
Just like, Repost and comment whatever you want.
Let's how much engagement this post gets.

[Grayscale @Grayscale]

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

[Pumpolinsky @pumpolinsky]

One day, this will be a reality... $KAS
Hit the "❤️" and repost if you believe ✨

[Pumpolinsky @pumpolinsky]

I made an article on:

Why $KAS is going to $12

[Hans Moog @hus_qy]

Okay, it's time for a little update:

I just finished the work on the zero knowledge part of the vprogs framework, which introduces the ability to prove arbitrary computation.

It consists of the following 8 PRs that gradually introduce the necessary features:

1. ZK-framework preparations (https://t.co/H0X9278oWK):

This PR cleans up the scheduler and storage layers, extends the build tooling with workspace-wide dependency checking, adds the ability to publish artifacts for transactions and batches (which will later hold the proofs), renames some core types for clarity, and introduces lifecycle events on the Processor trait that allow a VM to hook into key scheduler events like batch creation, commit, shutdown, and rollback.

2. Core Codec (https://t.co/ZbFEsNd7zF):

This PR introduces a lightweight encoding library for ZK wire formats.

In a zkVM guest, every byte operation contributes to the proof cost, so the codec is designed to reinterpret data in-place rather than copying it.

It includes zero-copy binary decoding (Reader, Bits) and sorted-unique encoding for deterministic key ordering. It is built for no_std so it runs inside zkVM guests.

3. Core SMT (https://t.co/wCcRTCXg8x):

To prove state transitions, we need cryptographic state commitments. This PR adds a versioned Sparse Merkle Tree that produces a single root hash representing the entire state.

It includes all state-of-the-art optimizations: shortcut leaves at higher tree levels to avoid full-depth paths for sparse regions, multi-proof compression that shares sibling hashes across multiple keys, and compact topology bit-packing to minimize proof size.

It integrates into the existing storage and scheduler layers so that every batch commit updates the authenticated state root, while rollback and pruning maintain tree consistency.

4. ZK ABI (https://t.co/1THUvCK1Xq):

Defines the wire format for communication between the host and zkVM guest programs, establishing a universal language for proof composition. It specifies how inputs, outputs, and journals are structured for two levels of proving: the transaction processor, which proves individual transaction execution against a set of resources, and the batch processor, which aggregates transaction proofs and proves the resulting state root transition.

Because the ABI is backend-agnostic and no_std compatible, any zkVM backend can directly use it (non-Rust zkVMs would need to reimplement the ABI in their language).

5. ZK Transaction Prover (https://t.co/TtvoYZaazz):

Introduces the transaction proving worker, which receives serialized execution contexts via the ABI wire format and submits them to a backend-specific prover on a dedicated thread. The Backend trait abstracts the actual proof generation, so different zkVM backends can be swapped without changing the pipeline.

6. ZK Batch Prover (https://t.co/WPRd1UmvGW):

Introduces the batch proving worker, which collects the individual transaction proof artifacts, pairs them with an SMT proof covering the batch's resources, and submits the combined input to a backend-specific batch prover. The result is a single proof attesting to the entire batch's state root transition.

Like the transaction prover, the Backend trait abstracts proof generation so different zkVM backends can be swapped without changing the pipeline.

7. ZK VM (https://t.co/3xMF17DKUq):

Wires everything together by implementing the scheduler's Processor trait with ZK proving support. The VM hooks into the lifecycle events introduced in PR 1 to feed executed transactions into the transaction prover and batches into the batch prover.

Proving is optional and configurable - it can be disabled entirely, run at the transaction level only, or run the full batch proving pipeline.

8. ZK Backend RISC0 (https://t.co/HJ0Payxfl0):

Provides the first concrete zkVM backend using risc0. It implements the transaction and batch Backend traits, includes two pre-compiled guest programs (one for transaction processing, one for batch aggregation), and ships with an integration test suite that verifies the full pipeline end-to-end - from transaction execution through batch proof generation to state root verification.

TL;DR:

While the early version of the framework focused on maximizing the parallelizability of execution, this feature focuses on extending this capability to maximizing the parallelizability of proof production.

If you're a builder: this is the first version of the framework that lets you write guest programs with a Solana-like API (resources, instructions, program contexts) and have them proven in a zkVM.

The current milestone uses a single hardcoded guest program - composability across multiple programs and bridging assets in and out of the L1 are part of the upcoming milestones, but if you're eager to start tinkering, the execution and proving pipeline is fully functional and provides a minimal environment to build and test guest logic today.

Once we add user-deployed guests, they will move one logical layer down: the current transaction processor will become a hardcoded-circuit that handles invocation and access delegation to user programs, similar to how SUI handles programmable transactions (including linear type safety at the program boundary).

In practice, this means guest programs will be invoked with a very similar API but scoped to a subset of resources, so the basic programming model won't change. Note that guests currently handle their own access authentication (e.g. signature checks) - the framework will eventually manage this automatically.

If you want to contribute, two areas where community involvement would be especially impactful:

- An Anchor-like DSL for writing guest programs -- the ABI is stable enough to build on, and a good developer experience layer would make this accessible to a much wider audience.
- A second zkVM backend (e.g. SP1) - the Backend traits are designed for this, and a second implementation would prove out the abstraction.

One thing I find particularly interesting in the context of PoW: the block hash provides an unpredictable, unbiasable random input that is revealed after transaction sequencing.

This gives guest programs native access to on-chain randomness without oracles or additional infrastructure - something traditionally hard to achieve in smart contract platforms.

PS: I am also planning to start with the promised regular hangouts but since I will visit my family over easter and want to get a better understanding of the open questions next week (it's good to have some problems to wrestle during that slower time 😅), I decided to start with that once I am back (12th of April).

Generally speaking, is there a day that people would prefer for these hangouts? I guess monday would be bad as there is already another community event (write your preferences in the comments if you have a strong opinion).

[Pumpolinsky @pumpolinsky]

I wrote an Article on:

Why I Believe $KAS is going to $10

[Vijay 𐤊ailash, CFA, CFP® @realvijayk]

3,000 TPS on fair launched, decentralized, secure, PoW network.

No one is ready for what #Kaspa is about to do.

Bullish!

[s c a p e ‎. 𐤊 @ScapeSquad]

$KAS is future of money and finance.

Study the Kaspa blockDAG.

[Kasparus 𐤊 @Kasparus1]

One day, you’ll wake up, grab your phone and see this. 😎

#Kaspa $KAS

[Kaspa Silver @KaspaSilver]

Why Kaspa Is The Crypto To Not Ignore Going Into 2026

Watch! Saturday, January, 17th. 8AM EST.

Early access via YouTube and Patreon!
https://t.co/qWxiJKMFuR
https://t.co/D6wgBsFDGk

$KAS $kas

[CryptoCrew 𐤊 @CryptoCrewHQ]

🚨 BREAKING: Stablecoins Confirmed for $KAS — Q1 2026!

@kaspador_ just dropped major alpha on Blockchain Banter

Kaspa is officially on the road to hosting stablecoins — and the timeline is now PUBLIC #kaspa #stablecoin

This is huge🚀👇

[Pumpolinsky @pumpolinsky]

I truly believe $KAS will be above $2,00 one day!

[coinbox @coinboox]

Top 10 Proof of Work cryptocurrencies ranked by block time:

$KAS - 100 ms
$QUBIC - 1.5 s
$XEL - 5 s
$QUAI - ~5 s
$TAO - 12 s
$ETC - 13 s
$DGB - 15 s
$RVN - 1 min
$DOGE - 1 min
$ZEC - 1.25 min

$KAS is leading the race 🔥🚀

[Kaspa Kii @KaspaKii]

Launching Today:
WarpCore: ISO 20022 In. Kaspa Finality Out.

Today we’re launching WarpCore (Phase 1) in a sandbox environment for financial institutions.

WarpCore acts as a universal adapter:
ISO 20022 ⇄ deterministic Kaspa logic.

Banks keep their existing messaging, controls, and compliance pipelines - while settling verifiable, immutable financial events on Kaspa at incredible speed, without compromising decentralisation. Secured by Proof of Work.

This is not a new rail.
It’s a translation layer.

Legacy systems in.
Cryptographic finality out.

More to come...

#kaspa $kas #xrp #ada #xlm #iso20022