全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

Web3 极客日报 #1296

Web3 极客日报 #1296
  • rebase
  • 发布于 2023-08-23
  • 阅读 ( 1912 )

ETK：以太坊对象格式（EOF）实现

本文介绍了在以太坊虚拟机工具包（ETK）中实现以太坊对象格式（EOF）的计划。EOF旨在通过在部署时验证结构化的EVM代码，提高链上代码验证的效率和安全性。该项目将基于Ipsilon团队设计的“Mega EOF Endgame”规范，并实现相关的EIP，目标是为EVM语言提供第一个100%可用的EOF实现，并扩展到其他语言。
以太坊对象格式  EOF  EVM  ETK  EIP  智能合约 

宣布Zeth：首个 Type0 zkEVM

本文介绍了Zeth，一个基于RISC Zero zkVM的开源ZK块证明器，使得以太坊区块的验证过程在数分钟内完成，而不依赖于验证者或同步委员会。文章详述了Zeth的工作原理、性能、实现细节以及它对ZK技术和以太坊生态的影响，展现了其在ZK-rollup和zkEVM领域的应用潜力。
Zeth  zkVM  以太坊  ZK块证明  Rust  加密技术 

Instadapp 如何创建 Dapp 模拟模式

Instadapp 通过集成 Tenderly 的模拟基础设施，创建了 Dapp 模拟模式，使用户能够在主网数据上测试交易和策略，无需花费实际资金，从而增强了用户对 DeFi 的信任和信心。此外，Instadapp 团队还在内部流程中使用模拟来解决问题、进行集成测试，确保智能合约的完整性和安全性。
DeFi  Instadapp  tenderly  Dapp 模拟  智能合约  交易模拟 

何以我们需要 “Vlidating Lightning Signer”？

in  BTCStudy 精选
将你的闪电节点私钥和安全规则验证从闪电节点中分离出来
闪电网络 

开源经过实战检验的 Stone Prover

StarkWare 将其 STARK Prover（现命名为 Stone）以 Apache 2.0 许可证开源。此举旨在通过开放源代码，促进 Starknet 的去中心化，鼓励社区协作和创新，使开发者能够观察、优化和使用 Prover 的代码，该Prover自2020年6月以来一直在生产环境中运行，压缩并验证了大量的交易和NFT铸造。
STARK Prover  Stone  开源  Starknet  Cairo  零知识证明 

Aptos Token Object V2 | Move dApp 极速入门（贰拾肆）

in  狗哥区块链与AI精品内容集@NonceGeek
「Token」一词通常是指链上同质化代币和非同质化代币。随着区块链的发展，定义代币的标准和模型也在不断发展。在 Aptos 中，「Token V2」是指升级后的非同质化代币标准。原始模型「Token V1」使用资源 Resource 作为链上代币的表示方式，而新模型则使用 Object。这一升级打破
Move  DApp 

可編程交易塊 | Move dApp 極速入門（貳拾叁）

in  狗哥区块链与AI精品内容集@NonceGeek
Sui 是一個創新的區塊鏈平台，相比於大家熟悉的 EVM 兼容鏈，最大特色在以 Object（物件）為核心的設計、全新的智能合約語言 Sui Move。本文聚焦在 Sui 的其中一項關鍵創新：可編程交易塊 PTB（Programmable Transaction Block），探索如何透過 PTB
Move  DApp 

Michael.W基于Foundry精读Openzeppelin第30期——ECDSA.sol

in  Michael.W基于Foundry精读Openzeppelin
ECDSA（Elliptic Curve Digital Signature Algorithm）是椭圆曲线数字签名算法的简称。ECDSA库十分重要且使用广泛，其作用是在链上验证某message是否由给定的地址的私钥持有者进行签名的。简而言之，ECDSA库是一个验证地址真实身份的工具库。
OpenZeppelin  Foundry 

SPL Token 2022的形式验证

本文介绍了如何使用Solana Certora Prover工具验证SPL Token 2022中的Mint操作的正确性。文章探讨了Mint操作的实现细节，如何编写验证工具，以及如何设置验证环境和条件。最后，通过示例代码展示了验证过程中所需的步骤与关键检查。
Solana  SPL Token  Mint操作  Certora Prover  验证工具  Rust 

