crypto-com / cosmos-sdk-codeqlLinks
A query suite for common bug patterns in Cosmos SDK-based applications
☆25Updated last year
Alternatives and similar repositories for cosmos-sdk-codeql
Users that are interested in cosmos-sdk-codeql are comparing it to the libraries listed below
Sorting:
- ☆116Updated 4 months ago
- ☆37Updated last year
- Ethereum Testnet Testing Tool☆62Updated this week
- ☆41Updated 2 months ago
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆98Updated last month
- Specular Monorepo☆37Updated last year
- ☆48Updated last year
- Security Audits by Informal Systems☆19Updated 3 weeks ago
- DEPRECATED block fingerprinting☆94Updated 2 weeks ago
- ☆76Updated 3 months ago
- A kurtosis package for deploying an optimistic rollup☆87Updated this week
- Skip's protocol-owned MEV builder implementation☆55Updated 8 months ago
- Ethereum system contract implementations (asm)☆46Updated 6 months ago
- Resources and project management of Ethereum ephemeral testnet☆27Updated 2 years ago
- ☆57Updated 2 years ago
- Ethereum network monitoring with collection clients and a centralized server for data pipelining.☆89Updated last week
- CLI tool to generate documentation page of git fork diff☆87Updated last year
- ☆58Updated 6 months ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆117Updated this week
- ☆103Updated 2 years ago
- IDEN3 smartcontracts☆97Updated this week
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆43Updated last week
- Bundler specification test suites☆80Updated 3 months ago
- Validation code for the EOF specification☆57Updated 4 months ago
- Opinionated 0-alloc SSZ codec for Go☆52Updated 11 months ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- Cross chain shielded pool infrastructure / protocols.☆36Updated last year
- Dependencies of Erigon project, rewritten from scratch and licensed under Apache 2.0☆59Updated 4 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated last month