找到约 15 条结果

文章 zkVM 安全性：哪里可能出错？- ZKSECURITY

...和内存的读/写操作的指令。 **VM 约束和证明 (VM Constraint and Prove)。** zkVM 的核心是证明执行的有效性。这意味着“给定汇编程序和输入，我知道一个有效的执行轨迹，可以生成此输出。” 为了验证轨迹，必须验证提取-解码-执行...

文章 Layer 2 Sequencer是什么？终极指南

...换](https://docs.metis.io/dev/decentralized-sequencer/overview/selection-and-rotation)哪个 sequencer 节点执行这些职责来实现这一点。 恕不赘述，这实际上具有与中心化 sequencer 相反的效果。中心化 sequencer 的闪光点是去中心化 sequencer 缺乏的地方...

文章 MakerDAO的黑色星期四：832万美元以0 DAI的价格被清算

...。 Rune 在论坛上[提到](https://chat.makerdao.com/channel/governance-and-risk?msg=ydSpXHD7h4piCNMRM)，缺乏GSM会更早地解决问题，但安全性始终是一种权衡。 ## 分析 为了构建一个连贯的局面，需要过去两天清算的数据。 我们从以太坊区块链收集...

文章 starknet智能合约编写、部署和调用-基于cairo2.3.0

...``[package] name = "hello_starknet" version = "0.1.0" # See more keys and their definitions at https://docs.swmansion.com/scarb/docs/reference/manifest.html [dependencies] snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.9.0" } openzeppelin = { git = "https...

文章 通过 Concrete ML 加速 ML 的 FHE：超越我们之前论文的基准测试结果

...zama.ai/concrete-ml/deep-learning/optimizing_inference#rounded-activations-and-quantizers)和 [TLU 单次误差容限文档](https://docs.zama.ai/concrete-ml/deep-learning/optimizing_inference#tlu-error-tolerance-adjustment)。 ### 新结果 我们在 hpc7a 机器上运行了实验。结果可...

文章 以太坊核心开发者共识会议#149记录

...2C%20developers%20discussed%20newfound%20bugs%20on%20Pectra%20Devnet%205%20and%20agreed%20to%20launch%20another%20devnet%20before%20upgrading%20public%20testnets.%20They%20also%20agreed%20to%20aim%20for%20Pectra%20mainnet%20activation%20by%20March%2011%2C%202025.%20%20) - [邮箱](mailto:email@email...

文章 Cosmos 是什么? 一文了解Cosmos的来龙去脉

...链都由[Tendermint](https://cosmos.network/intro#what-is-tendermint-core-and-the-abci)共识这样的BFT共识算法构建**。 > BFT 代表拜占庭容错(Byzantine Fault-Tolerance)。 分布式系统中的拜占庭故障是一些最难处理的问题。 一个拜占庭容错共识算法是一...

文章 不熟悉存档节点的, 请留意这一部分

...oducing-a-simplified-infura-plan-with-free-access-to-ethereum-archive-data-and-all-network-apis > 本文首发于：https://mp.weixin.qq.com/s/9F4jre9JiysTsAnuVJv25g

文章 如何在不断开连接的情况下修改Solana Yellowstone gRPC订阅请求

...](https://docs.shyft.to/solana-yellowstone-grpc/grpc-docs/getting-started/handle-grpc-reconnect) **和** [**Replit**](https://replit.com/@shyft-to/adding-a-reconnect-mechanism-to-grpc?v=1#index.ts) **中找到——可以随意探索和测试。我们还在** [**GitHub**](https://github.com/Shyft-to...

文章 Fireblocks 可升级代币审计 - ERC1155F

...ut-validation) - [拼写错误和错误的注释](#typographical-errors-and-incorrect-comments) - [gas 优化](#gas-optimization) - [缺失 ERC-721 和 ERC-1155 代币救援功能](#missing-functionality-for-rescuing-erc-721-and-erc-1155-tokens) - [结论](#conclusion) ## 摘要 Type...

文章 使用不同签名者修改账户：Solana 中的权限控制

...cKey.findProgramAddressSync(seeds_bob, program.programId); // Alice and Bob initialize their accounts await program.methods.initialize().accounts({ player: playerAlice, signer: alice.publicKey, }).signers([alice]).rpc(); await program.methods.initialize().accoun...

文章 关于提议者和构建者的更多图景

...信标提议者创建的**[现货包含列表](https://ethresear.ch/t/fun-and-games-with-inclusion-lists/16557#model-and-assumptions-for-inclusion-lists-1)**，并绑定插槽 _N_ 的执行提议者（后者由插槽 _N_-32 的信标提议者决定）。 ![](https://img.learnblockchain.cn/2025/06/0...

文章 Aptos 合约形式化验证 | Move dApp 极速入门（七）

...ove`。 BasicCoin.move 内容 ``` /// This module defines a minimal and generic Coin and Balance. module BasicCoin::basic_coin { use std::error; use std::signer; /// Error codes const ENOT_MODULE_OWNER: u64 = 0; const EINSUFFICIENT_BALANCE: u64 = 1; const EALR...

文章 Diffie-Hellman问题、ECDH密钥交换和ElGamal加密协议

...线 Diffie-Hellman](https://muens.io/elliptic-curve-diffie-hellman) 5. [Andrea Corbellini — 我们能否使用椭圆曲线加密数据？](https://andrea.corbellini.name/2023/01/02/ec-encryption/) 6. [维基百科 — ElGamal 加密](https://en.wikipedia.org/wiki/ElGamal_encryption) >- 原文...

文章 在硬件签名器上集成 Taproot

...的隐私性非常糟，这就是障碍之一。 花费条件： `or(HW, and(backup, timelock))` 描述符： `tr(HW, {and_v(v:pk(backup), older(timelock))})` Tapscript： ` OP_CHECKSIGVERIFY OP_CHECKSEQUENCEVERIFY` （译者注：这段花费条件的意思是：一个硬件签名器随时可...