SPL Token 2022 隐私扩展的形式验证

本文介绍了如何使用 Solana Certora Prover (SCP) 检测 SPL Token 2022 中的一个关键漏洞，特别是在处理提现过程时验证加密公钥与 ZK 证明的一致性。详述了验证模拟和解决方案的实现，以及使用 SCP 进行形式验证的优势和面临的挑战。
Solana  SPL Token 2022  零知识证明  形式验证  安全性  智能合约 

提案：结合全同态加密（FHE）与双密钥隐身地址协议（DKSAP）来改进以太坊的隐私保护

该项目旨在通过结合全同态加密（FHE）与双密钥隐身地址协议（DKSAP）来改进以太坊的隐私保护。提出了FHE-DKSAP，声称其能够防止量子计算攻击，重用隐身地址从而避免大量生成，并允许接受者外包链上资产检查计算，同时不泄露视图密钥，从而提升以太坊交易的隐私性和安全性。
隐身地址  全同态加密  FHE  隐私保护  双密钥隐身地址协议  DKSAP 

Aptos 密鑰輪換 | Move dApp 極速入門（貳拾貳）

in  狗哥区块链与AI精品内容集@NonceGeek
Aptos 帳戶讓鏈上地址身份與私鑰解耦，提供了單簽及多簽帳戶，最重要的是具有密鑰輪換的功能。地址在創建帳號後維持不變，即使在密鑰輪換後仍然維持相同。密鑰輪換改變的是公鑰私鑰對以及身份驗證密鑰。
Move  DApp 

Aptos 对象模型 | Move dApp 极速入门（贰拾壹）

in  狗哥区块链与AI精品内容集@NonceGeek
现有的 Aptos 数据模型依赖于 Move 内的存储能力，允许将结构存储在全局存储中。然而，这种方法有局限性
Move  DApp 

保护一个价值一亿美元的闪电节点

ACINQ团队分享了如何使用AWS Nitro Enclaves和 Ledger Nano硬件钱包来保护其高容量闪电网络节点，重点介绍了将闪电节点运行在安全环境中，并通过可信设备进行敏感操作的签名和身份验证，从而在安全性、成本和可维护性之间取得平衡。
闪电网络  AWS Nitro Enclaves  Ledger Nano  硬件钱包  安全  密钥管理 

Aptos Moveflow SDK使用指南 | Move dApp 极速入门（贰拾）

in  狗哥区块链与AI精品内容集@NonceGeek
1什么是MoveflowMoveFlow是建立在Move生态系统之上的加密资产流支付协议，它可以实现即时、无缝和不间断的支付流。
Move  DApp 

Solidity 编码规范推荐标准

in  全面掌握Solidity智能合约开发
Solidity 编码规范推荐标准, 作者列出了 15 条非常使用的规则， 例如：指定固定的编译器版本、导入代码时指定版本, 并使用命名导入，以及变量命名时注意事项。
Solidity  编程风格 

NOVA from scratch

写在前面的时隔两个多月终于有机会给NOVAresearch做个了结，期间一直没有机会读revisitingnova，认真读完之后感触比较深，写点儿东西记录下来，也算给自己之前的research一个交待。当然期间也不乏出现hypernova/protostar这些可能更接近“真实战场”的
Nova  folding  zkSNARK 
  • 白菜
  • 发布于 2023-08-21
  • 阅读 ( 5592 )
  • ( 19 )

形式化验证 第 3 部分 - Solana SPL 隐私性扩展的形式化验证

本文介绍如何使用Solana Certora Prover (SCP)在SPL Token 2022的隐私扩展中发现错误，特别是关于`process_withdraw`函数的验证过程。通过使用零知识证明，SCP能够验证是否满足特定的正确性属性，从而确保账户安全性，文中还探讨了当前的挑战与未来的方向。
SPL Token  零知识证明  Solana  安全性  正式验证  程序分析 
  • Certora
  • 发布于 2023-08-21
  • 阅读 ( 1088 )

Web3 极客日报 #1295

Web3 极客日报 #1295
  • rebase
  • 发布于 2023-08-21
  • 阅读 ( 1934 )