Charles Hoskinson Reveals Work on a Cardano Programming Language Using Groth16 Proofs
By Unchained
AI summary of the source article
Cardano founder Charles Hoskinson announced he is developing a new programming language for the blockchain alongside developer Lucas Rosa. The language aims to enable intents and proof-carrying data via Groth16 zero-knowledge proofs.
Key facts
- Charles Hoskinson is personally building a new programming language for Cardano alongside developer Lucas Rosa.
- The planned language is designed to enable intents and proof-carrying data (PCD) using Groth16 zero-knowledge proofs.
- No name, code, or timeline for the language has been released.
Source excerpt · Unchained
The Cardano founder is writing the language with Lucas Rosa, a co-creator of the Aiken smart contract language, and has not shared a name, code or launch timeline. The post Charles Hoskinson Reveals Work on a Cardano Programming Language Using Groth16 Proofs appeared first on Unchained .