STARK prover for ZK IR using Plonky3 with Baby Bear field
☆24Jan 1, 2026Updated 3 months ago
Alternatives and similar repositories for zkir-prover
Users that are interested in zkir-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generate Tableau Workbooks using AI☆32Feb 17, 2026Updated 2 months ago
- LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof…☆19Dec 30, 2025Updated 3 months ago
- High-performance Solana vanity address generator☆26Nov 26, 2025Updated 4 months ago
- 4D World Model for Autonomous Driving☆66Nov 29, 2025Updated 4 months ago
- crypto trading bot for Binance Futures in Python☆20Nov 8, 2025Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆49Jan 17, 2026Updated 3 months ago
- Custom SOL vanity address generator☆43Nov 26, 2025Updated 4 months ago
- The new Windows Terminal and the original Windows console host, all in the same place!☆26Dec 5, 2025Updated 4 months ago
- Gausian - Rust-based local video editor for AI video production☆1,009Nov 19, 2025Updated 5 months ago
- OwnPay - 🏆 Top 3 @ Monad NYC Hackathon | Apple Pay-like contactless payments for Web3. Payment layer (not a wallet) that brings the sa…☆178Dec 18, 2025Updated 4 months ago
- High-performance Ethereum vanity address generator☆53Nov 26, 2025Updated 4 months ago
- Our downloadable SHA256 analysis tool powers the Aviator predictor, Aviator predictor app, and aviator crash predictor. Available for des…☆140Jan 4, 2026Updated 3 months ago
- High-performance cryptography library in 100% safe Rust☆69Dec 23, 2025Updated 3 months ago
- Lonkero - Wraps around your attack surface. Professional-grade scanner for real penetration testing. Fast. Modular. Rust.☆783Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆96Nov 30, 2025Updated 4 months ago
- Rapida is an open-source, end-to-end voice AI orchestration platform for building real-time conversational voice agents with audio stream…☆525Updated this week
- SGLang is a high-performance serving framework for large language models and multimodal models.☆26,025Updated this week
- tutorial on how to create honeypot token☆498Jan 5, 2026Updated 3 months ago
- 李宇轩☆46Oct 21, 2023Updated 2 years ago
- Numerical simulation of welding pool solidification with influence of nano-sized refractory particles (SiC, TiC, TiN, TiO2, Al2O3, ZrO2, …☆10Jan 29, 2021Updated 5 years ago
- ☆11Apr 11, 2016Updated 10 years ago
- An obfuscator produces shit-like code.☆18Nov 5, 2022Updated 3 years ago
- Chrome browser extension wallet for the NEAR Blockchain☆26Oct 11, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Implementation of Federated Learning to Person Re-identification (Code for ACMMM 2020 paper)☆100Mar 30, 2023Updated 3 years ago
- MaterialDesign控件的简单使用☆17Jul 16, 2018Updated 7 years ago
- Video classification tools using 3D ResNet☆1,132Nov 23, 2018Updated 7 years ago
- AdaptixC2 is a highly modular advanced redteam toolkit☆2,969Mar 22, 2026Updated 3 weeks ago
- ☆24Feb 9, 2026Updated 2 months ago
- A Kubernetes operator to deploy Windows 95 to Kubernetes☆10Dec 19, 2018Updated 7 years ago
- A Binary Ninja plugin for importing IDC database dumps from IDA.☆41Oct 13, 2022Updated 3 years ago
- Supplementary data for utilising knowledge graph databases towards explainable decision support in wind turbines.☆20May 14, 2022Updated 3 years ago
- Web wallet for NEAR Protocol which stores keys in browser's localStorage☆232Feb 28, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A human-annotated morphosyntactic treebank for Turkish.☆34Nov 18, 2022Updated 3 years ago
- Yet Another Not So Obfuscated LLVM☆391May 30, 2024Updated last year
- 📺 Soothing pastel theme for YouTube☆156Jul 22, 2023Updated 2 years ago
- Simple debug menu for Unity.☆33Mar 12, 2024Updated 2 years ago
- CLI for https://getdrafts.com☆20Dec 9, 2025Updated 4 months ago
- The DC801 Badge Platform for DC28+☆59Apr 5, 2026Updated 2 weeks ago
- ☆43Mar 13, 2026Updated last month