BTC $82,886.69 +1.10%
ETH $2,445.77 +1.56%
BNB $740.54 +1.12%
XRP $1.33 +2.35%
SOL $106.44 +1.28%
TRX $0.3310 -0.19%
DOGE $0.0817 +2.49%
ADA $0.2239 +2.55%
BCH $282.88 +1.01%
LINK $12.33 +2.21%
HYPE $80.45 +1.44%
AAVE $154.53 +3.33%
SUI $1.02 +2.93%
XLM $0.1820 +2.46%
ZEC $1,260.68 +9.21%
AAPL $338.42 -1.45%
AMZN $263.99 +0.15%
GOOGL $340.99 -1.15%
MSFT $529.26 -0.77%
META $696.84 -1.48%
NVDA $221.05 +1.58%
TSLA $379.43 +2.79%
SNDK $1,401.82 +1.99%
INTC $94.74 +2.80%
SPCX $159.22 +6.93%
MU $916.15 +1.14%
AMD $548.32 +1.53%
BTC $82,886.69 +1.10%
ETH $2,445.77 +1.56%
BNB $740.54 +1.12%
XRP $1.33 +2.35%
SOL $106.44 +1.28%
TRX $0.3310 -0.19%
DOGE $0.0817 +2.49%
ADA $0.2239 +2.55%
BCH $282.88 +1.01%
LINK $12.33 +2.21%
HYPE $80.45 +1.44%
AAVE $154.53 +3.33%
SUI $1.02 +2.93%
XLM $0.1820 +2.46%
ZEC $1,260.68 +9.21%
AAPL $338.42 -1.45%
AMZN $263.99 +0.15%
GOOGL $340.99 -1.15%
MSFT $529.26 -0.77%
META $696.84 -1.48%
NVDA $221.05 +1.58%
TSLA $379.43 +2.79%
SNDK $1,401.82 +1.99%
INTC $94.74 +2.80%
SPCX $159.22 +6.93%
MU $916.15 +1.14%
AMD $548.32 +1.53%

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世界