🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & Scraper. Don't be shy, join here: https://discord.gg/jP8KfhDhyN

Validate email addresses

ECDSA example running on Flutter for r0 + mopro

Orochi Network Token

Transports, Middleware, and Networks for the Alloy project

IP addresses break, dial keys instead. Modular networking stack in Rust.

Iroh in action

🧮 Path to a free self-taught education in Mathematics!

A rust implementation of the Falcon post-quantum signature scheme

Noname: a programming language to write zkapps

Step by step implementation of KZG

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)

Making client-side ZK proving on mobile simple.

The proof systems used by Mina

zkDatabase, a distributed off-chain database with ZK prover

Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.

Smart Contracts of Orochi Network's projects

Verifiable WebAssembly Run-time Environment implement in Rust

Middleware to compile Circom circuits to Nova prover

Verifying a 512-layer CNN w/ Nova

Nova: High-speed recursive zero-knowledge arguments from folding schemes

A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team

Minimal Substrate node configured for smart contracts via pallet-contracts.

A zkVM for Decentralized Private Computations (DPC)

Zero-Knowledge Proof Systems Circuit Compiler

🚀 Fast, secure, lightweight containers based on WebAssembly

Web3 Foundation Grants Program