InferenceAG / TezosSecurityAssessmentChecklistLinks
Checklist for assessing Tezos smart contracts' security
☆12Updated 2 years ago
Alternatives and similar repositories for TezosSecurityAssessmentChecklist
Users that are interested in TezosSecurityAssessmentChecklist are comparing it to the libraries listed below
Sorting:
- This repository contains the Autonolas OLAS token and the governance part of the autonolas-v1 protocol.☆18Updated 2 months ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- Python implementation of the CID specification☆38Updated last month
- Scrap etherscan.io for verified contracts and outputs csv containing address, dateverified, Eth balance, txn count☆23Updated 6 years ago
- The ultimate environment for Solidity development. A fully integrated project with all the tools you could need right at your disposal. …☆13Updated 2 years ago
- Dig into Ethereum transactions and reveal their secrets; kinda like having Etherscan in your code.☆69Updated 4 years ago
- A curated list of projects around Ethereum analytics.☆75Updated 6 years ago
- ☆79Updated 5 years ago
- PostgreSQL extension implementing optimized data types for web3 applications☆32Updated 2 years ago
- Drop-in Access Control via NFT Ownership☆71Updated 3 years ago
- Learn Vyper by examples☆52Updated 3 years ago
- An ethereum evm bytecode disassembler and static/dynamic analysis tool☆221Updated 6 years ago
- How the token flows☆29Updated 3 years ago
- Go implementation of MEV-Extract for Ethereum☆12Updated 2 years ago
- Guess what☆77Updated 2 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆30Updated last year
- Hardhat network provider for the Ape Framework☆19Updated 10 months ago
- Example Chainlinks for the decentralised oracle network. https://chain.link/☆34Updated 2 years ago
- PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987☆18Updated 2 years ago
- open source legal templates, solidity smart contracts, and scripts for incentive programmers☆83Updated this week
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated 2 years ago
- Ethereum/EVM Node Security Toolkit☆70Updated last year
- Yet another Solidity decompiler, WIP☆42Updated 4 years ago
- The main app to browse Fairdrive.☆21Updated 10 months ago
- We are dedicated to stopping flash loan and oracle manipulation attacks. Please consider contributing if you have additional information.…☆19Updated 4 years ago
- Creepts - Decentralized Tower Defense Game☆18Updated 2 years ago
- 🏵️ Let Your ETH Chill — Gasless Ethereum account abstraction with Flashbots☆131Updated 3 years ago
- ☆36Updated last week
- Index To BokkyPooBah's GitHub Repositories☆14Updated 5 years ago
- Paper and implementation of blockchain attestations☆51Updated last year