crypto-com / cosmos-sdk-codeqlLinks
A query suite for common bug patterns in Cosmos SDK-based applications
☆29Updated 2 years ago
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:
- ☆120Updated 9 months ago
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆97Updated 6 months ago
- ☆39Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 6 months ago
- ☆41Updated 3 months ago
- Ethereum Testnet Testing Tool☆66Updated 2 weeks ago
- Opinionated 0-alloc SSZ codec for Go☆55Updated last year
- Specular Monorepo☆37Updated last year
- Security Audits by Informal Systems☆19Updated last month
- ☆135Updated 4 months ago
- ☆103Updated 3 years ago
- Skip's protocol-owned MEV builder implementation☆54Updated last year
- ☆150Updated 6 months ago
- Bundler specification test suites☆80Updated 8 months ago
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆49Updated last week
- Nomad Monorepo -- SDKs, Contracts, and more!☆126Updated 4 months ago
- ☆67Updated last week
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- ☆50Updated 2 years ago
- A minimal based rollup implementation that is easy to understand and extend☆46Updated 3 months ago
- Validation code for the EOF specification☆57Updated 8 months ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆128Updated this week
- spam EVM execution nodes over JSON-RPC & run benchmarks☆113Updated this week
- A kurtosis package for deploying an optimistic rollup☆93Updated 2 weeks ago
- Smart contract debugging data format – Standards development working group☆75Updated last week
- ☆80Updated this week
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 5 months ago
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- ☆75Updated 8 months ago
- RISC-V interactive fault proof tech☆108Updated last month