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

SMTChecker 检查合约漏洞的超能力

SMTChecker 检查合约漏洞的超能力
区块链安全  SMTChecker  智能合约 

受信任第三方与安全漏洞

本文作者Nick Szabo作为密码学专家，认为安全协议设计中引入受信任第三方(TTP)会引入安全漏洞，增加成本和风险。文章提出了一种设计安全协议的方法论，即并行设计受信第三方和需要这些第三方的协议，并且探讨了通过分发TTP资格来降低成本和风险的安全机制，强调了最小化对受信任第三方依赖的重要性，并讨论了私有财产保护中避免依赖TTP的策略。
受信任第三方  安全协议  密码学  风险管理  隐私保护  拜占庭容错 

ARBITRUM Token桥使用教程

二层网络 Arbitrum 已经上线了， 看看如果把 token 转移到二层网络
Arbitrum  Rollup 

通过Web应用向IPFS上传文件

在Web应用中向IPFS上传文件
IPFS 

区块链中的数学 - Halo2 Circuit

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.
零知识证明  zkSNARK  PLONK  Halo2 

MultiSwap：如何用Solidity在多个DEX中套利

in  DEFI 协议解析
在一次交易中，在不同的去中心化交易所进行多次兑换.
Bancor  Uniswap  Sushiswap 

零知识证明 - zkEVM解读

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线（Bus Mapping）的思路，将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上，State proof证明数据的一致性，EVM proof证明计算逻辑的正确性。
零知识证明  Layer2  zkEVM  zkSNARK  ZK Rollup 
  • Star Li
  • 发布于 2021-09-02
  • 阅读 ( 5090 )

如何将PancakeSwap部署到以太坊类链上

如何将PancakeSwap部署到以太坊类链上
pancake  DeFi  swap  Ethereum  eth  BSC 
  • erick
  • 发布于 2021-08-31
  • 阅读 ( 14603 )
  • ( 106 )

Paradigm CTF - Yield Aggregator

本题目是比较经典的重进入，本文尝试用Samczsun提出的四步法来解答该题目。即找到外部调用，判断外部调用是否可以被利用，是否满足三种外部调用模式，尝试利用它。
samczsun 
  • bixia1994
  • 发布于 2021-08-25
  • 阅读 ( 3316 )
  • ( 17 )

闪电网络的入账容量问题

入账容量问题可能是闪电网络在启动阶段会遇到的问题。因此，如果流动性在整个网络中的分布更充分、更好，问题将减轻。我们会继续撰文探讨闪电网络在早期会遇到的问题。
闪电网络 
  • EthFans
  • 发布于 2021-08-17
  • 阅读 ( 3019 )

Paradigm CTF - JOP

本题的核心思想跟之前做过的一道题目：[Consensys CTF-02 栈溢出重定向利用](https://learnblockchain.cn/article/2634)的核心思想一致，即找到合约中的一个入口函数，通过该函数可以手动的构造一个栈。在手动构造的栈中，按照函数调用的顺序，将所需要的参数依次放入手动构造的栈里，然后依次调用所需的函数。最后找到一个出口，一般是一个jump Destination，结束调用。
samczsun 
  • bixia1994
  • 发布于 2021-08-15
  • 阅读 ( 3980 )
  • ( 10 )

zkEVM - Hermez设计思路

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。
零知识证明  Layer2  zkEVM  Polygon zkEVM 
  • Star Li
  • 发布于 2021-08-11
  • 阅读 ( 4197 )

Paradigm CTF- BabyCrypto

前段时间跟行业内人士聊天的时候，聊到了一个有趣的话题，即以太坊中私钥，公钥和地址分别是什么关系？以及ECDSA是如何工作的？
samczsun  ECDSA 
  • bixia1994
  • 发布于 2021-08-05
  • 阅读 ( 5538 )
  • ( 10 )

如何使用Aave进行闪电贷

in  DEFI 协议解析
使用以太坊交易的原子性，在一笔交易中，执行完整的借款及还款。
Aave  闪电贷 

区块链安全100问 |​ 第五篇：黑客通过这些方法盗取数字资产，看看你是否中招？

攻击者通过克隆一个知名区块链项目，通过精心设计成同原始真实项目一模一样的假项目钓鱼网站，对于精心设计的这个钓鱼网站，普通用户无法辨别真假，通过各种渠道发布这些信息，以假乱真......
零时科技  钱包安全 

区块链中的数学 - Baby Jubjub Elliptic Curve

本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。
椭圆曲线  zkSNARK  密码学 

在Polygon网络上构建应用的全栈开发指南

用Next.js、Tailwind、Solidity、Hardhat、Ethers.js、IPFS和Polygon建立一个NFT数字市场
NFT  Hardhat  Solidity  Polygon 

Paradigm CTF-Market

合约中储存与计算分离的思路有什么风险呢？
samczsun 
  • bixia1994
  • 发布于 2021-07-29
  • 阅读 ( 3784 )
  • ( 19 )

区块链安全100问 |​ 第四篇：保护数字钱包安全，防止资产被盗

in  区块链安全问题解析
钱包私钥最好使用纸笔抄录，同时自己保存起来;当然，能记在自己大脑中最安全了......
钱包安全  零时科技 

Compound 从白皮书看业务逻辑

Compound 从白皮书看业务逻辑
samczsun  Compound 
  • bixia1994
  • 发布于 2021-07-26
  • 阅读 ( 8161 )
  • ( 54 )