Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
☆115Apr 29, 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:
- ☆58Jul 1, 2025Updated 10 months ago
- TorchHook: A PyTorch hooks manager, providing convenient interfaces to capture feature maps and debug models.☆15Oct 1, 2025Updated 7 months ago
- 用户面试平台☆24Aug 1, 2025Updated 9 months ago
- Pwn exploitation toolkit with a CLI for exp templates, and provide Python APIs for Linux binex, scripts, etc.☆35Mar 31, 2026Updated last month
- Official code release for paper "Robo-Imagine: A Robotic Video Generation Model, For Autoregressive Long-Term Task Video Generation With …☆31Jul 13, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 8 months ago
- Similarity-Guided Layer-Adaptive Vision Transformer for UAV Tracking (CVPR 2025)☆87Apr 21, 2026Updated last week
- A benchmark evaluates LLMs' performance in automating drawing revision tasks.☆58Dec 28, 2025Updated 4 months ago
- This is a project about visual spatial reasoning.☆97Mar 29, 2026Updated last month
- The code of paper "DeFillet: Detection and Removal of Fillet Regions in Polygonal CAD Models" , ACM Transactions on Graphics (SIGGRAPH 20…☆93Dec 14, 2025Updated 4 months ago
- [2025CVPR] FlowRAM: Grounding Flow Matching Policy with Region-Aware Mamba Framework for Robotic Manipulation☆54Nov 11, 2025Updated 5 months ago
- [PG 2025] BoxFusion: Reconstruction-Free Open-Vocabulary 3D Object Detection via Real-Time Multi-View Box Fusion☆59Jan 19, 2026Updated 3 months ago
- ☆44Nov 10, 2025Updated 5 months ago
- 🚀 基于 Vue3、TypeScript、Vite 的企业级中后台快速开发框架，采用模块化设计，内置丰富的业务组件。☆27Oct 16, 2025Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆39Sep 23, 2025Updated 7 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆133Apr 10, 2025Updated last year
- ☆30Mar 2, 2026Updated 2 months ago
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 9 months ago
- Quantify and analyze distribution shifts in learning from samples.☆35Oct 25, 2025Updated 6 months ago
- [ICCV 2025 Highlight] Panorama Generation as a Next-Token Prediction Task.☆48Oct 29, 2025Updated 6 months ago
- vue3-elementPlus-admin,vue3-elementPlus-template☆58Nov 11, 2025Updated 5 months ago
- A zk-SNARK Mixer MVP☆13Jun 14, 2023Updated 2 years ago
- ☆70Sep 29, 2025Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [ACM MM 2025] SVGenius: Benchmarking LLMs in SVG Understanding, Editing and Generation. https://arxiv.org/abs/2506.03139☆80Nov 10, 2025Updated 5 months ago
- A Rust zkVM with a Modular Proof System☆144Jul 24, 2025Updated 9 months ago
- A TEE framework to ship zkVM/zkEVM☆30Aug 11, 2022Updated 3 years ago
- ZKM Development Template/Framework☆30Jul 2, 2025Updated 10 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 9 months ago
- Threshold signature library across multiple platforms☆45Feb 19, 2023Updated 3 years ago
- 这个算法用于无人机群避障一个加入机群的无人机，算法分为两种思路：(1)加入者的路径规划主动机动规避编队机群、(2)编队微调避让加入者。目前只做了第一种思路。唯一已知信息是原机群的运动轨迹F(x，y，z，t)|each plane，对于第一种思路：对于补位飞机唯一的输入参数是…☆36Aug 20, 2025Updated 8 months ago
- [CVPR 2024] RankMatch: Exploring the Better Consistency Regularization for Semi-supervised Semantic Segmentation☆33Feb 25, 2025Updated last year
- Privacy-preserving EigenShare DEX☆12May 22, 2022Updated 3 years 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.
- Source code of IEEE TCOM paper: Synesthesia of Machines (SoM)-Enhanced ISAC Precoding for Vehicular Networks With Double Dynamics.☆33Dec 24, 2025Updated 4 months ago
- The Valida execution engine, prover, and verifier☆28Oct 6, 2025Updated 6 months ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆56Nov 3, 2025Updated 5 months ago
- stone-cli is a CLI for proving and verifying Cairo programs.☆25Aug 7, 2025Updated 8 months ago
- ☆12Mar 22, 2025Updated last year
- Squash Docker / OCI images to reduce the number of layers, but without docker daemon.☆32Sep 5, 2025Updated 7 months ago
- ☆22Feb 19, 2026Updated 2 months ago