PANews October 20 news, according to CoinDesk, Cardano founder Charles Hoskinson said on Sunday on X that he is personally developing a new programming language for Cardano. His collaborator is Input Output Global software engineer Lucas Rosa, who is also a co-creator of the Cardano smart contract language Aiken. Hoskinson said this will be the first language to combine transaction intents with cryptographic proofs that "the rules have been followed," supporting transaction intents, proof-carrying data, and Groth16 proofs. Developers can use it to build applications that coordinate transactions and verify complex conditions, with a small proof ultimately verified on-chain by Cardano. Cardano's existing smart contract languages are Plutus and Aiken. Hoskinson has not yet announced the language's name, public code, or launch date.
Cardano founder Charles Hoskinson personally develops a new programming language.
관련 뉴스
AI 시대의 금융 억압
📺 영상 시청비트코인 매거진 AI 시대의 금융 억압크레이그 틴데일에 따르면, 오프쇼어링으로 인해 미국은 핵심 기술을 경쟁국에 의존하게 되었다. 그는 해밀턴과 아이젠하워를 인용하며 AI를...
9월 미국 국채 매도세: 인플레이션 기대가 아닌 실질 금리 급등
시장은 경제 성장과 자본 수요를 재평가하고 있을 수 있지만, 기간 프리미엄은 여전히 우려 사항이다.
태국 파타야에서 무장 강도 3명이 중국인을 협박해 82만 달러 상당의 암호화폐를 이체하게 했다.
바이트댄스의 TRAE가 두 개의 AI 도구를 통합하며, TraeWork는 10월 23일에 서비스를 종료한다.
번스타인: TSMC의 3분기 매출은 NT$1.49조에 달할 것으로 예상되며, 이는 시장 컨센서스를 3% 상회하는 수치입니다.