Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
☆117Jun 26, 2026Updated this week
Alternatives and similar repositories for Ziren
Users that are interested in Ziren are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ECCV 2026 accepted CACFM code: RL-guided curvature-adaptive consistency flow matching for few-step FLUX/SDXL generation☆56Jun 25, 2026Updated last week
- TorchHook: A PyTorch hooks manager, providing convenient interfaces to capture feature maps and debug models.☆18Oct 1, 2025Updated 9 months ago
- 用户面试平台☆24Aug 1, 2025Updated 11 months ago
- Pwn exploitation toolkit with a CLI for exp templates, and provide Python APIs for Linux binex, scripts, etc.☆32Mar 31, 2026Updated 3 months ago
- Official code release for paper "Robo-Imagine: A Robotic Video Generation Model, For Autoregressive Long-Term Task Video Generation With …☆31Jul 13, 2025Updated 11 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 10 months ago
- Similarity-Guided Layer-Adaptive Vision Transformer for UAV Tracking (CVPR 2025)☆94Apr 21, 2026Updated 2 months ago
- A benchmark evaluates LLMs' performance in automating drawing revision tasks.☆60Dec 28, 2025Updated 6 months ago
- The code of paper "DeFillet: Detection and Removal of Fillet Regions in Polygonal CAD Models" , ACM Transactions on Graphics (SIGGRAPH 20…☆91Dec 14, 2025Updated 6 months ago
- This is a project about visual spatial reasoning.☆137May 6, 2026Updated last month
- [2025CVPR] FlowRAM: Grounding Flow Matching Policy with Region-Aware Mamba Framework for Robotic Manipulation☆53May 30, 2026Updated last month
- [PG 2025] BoxFusion: Reconstruction-Free Open-Vocabulary 3D Object Detection via Real-Time Multi-View Box Fusion☆62Jan 19, 2026Updated 5 months ago
- ☆43Nov 10, 2025Updated 7 months ago
- 🚀 基于 Vue3、TypeScript、Vite 的企业级中后台快速开发框架，采用模块化设计，内置丰富的业务组件。☆26Oct 16, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆34Sep 23, 2025Updated 9 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆133Apr 10, 2025Updated last year
- ☆28Mar 2, 2026Updated 3 months ago
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 11 months ago
- Quantify and analyze distribution shifts in learning from samples.☆35Oct 25, 2025Updated 8 months ago
- [ICCV 2025 Highlight] Panorama Generation as a Next-Token Prediction Task.☆48Oct 29, 2025Updated 8 months ago
- vue3-elementPlus-admin,vue3-elementPlus-template☆54Updated this week
- A zk-SNARK Mixer MVP☆13Jun 14, 2023Updated 3 years ago
- [ACM MM 2025] SVGenius: Benchmarking LLMs in SVG Understanding, Editing and Generation. https://arxiv.org/abs/2506.03139☆78Nov 10, 2025Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Rust zkVM with a Modular Proof System☆145Jul 24, 2025Updated 11 months ago
- A TEE framework to ship zkVM/zkEVM☆30Aug 11, 2022Updated 3 years ago
- ZKM Development Template/Framework☆29Jul 2, 2025Updated last year
- Rust Implementation of Ethereum Binary Tree EIP-7864☆17Jul 13, 2025Updated 11 months ago
- 这个算法用于无人机群避障一个加入机群的无人机，算法分为两种思路：(1)加入者的路径规划主动机动规避编队机群、(2)编队微调避让加入者。目前只做了第一种思路。唯一已知信息是原机群的运动轨迹F(x，y，z，t)|each plane，对于第一种思路：对于补位飞机唯一的输入参数是…☆39Aug 20, 2025Updated 10 months ago
- Privacy-preserving EigenShare DEX☆12May 22, 2022Updated 4 years ago
- Confidential Transaction with Collaborative Traceability, zk-zkRollup☆44Jul 14, 2023Updated 2 years ago
- Source code of IEEE TCOM paper: Synesthesia of Machines (SoM)-Enhanced ISAC Precoding for Vehicular Networks With Double Dynamics.☆35Dec 24, 2025Updated 6 months ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆57Nov 3, 2025Updated 7 months ago
- stone-cli is a CLI for proving and verifying Cairo programs.☆25Aug 7, 2025Updated 10 months ago
- Squash Docker / OCI images to reduce the number of layers, but without docker daemon.☆32Sep 5, 2025Updated 9 months ago
- ☆12Mar 22, 2025Updated last year
- ☆24Feb 19, 2026Updated 4 months ago
- ☆26Sep 28, 2025Updated 9 months ago
- revm/reth block proving on Valida☆14Feb 11, 2025Updated last year