sec-bit / vscode-secbit-ssae
Visual Studio Code extension for SECBIT Solidity Static Analyzer
☆11Updated 5 years ago
Alternatives and similar repositories for vscode-secbit-ssae:
Users that are interested in vscode-secbit-ssae are comparing it to the libraries listed below
- ☆13Updated 3 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆19Updated 6 years ago
- Solidity source debugger built around EthereumJS☆23Updated last month
- Reconstruction of the Akropolis Delphi reentrancy exploit☆10Updated 3 years ago
- ☆15Updated 3 years ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- ☆16Updated 3 years ago
- ☆15Updated 8 months ago
- zk-rollup☆22Updated last year
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆27Updated 2 years ago
- etk-Foundry project template☆21Updated 2 years ago
- Maker Governance Rewards.☆10Updated 4 years ago
- PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987☆18Updated 2 years ago
- ☆11Updated 4 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Updated 4 years ago
- price feed, with expiration and medianizer poke☆32Updated 3 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…☆10Updated 4 years ago
- ☆11Updated 2 years ago
- The Curve Stableswap smart contract implementation in Zinc v0.2.2.☆40Updated 3 years ago
- RLP encoding in Solidity☆27Updated last year
- Solidity verifier for Plonk☆41Updated 6 months ago
- Auditing scripts for Slither (https://github.com/crytic/slither)☆30Updated 4 years ago
- ☆23Updated 3 years ago
- Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…☆26Updated 4 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- ☆14Updated 2 years ago