crypto-com / cosmos-sdk-codeql
A query suite for common bug patterns in Cosmos SDK-based applications
☆24Updated 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
- Security Audits by Informal Systems☆17Updated this week
- ☆36Updated last year
- Skip's protocol-owned MEV builder implementation☆54Updated 4 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Specular Monorepo☆37Updated last year
- ☆46Updated last year
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆40Updated this week
- Repository for research on Suave.☆23Updated last year
- ☆11Updated last year
- Cosmos SDK Module for Celestia DA☆52Updated 7 months ago
- Validation code for the EOF specification☆54Updated last week
- Smart contracts for the Telepathy protocol☆76Updated last year
- Secure and optimized communication layer for rollups using EigenDA.☆19Updated this week
- Ethereum Testnet Testing Tool☆57Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Eth2 builder API types and signing for Golang☆43Updated this week
- ☆39Updated last month
- ☆108Updated last week
- SUAVE Application Examples☆57Updated 4 months ago
- ☆19Updated 2 years ago
- Ethereum system contract implementations (asm)☆42Updated 2 months ago
- RISC-V interactive fault proof tech☆102Updated last month
- Library for checked-in, targeted gas snapshots with forge☆97Updated 6 months ago
- Ethereum implementation on the efficiency frontier☆43Updated this week
- ☆32Updated last week
- ☆76Updated last week
- Safety module implementation for the Aave protocol☆22Updated 3 years ago
- Consensus nodes performing in unison!☆32Updated 10 months ago
- 🎨 Programmable Block Builder for Cosmos Chains☆70Updated 2 months ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago