slither
plutus
Our great sponsors
| slither | plutus | |
|---|---|---|
| 36 | 89 | |
| 4,968 | 1,532 | |
| 1.6% | 3.6% | |
| 9.5 | 9.8 | |
| 5 days ago | 1 day ago | |
| Python | Haskell | |
| GNU Affero General Public License v3.0 | Apache License 2.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.
slither
-
Crypto devs, what tools am I missing? Trying to build a decent list of dev resources.
Vulnerability Infrastructure: Slither
-
Using Remix Analyzer For Solidity Syntax Analysis.
There are two other similar tools: slither and solhint.
-
How do you guarantee the security of your smart contracts?
consider tools like Slither https://github.com/crytic/slither
-
Launching your Ethereum dApp on Avalanche
Slither, here's a tutorial
-
A Comprehensive Guide on Web3 Programming Languages and Tools
Sliter is a static smart contract security analytic tool built on Python to detect vulnerabilities, enhance code comprehension, and prototype custom analyses.
-
Tools to verify solidity code
Smart Contract Weakness Classification and Test Cases: https://swcregistry.io/ OKO Contract Explorer: https://oko.palkeo.com/txview Slither: https://github.com/crytic/slither MythX: https://mythx.io/ Tenderly: https://tenderly.dev/ Spot check program: https://docs.google.com/document/d/16...
Static analysis: Slither
-
Any recommendations for smart contract auditing ?
As software you can try https://github.com/crytic/slither or a full package https://github.com/trailofbits/eth-security-toolbox
-
An unofficial audit of a Solidity Game smart contract: Wizards & Dragons Game
If you want to know more about this tool you should check it on GitHub: Slither.
- Smart Contract Security for Pentesters
plutus
-
Are you disappointed/happy with current daps?
Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node
-
A Comprehensive Guide on Web3 Programming Languages and Tools
Plutus (Haskell) is a statically typed programming language wired for writing reliable smart contracts on the Cardano blockchain. It is also a functional programming language, which means programs are composed as sets of mathematical functions for execution.
-
Software Development Languages: Haskell
* https://github.com/input-output-hk/plutus
There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy
I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)
-
Cardano vs. Ethereum: Can Ada Solve Ether’s Problems?
Cardano also suffers from the issue of the size of Plutus script being too big. One script can eat up to 20% of block which renders the overall efficiency even worse.
-
Cardano: "Slow and Steady wins the... Annnnnd it's gone." Plutus auditor publicly announces that most Cardano smart contracts have an exploit.
Probably this https://github.com/input-output-hk/plutus/commit/0f8334ab939a7dce33e9d3ebcded1d2aabd31795. Makes sense, just create unique payment references.
-
Why does the same smart contract need to be included with every utxo?
There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.
-
PAB release date?
You can monitor PAB releases at https://github.com/input-output-hk/plutus/releases
-
Why all the hate?
About to say that lol. Here are more info.https://plutus-apps.readthedocs.io/en/latest/index.htmlhttps://github.com/input-output-hk/plutushttps://docs.cardano.org/plutus/learn-about-plutus
What are some alternatives?
solc-select - Manage and switch between Solidity compiler versions
marlowe - Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
manticore - Symbolic execution tool
reach-lang - Reach: The Safest and Smartest DApp Programming Language
echidna - Ethereum smart contract fuzzer
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
plutus-pioneer-program - This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
mythril - Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
plutus-starter - A starter project for Plutus apps
openzeppelin-contracts - OpenZeppelin Contracts is a library for secure smart contract development.
aur - A secure, multilingual package manager for Arch Linux and the AUR.
juvix - Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.