reentrancy-attacks
Smart-Contract-Audits
Our great sponsors
reentrancy-attacks | Smart-Contract-Audits | |
---|---|---|
1 | 427 | |
1,184 | 560 | |
- | - | |
7.7 | 9.1 | |
28 days ago | 6 days ago | |
GNU Affero General Public License v3.0 | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
reentrancy-attacks
-
A look into formal verification of smart contracts using Certora
The main challenge is dealing with non-view functions. The default behavior of the prover is to assume that an external call can alter all state on every contract but the caller, noted as HAVOC_ECF. This can lead to state changes in external contracts that are unreachable, making verification more difficult. Furthermore, it assumes that the call is non-reentrant, which in reality is a frequent source of attacks. This last issue can be avoided by indicating that calls can re-enter, noted as HAVOC_ALL, but this means that an external call can mutate any state in any contract, caller included. This leaves the contract being verified in a state where we don't know anything about it after an external call is made. This severely limits what we can prove.
Smart-Contract-Audits
- Boss Swap
-
Alpaca Finance - Alpies NFT sale Oct 19 10pm GMT+8 @AlpacaFinance Β· Oct 8 Introducing our 23rd Grazing Range Pool for #NFT and #Staking! Welcoming @LuckyLionGameFi to the herd! https://medium.com/alpaca-finance/grazing-range-pool-23-welcoming-lucky-to-the-herd-d72988bef39e #DeFi #BSC
We have test scripts in code and our smart contract. We have also received audits on smart contracts from Inspex, PeckShield, and TechRate. Our audit with Certik is also commencing shortly. Weβll make sure to get more audits as we release more major features. In addition, we also have an outsourced penetration team, who will help us conduct penetration test prior to any major releases.
- TRUBADGER AUDITED CONTRACT IS COMPLETE.ππ
-
FERRET TOKEN | FRT | Audited | Deflationary | Burnable | With great potential
Contract being audited by https://techrate.org/ results will be published by Techrate in their Github accounts and social networks.
-
$ATA tokenπ°launched 01.06.2021, 2700 account holders with 1 million USD market cap already π
Audit completed β https://github.com/TechRate/Smart-Contract-Audits
-
π TechRate smart contract security audit completed! π
Itβs posted on our website now, and TechRate added it to their GitHub as proof that itβs valid. Itβs in the queue for TechRate to blast it out themselves on Twitter, Telegram, and their website.
We commissioned the blockchain security company TechRate to audit the security of the smart contract, and we passed with flying colors! They validated that there are no security issues with the contract code, it functions as described, and confirmed the liquidity lock and ownership renunciation.
-
[$SANSHU] π [NO Presale ]π [8.0 million Market cap] [Deflationary Tokenomics]π [Contract Renounced and Unruggable]π [RAPIDLY Growing Community!] [28 DAYS OLD]π [<27000 HODLER] + [REWARD]
β Audited by techrate.org - Check out our audit at (https://sanshuinu.finance/audit.pdf)
-
$SANSHU π NO Presale π ONLY 5 Million Marketcap π DEFLATIONARY Tokenomics π Contract RENOUNCED and UNRUGGABLE π RAPIDLY Growing Community!
β Audited by techrate.org - Check out our audit at (https://sanshuinu.finance/audit.pdf)
β Audited by techrate.org - Check out our audit at (https://sanshuinu.finance/audit.pdf)
What are some alternatives?
full-blockchain-solidity-course-py - Ultimate Solidity, Blockchain, and Smart Contract - Beginner to Expert Full Course | Python Edition
golang-tls - Simple Golang HTTPS/TLS Examples
White-Paper
umbra-protocol - ππ Privacy Preserving Shielded Payments On The Ethereum Blockchain
awesome-security-GRC - Curated list of resources for security Governance, Risk Management, Compliance and Audit professionals and enthusiasts (if they exist).
Smart-Contract-Security-Audits - Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by Chainsulting
solidity-advanced - Smart Contracts using Advanced Solidity methods.
awesome-solidity - A curated list of awesome Solidity resources
LiquidityPoolExample - Example Certora verification for a simple multi-contract system
assets - A comprehensive, up-to-date collection of information about several thousands (!) of crypto tokens.
publications
the-dao-hack-simulation - A simulation of the infamous DAO hack from 2016