Search Results for "penetration testing linux"

Starknet Foundry is a fast development toolkit for building and testing Starknet smart contracts. It is written in Rust and built around native Cairo testing and Starknet-specific execution infrastructure. The project includes snforge for contract testing and sncast for interacting with deployed Starknet contracts from the command line. It is useful for developers who need testing, deployment, transaction handling, chain data access, and contract interaction tools in one workflow. The...

Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal...

Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in...

The most comprehensive suite of tools for smart contract development. Quickly build, test, debug, and deploy using the Truffle CLI. Write scripts and plugins to automate common processes. Interact directly with the blockchain using the Truffle console. Write tests in Solidity, JavaScript, and TypeScript. Truffle will manage your entire workflow. Get a deeper understanding of transactions with the Truffle debugger. Step in/out, set breakpoints, and analyze variables through the CLI and the...

Command line tools and smart contract libraries for Ethereum smart contract development. All you need Ethereum development tool. Build, test, fuzz, formally verify, debug & deploy solidity contracts. Ethereum CLI. Query contracts, send transactions, follow logs, slice & dice data. Testing-oriented EVM implementation. Debug, fuzz, or symbolically execute code against local or mainnet state. Sign Ethereum transactions from a local keystore or hardware wallet. dapptools is currently in a stage...

Embark is a platform that enables easy development and deployment of decentralized applications. Build, test, and deploy your Smart Contracts without the hassle. Embark takes care of the groundwork, watches for changes, and redeploys your application when needed. Testing shouldn't be an afterthought. Embark makes debugging and testing first-class citizens of your development workflow. Pick and choose which features, plugins and tools you want to integrate with. Embark is built with...