seceq / zkir-proverView external linksLinks
STARK prover for ZK IR using Plonky3 with Baby Bear field
☆28Jan 1, 2026Updated last month
Alternatives and similar repositories for zkir-prover
Users that are interested in zkir-prover are comparing it to the libraries listed below
Sorting:
- A bytecode format for zero-knowledge proof generation☆62Jan 1, 2026Updated last month
- Generate Tableau Workbooks using AI☆37Updated this week
- LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof…☆23Dec 30, 2025Updated last month
- High-performance Solana vanity address generator☆35Nov 26, 2025Updated 2 months ago
- crypto trading bot for Binance Futures in Python☆21Nov 8, 2025Updated 3 months ago
- Stream Nook is a native Twitch desktop application for Windows. Watch streams without lag (or ads), farm drops automatically, and save RA…☆20Updated this week
- A lightweight Waybar custom module that displays Claude Code usage metrics☆15Nov 15, 2025Updated 3 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆83Jan 17, 2026Updated 3 weeks ago
- Custom SOL vanity address generator☆54Nov 26, 2025Updated 2 months ago
- Blazing Fast LLM Inference in Go☆63Updated this week
- Turbokit is a batteries-included tool for quickly scaffolding Rails APIs with good defaults.☆28Sep 24, 2025Updated 4 months ago
- ☆187Dec 3, 2025Updated 2 months ago
- 4D World Model for Autonomous Driving☆85Nov 29, 2025Updated 2 months ago
- ☆27May 6, 2025Updated 9 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆30Dec 5, 2025Updated 2 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆325Dec 18, 2025Updated last month
- High-performance Ethereum vanity address generator☆61Nov 26, 2025Updated 2 months ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆112Jan 4, 2026Updated last month
- Trading Bot for Nad.Fun & Monad Blockchain. Include snipe new tokens and bundler multiwallet.☆126Nov 26, 2025Updated 2 months ago
- AfterCrypt Protocol SDK☆56Jan 23, 2026Updated 3 weeks ago
- Gausian - Rust-based local video editor for AI video production☆1,111Nov 19, 2025Updated 2 months ago
- High-performance cryptography library in 100% safe Rust☆87Dec 23, 2025Updated last month
- Revolt is an Edgenuity Script That does your work for you! Revolt is #1 source for Edgenuity answers . Get 100% Scores on all activities …☆145Dec 18, 2025Updated last month
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆881Updated this week
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆140Nov 30, 2025Updated 2 months ago
- Графический интерфейс для zapret, разблокирует YouTube, Discord и другие заблокированные сайты☆434Feb 5, 2026Updated last week
- simplifies command execution with a clear Success/Failure result pattern, promoting clean, organized, and context-rich service logic.☆144Feb 2, 2026Updated last week
- a lightweight tool to protect privacy/user data in Internet☆296Dec 28, 2025Updated last month
- The Cloud for AI Agents — secure, real-world environments that spin up in milliseconds.☆397Jan 23, 2026Updated 3 weeks ago
- Rapida is an open-source, end-to-end voice AI orchestration platform for building real-time conversational voice agents with audio stream…☆606Jan 30, 2026Updated 2 weeks ago
- Create your own memecoin with full step by step tutorials☆533Jan 26, 2025Updated last year
- Real-time blocklist of crypto phishing, scam, and drainer domains. Auto-updated threat intelligence for Web3 security.☆1,004Updated this week
- SGLang is a high-performance serving framework for large language models and multimodal models.☆23,439Feb 9, 2026Updated last week
- tutorial on how to create honeypot token☆543Jan 5, 2026Updated last month
- The flexible backend for all your projects 🐰 Turn your DB into a headless CMS, admin panels, or apps with a custom UI, instant APIs, aut…☆34,186Feb 9, 2026Updated last week