Charles Hoskinson Reveals Work on a Cardano Programming Language Using Groth16 Proofs
Hoskinson is building a new Cardano smart contract language with Lucas Rosa using Groth16 proofs, but no name, code or timeline has been shared yet.
Summary written by AI. Read the source before acting on anything.