Hoskinson and Lucas Rosa Dey Develop New Cardano Programming Language

Charles Hoskinson announce on October 18 say im dey personally develop new programming language for Cardano. Im mention Lucas Rosa, Aiken co-founder and Midnight’s tooling architect, as im collaborator for the project.

Aiken Co-Founder Dey Work Alongside Hoskinson

Rosa, wey people sabi online as @rvcas, co-found Aiken and lead im development for more than two and half years. According to im project history, the work include design the language features before dem transfer ownership and license to Pragma to manage am long term.

Aiken na programming language and development toolkit for Cardano smart contracts. Developers dey use am to define the rules wey go govern whether transactions fit spend assets or perform other operations wey contract control.

Rosa currently list im position as Tooling Architect for Midnight. Im background cover compilers, distributed systems, and application infrastructure.

Hoskinson announcement identify Rosa as collaborator but e no assign any organizational role to Midnight.

How Intents and Groth16 Proofs Take Connect

Intents dey describe the outcome wey user wan achieve and the conditions wey go make am acceptable. User fit request exchange of ADA for another token, specify minimum amount to receive and maximum fee. Specialized participants wey dem dey call solvers fit then find execution path and construct transactions wey satisfy those conditions.

Proof-carrying data, or PCD, concern information wey get cryptographic evidence say e comply with defined rules. The evidence fit also cover im processing history, to show say previous computational steps respect those rules. Person wey receive am fit check the proof without to repeat the whole computation wey happen before.

Groth16 dey provide compact zero-knowledge proofs with relatively low verification complexity. E allow one party to show say specified computation run correctly without to reveal the private inputs wey dem use produce the proof. Which application data go remain public depend on how dem design the surrounding system.

When you combine these concepts, application fit express acceptable outcomes and verify evidence say the relevant computational conditions don satisfy. Dem never describe the specific mechanism wey go connect them inside the proposed language.

How the Language Go Connect to Cardano Validators

Cardano don already get cryptographic building blocks for proof-based applications. Plutus V3 include BLS12-381 operations wey support efficient verification of compatible zero-knowledge proofs. Developers fit use those primitives to build contracts wey go check evidence of computations wey happen outside the blockchain.

Verification dey consume execution resources and e dey add to transaction fees wey dem dey pay in ADA. The practicality of any implementation therefore depend on whether the proof system, verifier, and workload fit enter inside Cardano transaction limits.

Hoskinson post no provide language name, repository, specification, or release date. Im relationship with Aiken and Plutus still no clear. The integration point wey still open be how program wey dem write for the new language go generate proof and make am available to Cardano validator, to connect the user stated conditions with the contract wey go authorize settlement.