文章 - 第312页 - 登链社区

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

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

Move DApp

李大狗
发布于 2023-08-23
阅读 ( 3829 )

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

in Michael.W基于Foundry精读Openzeppelin

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

OpenZeppelin Foundry

Michael.W
发布于 2023-08-23
阅读 ( 2898 )

SPL Token 2022的形式验证

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

Solana SPL Token Mint操作 Certora Prover 验证工具 Rust

jorge_75332
发布于 2023-08-22
阅读 ( 346 )

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

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

Solana SPL Token 2022 零知识证明形式验证安全性智能合约

jorge_75332
发布于 2023-08-22
阅读 ( 220 )

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

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

隐身地址全同态加密 FHE 隐私保护双密钥隐身地址协议 DKSAP

eth-protocol-fellows
发布于 2023-08-22
阅读 ( 193 )

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

in 狗哥区块链与AI精品内容集@NonceGeek

Aptos 帳戶讓鏈上地址身份與私鑰解耦，提供了單簽及多簽帳戶，最重要的是具有密鑰輪換的功能。地址在創建帳號後維持不變，即使在密鑰輪換後仍然維持相同。密鑰輪換改變的是公鑰私鑰對以及身份驗證密鑰。

Move DApp

李大狗
发布于 2023-08-22
阅读 ( 3141 )

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

in 狗哥区块链与AI精品内容集@NonceGeek

现有的 Aptos 数据模型依赖于 Move 内的存储能力，允许将结构存储在全局存储中。然而，这种方法有局限性

Move DApp

李大狗
发布于 2023-08-22
阅读 ( 3063 )

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

in 狗哥区块链与AI精品内容集@NonceGeek

1什么是MoveflowMoveFlow是建立在Move生态系统之上的加密资产流支付协议，它可以实现即时、无缝和不间断的支付流。

Move DApp

李大狗
发布于 2023-08-22
阅读 ( 2870 )

Solidity 编码规范推荐标准

in 全面掌握Solidity智能合约开发

Solidity 编码规范推荐标准, 作者列出了 15 条非常使用的规则，例如：指定固定的编译器版本、导入代码时指定版本, 并使用命名导入，以及变量命名时注意事项。

Solidity 编程风格

翻译小组
发布于 2023-08-22
阅读 ( 4624 )
( 57 )

NOVA from scratch

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

Nova folding zkSNARK

白菜
发布于 2023-08-21
阅读 ( 4497 )
( 19 )

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

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

SPL Token 零知识证明 Solana 安全性正式验证程序分析