Test security properties for smart contracts & Detect vulnerabilities | Diligence Scribble & Fuzzing

DILIGENCE SCRIBBLE
👉https://cutt.ly/BZtmFym
Write smart contract specifications using Scribble.
Develop Ethereum Smart Contracts with runtime verification and fuzzing.

DILIGENCE FUZZING
Test security properties for Ethereum smart contracts with Fuzzing.
Detect vulnerabilities prior to deployment and avoid costly smart contract rewrites.
👉https://cutt.ly/XZtmANx

Scribble Boxes:
Scribble Exercise 1 Vulnerable ERC20
https://github.com/ConsenSys/scribble-exercise-1
Scribble Exercise 2 Vulnerable ERC721
https://github.com/ConsenSys/scribble-exercise-2
Scribble Exercise 3 Vulnerable ownable smart contract
https://github.com/ConsenSys/scribble-exercise-3

This video was sponsored by ConsenSys Software Inc. As per their request, this review presents an honest review based on our assessment of this project.

(Visited 72 times, 1 visits today)

You might be interested in

LEAVE YOUR COMMENT

Your email address will not be published. Required fields are marked *

eos
EOS (EOS) 0,737441 4,96%
aave
Aave (AAVE) 81,29 2,73%
the-graph
The Graph (GRT) 0,245228 4,85%
kusama
Kusama (KSM) 29,48 3,22%
waves
Waves (WAVES) 2,36 3,65%
dash
Dash (DASH) 27,86 4,08%
bitcoin
Bitcoin (BTC) 60.050,98 2,63%
ethereum
Ethereum (ETH) 2.868,63 1,85%
cardano
Cardano (ADA) 0,448969 7,20%
tether
Tether (USDT) 0,939515 0,05%
xrp
XRP (XRP) 0,480351 4,64%
solana
Solana (SOL) 133,54 2,75%
polkadot
Polkadot (DOT) 6,33 2,66%
usd-coin
USDC (USDC) 0,939511 0,02%
dogecoin
Dogecoin (DOGE) 0,145845 5,02%
uniswap
Uniswap (UNI) 7,15 6,02%
terra-luna
Terra Luna Classic (LUNC) 0,000095 2,75%
litecoin
Litecoin (LTC) 77,12 3,51%
chainlink
Chainlink (LINK) 13,09 3,95%
bitcoin-cash
Bitcoin Cash (BCH) 448,61 1,70%
algorand
Algorand (ALGO) 0,165640 4,73%
matic-network
Polygon (MATIC) 0,637320 3,78%
stellar
Stellar (XLM) 0,106398 3,92%
cosmos
Cosmos Hub (ATOM) 7,74 2,27%
filecoin
Filecoin (FIL) 5,84 6,50%
tron
TRON (TRX) 0,102989 1,92%
ethereum-classic
Ethereum Classic (ETC) 24,69 3,54%
dai
Dai (DAI) 0,939515 0,08%
tezos
Tezos (XTZ) 0,933546 4,17%
monero
Monero (XMR) 111,03 2,71%