https://blog.trailofbits.com/2023/03/21/circomspect-static-analyzer-circom-more-passes/
#circom 静态分析器
#circom 静态分析器
The Trail of Bits Blog
Circomspect has more passes!
TL;DR: We have released version 0.8.0 of Circomspect, our static analyzer and linter for Circom. Since our initial release of Circomspect in September 2022, we have added five new analysis passes, support for tags, tuples, and anonymous components, links…
Forwarded from Anon
Only for enthusiasts)
- Blockchain Security Roadmap - https://lnkd.in/gPw7Nf4J
- All Smart Contract Attack Vectors - https://lnkd.in/gSV_bj9R
- The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts - https://lnkd.in/gnzDrXaH
- BLOCKEYE - Hunting For DeFi Attacks on Blockchain - https://lnkd.in/gvxmW8Hu
- Topological Anomaly Detection in Dynamic Multilayer Blockchain Networks - https://lnkd.in/gPG6vrAM
- Verification of the Incremental Merkle Tree Algorithm with Dafny - https://lnkd.in/gfk3YrEd
- GoHammer Blockchain Performance Test Tool - https://lnkd.in/gHhjWdHj
- EtherClue: Digital investigation of attacks on Ethereum smart contracts - https://lnkd.in/gvuaaKaT
- Requirement Analyses and Evaluations of Blockchain Platforms per Possible Use Cases - https://lnkd.in/g7G9Rpxj
- A Note on Privacy in Constant Function Market Makers - https://lnkd.in/guEEV7Gm
- An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts - https://lnkd.in/gT3C-9fq
- AGSolT: a Tool for Automated Test-Case Generation for Solidity Smart Contracts - https://lnkd.in/gYDvEndF
- Reentrancy Vulnerability Identification in Ethereum Smart Contracts - https://lnkd.in/g6EVMjpg
- Coinbugs: Enumerating Common Blockchain Implementation-Level Vulnerabilities - https://lnkd.in/gqTS47JW
- SuMo: A Mutation Testing Strategy for Solidity Smart Contracts - https://lnkd.in/gm_ut_ev
- A Framework and DataSet for Bugs in Ethereum Smart Contracts - https://lnkd.in/gGNzC8iz
- Extracting Smart Contracts Tested and Verified in Coq - https://lnkd.in/gYv2VgFJ
- Trustless, privacy-preserving blockchain bridges - https://lnkd.in/gxzndTd2
- Security checklists for Ethereum smart contract development: patterns and best practices - https://lnkd.in/grF8DuMU
- Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning - https://lnkd.in/gpbsEGve
- Targeting the Weakest Link: Social Engineering Attacks in Ethereum Smart Contracts - https://lnkd.in/g38PzXy3
- OptSmart: A Space Efficient Optimistic Concurrent Execution of Smart Contracts - https://lnkd.in/gFJhgamn
- DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode - https://lnkd.in/gKNNN34h
- Profiling Gas Leaks in Solidity Smart Contracts - https://lnkd.in/g2dMHYac
- Ethereum SmartContract Vulnerability Detection using Deep Neural Network and Transfer Learning - https://lnkd.in/gV8Thsxe
@ethers_officer
- Blockchain Security Roadmap - https://lnkd.in/gPw7Nf4J
- All Smart Contract Attack Vectors - https://lnkd.in/gSV_bj9R
- The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts - https://lnkd.in/gnzDrXaH
- BLOCKEYE - Hunting For DeFi Attacks on Blockchain - https://lnkd.in/gvxmW8Hu
- Topological Anomaly Detection in Dynamic Multilayer Blockchain Networks - https://lnkd.in/gPG6vrAM
- Verification of the Incremental Merkle Tree Algorithm with Dafny - https://lnkd.in/gfk3YrEd
- GoHammer Blockchain Performance Test Tool - https://lnkd.in/gHhjWdHj
- EtherClue: Digital investigation of attacks on Ethereum smart contracts - https://lnkd.in/gvuaaKaT
- Requirement Analyses and Evaluations of Blockchain Platforms per Possible Use Cases - https://lnkd.in/g7G9Rpxj
- A Note on Privacy in Constant Function Market Makers - https://lnkd.in/guEEV7Gm
- An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts - https://lnkd.in/gT3C-9fq
- AGSolT: a Tool for Automated Test-Case Generation for Solidity Smart Contracts - https://lnkd.in/gYDvEndF
- Reentrancy Vulnerability Identification in Ethereum Smart Contracts - https://lnkd.in/g6EVMjpg
- Coinbugs: Enumerating Common Blockchain Implementation-Level Vulnerabilities - https://lnkd.in/gqTS47JW
- SuMo: A Mutation Testing Strategy for Solidity Smart Contracts - https://lnkd.in/gm_ut_ev
- A Framework and DataSet for Bugs in Ethereum Smart Contracts - https://lnkd.in/gGNzC8iz
- Extracting Smart Contracts Tested and Verified in Coq - https://lnkd.in/gYv2VgFJ
- Trustless, privacy-preserving blockchain bridges - https://lnkd.in/gxzndTd2
- Security checklists for Ethereum smart contract development: patterns and best practices - https://lnkd.in/grF8DuMU
- Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning - https://lnkd.in/gpbsEGve
- Targeting the Weakest Link: Social Engineering Attacks in Ethereum Smart Contracts - https://lnkd.in/g38PzXy3
- OptSmart: A Space Efficient Optimistic Concurrent Execution of Smart Contracts - https://lnkd.in/gFJhgamn
- DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode - https://lnkd.in/gKNNN34h
- Profiling Gas Leaks in Solidity Smart Contracts - https://lnkd.in/g2dMHYac
- Ethereum SmartContract Vulnerability Detection using Deep Neural Network and Transfer Learning - https://lnkd.in/gV8Thsxe
@ethers_officer
lnkd.in
LinkedIn
This link will take you to a page that’s not on LinkedIn
👍1
https://www.certik.com/resources/blog/5Zai85KkvIgW0wBJPQxl3i-the-rug-pull-report
Rug Pull #security 常见特征
Rug Pull #security 常见特征
Certik
CertiK - The Rug Pull Report
Exit scams, popularly referred to as rug pulls, are an ongoing criminal scheme in Web3. A rug pull involves fraudsters robbing a crypto project by liquidating their holdings without warning and leaving investors holding worthless tokens.
👍1
https://a16zcrypto.com/content/article/books-for-crypto-builders-beyond-founder-summit-library-2022/
#a16z Builder 书单
#a16z Builder 书单
a16z crypto
Books for crypto builders and beyond (2022) - a16z crypto
We share some of the books we curated for the giveaway library at our recent inaugural a16z crypto Founder Summit.
👍1
https://ld-capital.medium.com/trend-research-by-ld-capital-%E5%A4%8D%E7%9B%98usdc%E8%84%B1%E9%94%9A%E9%A3%8E%E6%B3%A2%E4%B8%AD%E7%9A%84%E5%8D%B1%E4%B8%8E%E6%9C%BA-a7468ca99db0
对 USDC 脱钩后，#defi 生态系统反应的汇总
对 USDC 脱钩后，#defi 生态系统反应的汇总
Medium
「Trend Research by LD Capital」复盘USDC脱锚风波中的危与机
本文将探讨在USDC脱锚危机中，受影响最大的借贷、交易类协议、去中心化稳定币系统的表现，以及潜在的交易机会。
👍1
https://blog.stelolabs.com/state-of-web3-security-part-1/
Web3 攻击 #hack 分类概述 #security ，给出了2022年至今的几种常见攻击模式的典型案例及分析
Web3 攻击 #hack 分类概述 #security ，给出了2022年至今的几种常见攻击模式的典型案例及分析
👍1