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

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
  • 阅读 ( 4952 )
  • ( 19 )

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

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

Web3 极客日报 #1295

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

每周以太坊进展 2023/8/19

每周以太坊进展 2023/8/19
每周以太坊 
  • EthWeekly
  • 发布于 2023-08-21
  • 阅读 ( 3521 )
  • ( 14 )

SharkTeam：Exactly Protocol攻击事件原理分析

in  智能合约安全
8月18日，Exactlyprotocol遭遇黑客攻击，攻击者已获利约1204万美元。SharkTeam对此事件第一时间进行了技术分析，并总结了安全防范手段，希望后续项目可以引以为戒，共筑区块链行业的安全防线。一、事件分析攻击者地址：0x3747dbbcb5c07786a4c5988

Solidity学习笔记一：基础语法与remix的使用

越学越迷糊，于是准备再学一遍，进行总结。Solidity学习笔记一：基础语法与remix的使用
solidity 编程  区块链 
  • Yuanwai
  • 发布于 2023-08-21
  • 阅读 ( 4329 )
  • ( 19 )

Sui 上简单 Swap 的实现 | Move dApp 极速入门（拾玖）

in  狗哥区块链与AI精品内容集@NonceGeek
合约liquidity实现了一个在sui公链上的 DEX模式的swap案例,默认在此案例中交互的两种 Coin 交换汇率为1：1，在其中没有设置交易手续费，也没考虑其中一种 Coin 的增加或减少所带来的流动损失。
Move  DApp 

后 Verkle 状态过期

该项目提出了一种新的基于 Verkle 树的状态过期方案，用于解决以太坊的状态膨胀问题。该方案将过期不活跃的状态值（如账户余额、nonce、合约代码等），并通过提交 Verkle 证明来恢复它们。该方案旨在减少节点存储需求，提高网络性能，并促进以太坊的无状态性和状态过期。
verkle 树  状态过期  状态膨胀  以太坊  EVM  witness 

去中心化金融笔记（三）—— Uniswap V3 详解

B站梁培利老师《区块链金融》课程笔记 完整笔记请查看 Notion 链接：https://dune-marten-78b.notion.site/85b1d29c86344112a886fcfb2ea1c44c?pvs=4
V3 
  • 0xHowe
  • 发布于 2023-08-21
  • 阅读 ( 4200 )
  • ( 7 )

DeCert.me 申请了 Gitcoin Grant，请支持我们

DeCert.me 申请了Gitcoin 第18轮捐赠。
Gitcoin 
  • dwong
  • 发布于 2023-08-21
  • 阅读 ( 3538 )
  • ( 36 )

用 Elixir 交互 Aptos | Move dApp 极速入门（拾捌）

in  狗哥区块链与AI精品内容集@NonceGeek
函数式语言 <> Move
Aptos  Move  狗哥 

Sui 链上数据查询 | Move dApp 极速入门（拾柒）

in  狗哥区块链与AI精品内容集@NonceGeek
如何查询 Sui 的链上数据？
Sui  Move  DApp 

SUI 合约测试攻略 | Move dApp 极速入门（拾陆）

in  狗哥区块链与AI精品内容集@NonceGeek
在 Sui 上进行合约测试
Move  DApp