Our great sponsors
| manticore | bips | |
|---|---|---|
| 5 | 1,280 | |
| 3,631 | 8,905 | |
| 0.6% | 1.8% | |
| 3.8 | 6.8 | |
| 7 months ago | about 20 hours ago | |
| Python | Wikitext | |
| 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.
manticore
-
A Comprehensive Guide on Web3 Programming Languages and Tools
MythX, Mythril, Manticore, and Echidna are other tools for security audits.
-
Tools to verify solidity code
Symbolic Execution: Manticore
- What is Manticore?
-
Daily General Discussion - October 19, 2021
Trail of Bits releases smart contract analysis tool Manticore v0.1.5 with EVM bytecode support.
- Smart Contract Security for Pentesters
bips
-
Generating and Working With ScriptPubKeys in Bitcoin Transactions
Bitcoin transactions involve locking funds in scripts, which can only be spent if those locking conditions are met. The part of the script that expresses these locking conditions are called ScriptPubKeys. On the other hand, the part that provides unlocking scripts to satisfy the locking conditions is referred to as ScriptSig for legacy transactions, and ScriptWitness for SegWit Transactions. These scripts are evaluated by a stack-based language called Script. This article will mainly focus on ScriptPubKeys.
- Blue Wallet and seed phrases
-
Nano S seed compromised?
Here’s the reference https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
-
Do you use 12 - 24 words?
There are 5 271 537 971 301 488 476 000 309 317 528 177 868 800 possible permutations of the bip39 wordlist found here: https://github.com/bitcoin/bips/blob/master/bip-0039/english.txt when using 12 word seeds. You probably have better change to win the lottery every week for the rest of your life than cracking a 12 word seed in correct order
- 24 words
- Creating a custom Bip39 brain wallet
-
SEC Charges Kraken for Operating as an Unregistered Securities Exchange
No one controls Bitcoin, because it's a protocol. Bitcoin Core is the reference implementation, but there are others, and anyone can create new implementations if they wish. Also, the Bitcoin Core maintainers can't just change something on a whim, because users would then switch to another fork. Maintainers (or miners or other groups) can't force their changes on users, because everyone can decide on their own which version they want to use.
The protocol development happens through BIPs (Bitcoin improvement proposals): https://github.com/bitcoin/bips
BIPs are discussed for years, before (and if) they are implemented, and basically everyone needs to agree on them, because no one wants to fork the blockchain, which could be devastating.
-
Recover Cool Wallet seed to a Ledger?
All the seeds generated from the CoolWallet (Number / Word) adhere to the BIP-39 protocol.
-
Hal Finney Was Not Satoshi Nakamoto
> users would be required to hand over control of their wallet to actually manage the massive proliferation of addresses needed
BIP32 solved this in 2012, and is used by basically all self-custodial wallets these days. https://github.com/bitcoin/bips/blob/master/bip-0032.mediawi...
-
Bitcoin and the dangerous fantasy of ‘apolitical’ money (2013)
> Which policy are we referring to?
* BIP 141 version bits and BIP 148 as a voting mechanism: https://github.com/bitcoin/bips/blob/master/bip-0141.mediawi... and https://github.com/bitcoin/bips/blob/master/bip-0148.mediawi...
* core developer votes: https://en.bitcoin.it/wiki/Segwit_support
* posturing and maneuvering: https://cointelegraph.com/news/samourai-wallet-intends-to-ru...
> It evolves in a decentralized and organic manner, devoid of any formal political process or voting.
Just because its voting mechanisms are informal, that doesn't make them not voting mechanisms.
What are some alternatives?
echidna - Ethereum smart contract fuzzer
brainflayer - A proof-of-concept cracker for cryptocurrency brainwallets and other low entropy key algorithms.
mythril - Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
P2P-Trading-Exchanges - Person-to-Person bitcoin Trading Exchanges
slither - Static Analyzer for Solidity and Vyper
solidity - Solidity, the Smart Contract Programming Language
solc-select - Manage and switch between Solidity compiler versions
EIPs - The Ethereum Improvement Proposal repository
Triton - Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
bip39 - A web tool for converting BIP39 mnemonic codes
nft-generator-py - This tool allows users to generate sets of unique images and metadata using weighted layer collections.
solana - Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.