- Tezos launched TzEL, an experimental privateness rollup utilizing zk-STARK proofs and post-quantum cryptography on its testnet.
- TzEL addresses the “harvest now, decrypt later” downside: encrypted information saved right this moment could possibly be decrypted as soon as quantum computing matures.
- The undertaking makes use of Tezos’ information availability layer and rollup structure to deal with proofs of as much as 300KB per transaction.
Tezos launched TzEL, an experimental privateness rollup deployed on its testnet that stands as one of many first makes an attempt to design non-public transactions constructed to resist assaults from quantum computing. The undertaking combines zk-STARK proofs with post-quantum cryptography, intentionally shifting away from elliptic curve cryptography that dominates many of the crypto trade right this moment.
The core downside TzEL seeks to handle is just not present-day privateness, however the privateness of the long run. Atypical blockchain transactions are public by design, however privateness techniques introduce layers of encryption to conceal quantities, recipients and delicate metadata. That encryption works properly right this moment, however on-chain information is everlasting. Somebody might accumulate encrypted data now and retain it till a sufficiently highly effective quantum laptop turns into able to breaking the cryptography defending it — an assault vector often known as “harvest now, decrypt later“.
Tezos Places TzEL to Work on the Testnet
The system permits customers to protect tez inside the rollup, switch them privately between contributors and unshield them again to the bottom layer. It additionally incorporates encrypted memos, viewing keys, detecting keys and delegated proving — instruments oriented towards selective disclosure: transactions are non-public by default, however the person can reveal particular data when required.
What distinguishes TzEL from a purely theoretical train is that it already features a purposeful rollup stack, wallets, bridge flows, proving infrastructure and accessible instruments for builders straight on the testnet.
The dimension of zk-STARK proofs is likely one of the most important technical challenges to resolve: every transaction can attain 300KB, a quantity that will be pricey or outright unviable to course of repeatedly on the bottom layer of many networks. TzEL addresses this by means of Tezos’ information availability layer, often known as DAL, and its rollup structure — infrastructure designed to deal with considerably bigger information volumes with larger effectivity.
This product turns options sometimes described in summary phrases — scalability, modularity, information availability — into one thing tangible and measurable. TzEL continues to be experimental code, not appropriate for transactions involving actual worth, but it surely demonstrates in observe what the infrastructure Tezos has constructed over latest years is definitely for.
