BTC $83,001.59 +1.67%
ETH $2,452.33 +2.23%
BNB $742.60 +2.01%
XRP $1.34 +3.23%
SOL $106.74 +2.10%
TRX $0.3310 -0.26%
DOGE $0.0822 +3.76%
ADA $0.2251 +3.84%
BCH $284.16 +1.90%
LINK $12.40 +3.55%
HYPE $81.20 +2.81%
AAVE $157.51 +5.41%
SUI $1.03 +4.30%
XLM $0.1821 +3.07%
ZEC $1,285.71 +12.74%
AAPL $337.90 -1.67%
AMZN $263.85 +0.24%
GOOGL $341.51 -0.89%
MSFT $527.79 -1.18%
META $698.51 -0.91%
NVDA $220.83 +1.89%
TSLA $380.82 +3.87%
SNDK $1,411.45 +4.61%
INTC $95.57 +5.11%
SPCX $160.25 +8.30%
MU $925.06 +3.72%
AMD $554.15 +4.12%
BTC $83,001.59 +1.67%
ETH $2,452.33 +2.23%
BNB $742.60 +2.01%
XRP $1.34 +3.23%
SOL $106.74 +2.10%
TRX $0.3310 -0.26%
DOGE $0.0822 +3.76%
ADA $0.2251 +3.84%
BCH $284.16 +1.90%
LINK $12.40 +3.55%
HYPE $81.20 +2.81%
AAVE $157.51 +5.41%
SUI $1.03 +4.30%
XLM $0.1821 +3.07%
ZEC $1,285.71 +12.74%
AAPL $337.90 -1.67%
AMZN $263.85 +0.24%
GOOGL $341.51 -0.89%
MSFT $527.79 -1.18%
META $698.51 -0.91%
NVDA $220.83 +1.89%
TSLA $380.82 +3.87%
SNDK $1,411.45 +4.61%
INTC $95.57 +5.11%
SPCX $160.25 +8.30%
MU $925.06 +3.72%
AMD $554.15 +4.12%

card

全部
文章
快訊

first_img Cardano 創始人正開發新編程語言,融合交易意圖與 Groth16 證明

ChainCatcher 消息,据 CoinDesk 報導,Cardano 創始人 Charles Hoskinson 表示,他正親自為 Cardano 網絡開發一種新的編程語言,並與 Input Output Global 工程師 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智能合約語言之一 Aiken 的共同創建者。Hoskinson 在 X 平台發文稱,這將是首個將用戶希望交易完成的操作與密碼學證明相結合的編程語言。據介紹,該語言將支持三種工具:交易意圖、攜帶證明的數據以及 Groth16 證明。交易意圖允許用戶說明想要完成的目標,而將具體步驟交給應用處理,例如交易者可以要求在最終價格滿足設定條件時才將一種代幣兌換為另一種,而無需說明具體路徑。攜帶證明的數據可為信息附加密碼學證據,證明其符合特定規則,其他應用無需重新計算即可驗證。Groth16 則是一種廣泛使用的證明系統,可生成體積小、驗證速度快的證明,在不暴露隱私數據的前提下證明條件已滿足。三者結合後,開發者可以構建協調交易、檢查複雜條件並在服務之間傳遞已驗證信息的應用,最終由 Cardano 驗證一個小型證明。目前 Cardano 開發者主要使用基於 Haskell 的 Plutus 以及 Aiken 編寫智能合約,而 Hoskinson 旗下 Input Output Global 構建的隱私區塊鏈 Midnight 擁有自己的語言 Compact。該新語言的名稱、公開代碼及發布日期目前均未公布。

first_img Petrobras 測試 Cardano,追蹤可持續航空燃料與柴油

ChainCatcher 消息,据 CoinDesk 報導,巴西國家控股能源公司 Petrobras 正在測試 Cardano 區塊鏈,用於追蹤低碳燃料的相關聲明。Cardano 基金會週三公布了兩項研究項目,其中一項針對可持續航空燃油,即可在現有飛機和機場使用的低碳航空燃料替代品,另一項針對 Diesel R,即 Petrobras 部分採用植物油、動物脂肪等可再生原料生產的柴油。航空燃油項目針對綠色燃料銷售中的 book-and-claim 模式:航空公司可為可持續燃料的環境效益付費,即便燃料本身在其他地方使用,該模式需要記錄效益歸屬方及領取時間,以避免同一減排量被重複計算。該應用通過 Cardano 記錄每份效益的來源、接收方及領取時間。在現實場景中,乘客可輸入出發和目的地機場,計算對應的燃料效益,並獲得一份將自身配額關聯至原始燃料證書的憑證。柴油項目則記錄燃料生產、運輸和使用各環節的信息,彙總為燃料全流程履歷,有助於企業報告範圍三排放。Cardano 基金會首席執行官 Frederik Gregaard 表示,從政府機構的 SERPRO 到工業領域的 SENAI,巴西一直是 Cardano 最穩定的採用者之一,Petrobras 繼續看重鏈上溯源與可追蹤性的價值。他提到,隨著 x402 登陸 Cardano、Fireblocks 增加對 Cardano 原生代幣的支持,機構興趣持續增長。
app_icon
ChainCatcher 與創新者共建Web3世界