TL;DR: Cardano founder Charles Hoskinson says he is personally developing a programming language that combines transaction intents, proof-carrying data and Groth16 proofs. Charles Hoskinson is returning to the keyboard. The Cardano founder says he is working directly on a new programming language with Input Output Global engineer Lucas Rosa, aimed at making complex blockchain actions […]
Hoskinson Says He Is Building A New Cardano Language Around Cryptographic Proofs
TL;DR: Cardano founder Charles Hoskinson says he is personally developing a programming language that combines transaction intents, proof-carrying data and…
Some links on this page are affiliate links. We may earn a commission if you sign up, at no extra cost to you.
AI summary
Related news
Agents can trade 24/7 — but Yat Siu warns you could lose access at any time
The Animoca Brands chairman explains that AI agents can make trades while you sleep, but users need to plan for the day they lose access to the bots.
Stellar (XLM) Alert Issued by Japanese Crypto Exchange: Here's the Reason
Japan crypto exchange sends crucial notice to Stellar (XLM) users.
Switzerland’s First Retail Bitcoin ETF Gets Regulatory Green Light
Switzerland has approved its first retail spot bitcoin exchange-traded fund (ETF), opening a regulated investment vehicle previously unavailable to ordinary investors under Swiss…