Search Results for "software auth program"

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...

ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high-level language to generating proofs of computation to verifying those proofs in Solidity. Zero-knowledge proofs (ZKPs) are a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985. One particular family of ZKPs is described as zero-knowledge Succinct Non-interactive ARguments of Knowledge, a.k.a. zkSNARKs....

Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in their own projects. We prioritized simplicity and usability while building Manticore. We used minimal external dependencies and our API should look familiar to anyone with exploitation or...

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...

Grants Protocol aims to decentralize funding access, empowering any community to run their own grants program. We've helped thousands of projects and teams grow their open-source ecosystems. The internet has unlocked unprecedented opportunities for collaboration and creation. Now web3 technology like open-source protocols and decentralized blockchains give us the ability to take that co-creation to a new scale. The Gitcoin community uses this technology to fund and build digital public goods...

EasyMiner is mostly a graphical frontend for mining Bitcoin, Litecoin, Dogecoin and other various altcoins by providing a handy way to perform cryptocurrency mining using a graphical interface. It supports both AMD and NVIDIA GPUs, and also CPU mining. You are able to select from pooled mining and solo mining – the software program embeds some mining pools to choose from. EasyMiner automatically enforces SSE2, AVX and AVX2 instructions where available. Features: Bitcoin, litecoin, dogeecoin, altcoins, cpuminer, cpuminer 64, bitcoin miner, cpu miner, cudaminer, cgminer, gpuminer (gpu miner ), stratum mining proxy. Supports the Stratum and sha256 mining protocol Tested on a multitude of systems, including Windows EasyMiner makes cryptocoin mining simple by ensuring maximum transparency regarding his featured log viewer.