manticore
Bitcoin
| manticore | Bitcoin | |
|---|---|---|
| 5 | 906 | |
| 3,640 | 76,119 | |
| 0.4% | 1.4% | |
| 3.8 | 10.0 | |
| 8 months ago | 4 days ago | |
| Python | C++ | |
| GNU Affero General Public License v3.0 | MIT License |
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
Bitcoin
-
Analyzing Bitcoin Transactions with Lightning Node Insights
Ubuntu/Debian: Install LND: https://github.com/lightningnetwork/lnd/blob/master/docs/INSTALL.md#install-lnd Install Bitcoin Core: https://github.com/bitcoin/bitcoin/blob/master/doc/build-unix.md#linux-instructions
-
Simulate your first Lightning transaction on the Bitcoin regtest network Part 1 (MacOS)
To be able to follow along, you must have both bitcoind and lnd installed.
-
Generating and Working With ScriptPubKeys in Bitcoin Transactions
As mentioned previously, ScriptPubKeys are scripts that embody the locking conditions of bitcoins in a Bitcoin transaction. They are a crucial element of a Bitcoin transaction that specifies the requirements that must be met before an unspent transaction output (UTXO) is used. The ScriptPubKey, combined with the Amount, creates an output of a Bitcoin transaction. Like every other script, ScriptPubKeys are made up of operators and data. During the encoding of a transaction, both data and the operands are represented in hexadecimal format. You can find the hex representation for all operands used in Bitcoin Scripts here.
-
Understanding BTC Software
Which article? Have a look at Luke's CVE and pull request https://nvd.nist.gov/vuln/detail/CVE-2023-50428 https://github.com/bitcoin/bitcoin/pull/28408
- On chain censorship "war" heats up on BTC with a CVE raised against Ordinals
- What are some of the arguments for / against limiting datacarriersize ?
-
BTC's Luke Dashjr: '24 Bitcoin Core Update Will Disrupt Ordinals, BRC-20
From github pull request discussion: https://github.com/bitcoin/bitcoin/pull/28408
- Daily General Discussion - December 10, 2023
-
Polling The r/Bitcoin Community: Should Bitcoin be JUST a monetary network for P2P Transactions, Or Also a Platform For Content?
See: https://github.com/bitcoin/bitcoin/issues/10494
What are some alternatives?
echidna - Ethereum smart contract fuzzer
umbrel - A beautiful home server OS for self-hosting with an app store. Buy a pre-built Umbrel Home with umbrelOS, or install on a Raspberry Pi 4, Pi 5, any Ubuntu/Debian system, or a VPS.
mythril - Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
BitcoinJS - A javascript Bitcoin library for node.js and browsers.
slither - Static Analyzer for Solidity and Vyper
js-git - A JavaScript implementation of Git.
solc-select - Manage and switch between Solidity compiler versions
PDFKit - A JavaScript PDF generation library for Node and the browser
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.
webtorrent - ⚡️ Streaming torrent client for the web
nft-generator-py - This tool allows users to generate sets of unique images and metadata using weighted layer collections.
naivecoin - A cryptocurrency implementation in less than 1500 lines of code