Highlights
Stars
Auditify is a lightweight and intuitive tool designed for preliminary smart contract analysis. It helps developers detect common mistakes and potential vulnerabilities before a full professional au…
Next-generation decentralized liquidity protocol with an interactive web interface for managing and analyzing crypto pools 🌀
A performant, reliable, and type-safe ERC-4337 Bundler written in Typescript
A complete environment for nitro-based service including sequencer, batch-poster, validator, and a coordinator.
Libraries for finite field, elliptic curve, and polynomial arithmetic
Monorepo for Boundless, the universal ZK protocol.
celestiaorg / cosmos-sdk
Forked from cosmos/cosmos-sdkFork of Cosmos SDK v0.50.x for Celestia App
Interfaces for Relations and SNARKs for these relations
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
The open-source, canonical implementation of Farcaster's Snapchain network.
Fetch.ai documentation for AI Agents, AI Engine, Fetch Network and more.
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.