sec-bit / vscode-secbit-ssae
Visual Studio Code extension for SECBIT Solidity Static Analyzer
☆11Updated 6 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
- Reconstruction of the Akropolis Delphi reentrancy exploit☆10Updated 4 years ago
- Syntax files for Yul☆18Updated 3 years ago
- ☆13Updated 3 years ago
- PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987☆18Updated 2 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- Detect SELFDESTRUCT opcodes in EVM runtime bytecode☆22Updated 2 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆19Updated 6 years ago
- Small Rust script that cracked Yearn's v2 site password from a hashed copy☆15Updated 4 years ago
- Stripped-down oracle-augmented version of geth for use in fault proofs.☆29Updated 3 months ago
- Smart contracts for OPRHub protocol ✌🏻☆13Updated 4 years ago
- ☆23Updated 3 years ago
- ☆18Updated 2 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- ☆16Updated 3 years ago
- ☆29Updated 4 years ago
- etk-Foundry project template☆21Updated 2 years ago
- AZTEC protocol trusted setup MPC☆32Updated 9 months ago
- ☆14Updated 2 years ago
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 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
- Foundry project for the RLN☆17Updated last year
- A collection of huff examples.☆14Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- A publicly-modifiable registry of ilks in the Dai Stablecoin System.☆22Updated 2 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 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
- Simple way to track the mcd changelog on-chain.☆13Updated 2 years ago
- Protect your smart contracts with global reentrancy locks☆17Updated last year
- An interactive EVM repl/shell.☆32Updated 3 years ago