Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
☆114Updated this week
Alternatives and similar repositories for Ziren
Users that are interested in Ziren are comparing it to the libraries listed below
Sorting:
- ☆59Jul 1, 2025Updated 8 months ago
- TorchHook: A PyTorch hooks manager, providing convenient interfaces to capture feature maps and debug models.☆13Oct 1, 2025Updated 5 months ago
- Pwn exploitation toolkit with a CLI for exp templates, and provide Python APIs for Linux binex, scripts, etc.☆35Dec 4, 2025Updated 2 months ago
- 用户面试平台☆24Aug 1, 2025Updated 7 months ago
- Official code release for paper "Robo-Imagine: A Robotic Video Generation Model, For Autoregressive Long-Term Task Video Generation With …☆28Jul 13, 2025Updated 7 months ago
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 6 months ago
- Similarity-Guided Layer-Adaptive Vision Transformer for UAV Tracking (CVPR 2025)☆81Jul 15, 2025Updated 7 months ago
- A benchmark evaluates LLMs' performance in automating drawing revision tasks.☆57Dec 28, 2025Updated 2 months ago
- This is a project about visual spatial reasoning.☆89Jan 9, 2026Updated last month
- [2025CVPR] FlowRAM: Grounding Flow Matching Policy with Region-Aware Mamba Framework for Robotic Manipulation☆53Nov 11, 2025Updated 3 months ago
- ☆39Sep 23, 2025Updated 5 months ago
- [PG 2025] BoxFusion: Reconstruction-Free Open-Vocabulary 3D Object Detection via Real-Time Multi-View Box Fusion☆57Jan 19, 2026Updated last month
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- The code of paper "DeFillet: Detection and Removal of Fillet Regions in Polygonal CAD Models" , ACM Transactions on Graphics (SIGGRAPH 20…☆93Dec 14, 2025Updated 2 months ago
- 🚀 基于 Vue3、TypeScript、Vite 的企业级中后台快速开发框架，采用模块化设计，内置丰富的业务组件。☆27Oct 16, 2025Updated 4 months ago
- ☆43Nov 10, 2025Updated 3 months ago
- ☆31Aug 30, 2025Updated 6 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆134Apr 10, 2025Updated 10 months ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 4 months ago
- A zk-SNARK Mixer MVP☆13Jun 14, 2023Updated 2 years ago
- ZKM Development Template/Framework☆30Jul 2, 2025Updated 8 months ago
- ☆21Feb 19, 2026Updated last week
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆54Nov 3, 2025Updated 3 months ago
- Quantify and analyze distribution shifts in learning from samples.☆35Oct 25, 2025Updated 4 months ago
- 这个算法用于无人机群避障一个加入机群的无人机，算法分为两种思路：(1)加入者的路径规划主动机动规避编队机群、(2)编队微调避让加入者。目前只做了第一种思路。唯一已知信息是原机群的运动轨迹F(x，y，z，t)|each plane，对于第一种思路：对于补位飞机唯一的输入参数是…☆31Aug 20, 2025Updated 6 months ago
- vue3-elementPlus-admin,vue3-elementPlus-template☆59Nov 11, 2025Updated 3 months ago
- A Rust zkVM with a Modular Proof System☆142Jul 24, 2025Updated 7 months ago
- ☆68Sep 29, 2025Updated 5 months ago
- [ACM MM 2025] SVGenius: Benchmarking LLMs in SVG Understanding, Editing and Generation. https://arxiv.org/abs/2506.03139☆75Nov 10, 2025Updated 3 months ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- stone-cli is a CLI for proving and verifying Cairo programs.☆24Aug 7, 2025Updated 6 months ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- [ICCV 2025 Highlight] Panorama Generation as a Next-Token Prediction Task.☆48Oct 29, 2025Updated 4 months ago
- Stress Testing ZK Systems Through Maximum Pain☆28Jan 28, 2026Updated last month
- Explorations on mobile-first GPU acceleration, currently support MSM.☆28Aug 19, 2025Updated 6 months ago
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆25Nov 24, 2025Updated 3 months ago
- Implementation of FALCON and its variants for Ethereum☆39Feb 18, 2026Updated last week
- Confidential Transaction with Collaborative Traceability, zk-zkRollup☆44Jul 14, 2023Updated 2 years ago
- ☆97Updated this week