seceq / zkir-proverLinks
STARK prover for ZK IR using Plonky3 with Baby Bear field
☆63Updated this week
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☆103Updated this week
- ☆31Updated last week
- High-performance Ethereum vanity address generator☆69Updated last week
- High-performance Solana vanity address generator☆106Updated this week
- Custom SOL vanity address generator☆144Updated this week
- Trusted by many creators for its clean results and secure workflow. Simple controls, nice results, and cool extras. Fair pricing included…☆65Updated last week
- AI-driven trading bot that connects to neural network models via API to analyze market charts and news and generate trade signals with ta…☆32Updated 2 weeks ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆78Updated this week
- ☆18Updated this week
- Custom ETH vanity address generator☆112Updated last week
- LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof…☆64Updated this week
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆401Updated 3 weeks ago
- A dynamic <head> manager for Blazor that lets any component inject and clean up <head> elements at runtime.☆22Updated last month
- A Model Context Protocol (MCP) server that reflects Blazor/Razor assemblies to expose live component metadata and developer tools for AI-…☆10Updated last month
- Python simple message facebook ready libery☆10Updated 3 weeks ago
- AI-VMF: AI-Powered Vulnerability Management Framework demo (ensemble exploit prediction + risk scoring)☆46Updated last month
- React example showing how to embed Docsie documentation with JWT auth and in-app help☆21Updated last month
- I tested many AI tools, and this one gave the most steady and clear results for both images and videos. Simple setup, fast output, and tr…☆25Updated 2 weeks ago
- A Multi-Tenant Odoo App. How to configure multiple databases on individual domain names using a single Odoo instance?☆63Updated 6 months ago
- Advanced Rust Cheat with Aimbot, ESP, and wallhack for improved survival, PvP dominance, and efficient resource gathering. Customizable, …☆59Updated 3 months ago
- 🛡️Powerful utility script for Roblox's "99 Nights in the Forest." It provides features like ESP for visual assistance, automated farming…☆40Updated 3 weeks ago
- BNB(Four.meme, Pancakeswap) Trading bots working with Sniper, Bundler, Volume boosting☆41Updated last month
- JavaScript captcha solver for bypassing captchas in browser automation, extensions, and scraping scripts. JavaScript package for seamless…☆85Updated 2 months ago
- MBC: Memory Bank Compression for Continual Adaptation of Large Language Models☆20Updated 2 months ago
- This tool replicates the address poisoning technique. Research purpose ONLY.☆20Updated 2 months ago
- PHP captcha solver for bypassing captchas in web automation, scraping, and backend scripts. Official PHP client for solvecaptcha.com a CA…☆17Updated last month
- ☆22Updated last year
- Atomic, fast, and pragmatic Solana arbitrage with Jito bundles, Jupiter (ULTRA/SWAP).☆72Updated 2 months ago
- Warzone Cheat – advanced aimbot, ESP, wallhack, and unlock-all tools for Call of Duty: Warzone. Enhance accuracy, awareness, and strategy…☆95Updated 3 months ago
- All-in-one SMM panel for automating social media growth across 70+ platforms. Includes instant order start, real-time tracking, API suppo…☆38Updated 2 months ago