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
Sorting:
- Security Audits by Informal Systems☆17Updated last week
- Skip's protocol-owned MEV builder implementation☆54Updated 5 months ago
- Ethereum Testnet Testing Tool☆58Updated this week
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆41Updated this week
- Secure and optimized communication layer for rollups using EigenDA.☆19Updated this week
- Ethereum implementation on the efficiency frontier☆33Updated 2 years ago
- ☆36Updated last year
- Smart contracts for the Telepathy protocol☆77Updated last year
- Ethereum system contract implementations (asm)☆42Updated 2 months ago
- ☆39Updated this week
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Eth2 builder API types and signing for Golang☆43Updated last week
- Solidity source debugger built around EthereumJS☆23Updated 2 weeks ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- CLI tool to generate documentation page of git fork diff☆86Updated 11 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- RISC-V interactive fault proof tech☆102Updated last week
- Specular Monorepo☆37Updated last year
- A minimal based rollup implementation that is easy to understand and extend☆37Updated this week
- Validation code for the EOF specification☆55Updated 2 weeks ago
- Resources and project management of Ethereum ephemeral testnet☆27Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆26Updated 2 years ago
- Rust work for nomad actors☆57Updated 2 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆31Updated this week
- jsonschema rpc spec of eip 4337 (account abstraction) bundler☆34Updated 2 months ago
- ETHPrague☆31Updated last year
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆56Updated last year