BTC $81,466.52 +1.25%
ETH $2,358.30 +1.16%
BNB $750.43 +0.16%
XRP $1.31 -0.24%
SOL $102.32 +1.47%
TRX $0.3311 +0.22%
DOGE $0.0804 +1.65%
ADA $0.2061 +1.83%
BCH $290.48 -0.14%
LINK $11.91 +3.25%
HYPE $95.55 +19.55%
AAVE $136.60 +3.50%
SUI $0.9550 +3.30%
XLM $0.1723 +1.16%
ZEC $1,362.98 +6.97%
AAPL $349.82 +1.21%
AMZN $246.74 -2.46%
GOOGL $285.18 -11.98%
MSFT $525.39 -0.56%
META $630.47 +2.68%
NVDA $213.63 -1.58%
TSLA $406.34 +1.27%
SNDK $1,364.06 -1.28%
INTC $92.43 -1.34%
SPCX $144.38 -0.17%
MU $946.23 -2.78%
AMD $571.15 +0.67%
BTC $81,466.52 +1.25%
ETH $2,358.30 +1.16%
BNB $750.43 +0.16%
XRP $1.31 -0.24%
SOL $102.32 +1.47%
TRX $0.3311 +0.22%
DOGE $0.0804 +1.65%
ADA $0.2061 +1.83%
BCH $290.48 -0.14%
LINK $11.91 +3.25%
HYPE $95.55 +19.55%
AAVE $136.60 +3.50%
SUI $0.9550 +3.30%
XLM $0.1723 +1.16%
ZEC $1,362.98 +6.97%
AAPL $349.82 +1.21%
AMZN $246.74 -2.46%
GOOGL $285.18 -11.98%
MSFT $525.39 -0.56%
META $630.47 +2.68%
NVDA $213.63 -1.58%
TSLA $406.34 +1.27%
SNDK $1,364.06 -1.28%
INTC $92.43 -1.34%
SPCX $144.38 -0.17%
MU $946.23 -2.78%
AMD $571.15 +0.67%

Web3 安全公司 Certora 获得以太坊基金会资助

2026-02-05 22:12:48

ChainCatcher 消息,Web3 安全公司 Certora 宣布获得以太坊基金会资助,具体金额暂未披露,相关资金将用于支持其验证自动预编译的正确性,自动预编译是零知识计算中的一项关键优化技术,由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发。据悉 Certora 计划开源其开发的规范、证明和验证框架。

app_icon
ChainCatcher 与创新者共建Web3世界