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.
Tin tức liên quan
Áp chế tài chính trong kỷ nguyên AI
📺 Xem VideoBitcoin Magazine Áp bức tài chính trong Kỷ nguyên AI. Việc chuyển dịch ra nước ngoài đã khiến Hoa Kỳ phụ thuộc vào các đối thủ về công nghệ then chốt, theo Craig Tindal...
Đợt bán tháo trái phiếu Kho bạc Mỹ tháng 9: Không phải do kỳ vọng lạm phát, mà do lợi suất thực tăng vọt
Thị trường có thể đang đánh giá lại tăng trưởng kinh tế và nhu cầu vốn, nhưng phần bù kỳ hạn vẫn là một mối lo ngại.
Ba tên cướp có vũ trang ở Pattaya, Thái Lan, đã buộc một công dân Trung Quốc chuyển 820.000 USD tiền mã hóa.
TRAE của ByteDance hợp nhất hai công cụ AI, TraeWork sẽ ngừng hoạt động vào ngày 23 tháng 10.
Bernstein: Doanh thu quý 3 của TSMC dự kiến đạt 1,49 nghìn tỷ Đài tệ, cao hơn 3% so với mức đồng thuận của thị trường.