Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
☆117Jun 5, 2026Updated last 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:
- ☆56Jul 1, 2025Updated 11 months ago
- TorchHook: A PyTorch hooks manager, providing convenient interfaces to capture feature maps and debug models.☆15Oct 1, 2025Updated 8 months ago
- 用户面试平台☆24Aug 1, 2025Updated 10 months ago
- Pwn exploitation toolkit with a CLI for exp templates, and provide Python APIs for Linux binex, scripts, etc.☆35Mar 31, 2026Updated 2 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 10 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.
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 9 months ago
- Similarity-Guided Layer-Adaptive Vision Transformer for UAV Tracking (CVPR 2025)☆92Apr 21, 2026Updated last month
- A benchmark evaluates LLMs' performance in automating drawing revision tasks.☆60Dec 28, 2025Updated 5 months ago
- The code of paper "DeFillet: Detection and Removal of Fillet Regions in Polygonal CAD Models" , ACM Transactions on Graphics (SIGGRAPH 20…☆94Dec 14, 2025Updated 5 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 week
- [PG 2025] BoxFusion: Reconstruction-Free Open-Vocabulary 3D Object Detection via Real-Time Multi-View Box Fusion☆60Jan 19, 2026Updated 4 months ago
- ☆44Nov 10, 2025Updated 7 months ago
- 🚀 基于 Vue3、TypeScript、Vite 的企业级中后台快速开发框架，采用模块化设计，内置丰富的业务组件。☆26Oct 16, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆37Sep 23, 2025Updated 8 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 3 months ago
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 10 months ago
- Quantify and analyze distribution shifts in learning from samples.☆35Oct 25, 2025Updated 7 months ago
- [ICCV 2025 Highlight] Panorama Generation as a Next-Token Prediction Task.☆48Oct 29, 2025Updated 7 months ago
- vue3-elementPlus-admin,vue3-elementPlus-template☆56May 27, 2026Updated 2 weeks ago
- A zk-SNARK Mixer MVP☆13Jun 14, 2023Updated 2 years ago
- ☆73Sep 29, 2025Updated 8 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.
- [ACM MM 2025] SVGenius: Benchmarking LLMs in SVG Understanding, Editing and Generation. https://arxiv.org/abs/2506.03139☆79Nov 10, 2025Updated 7 months ago
- A Rust zkVM with a Modular Proof System☆144Jul 24, 2025Updated 10 months ago
- A TEE framework to ship zkVM/zkEVM☆30Aug 11, 2022Updated 3 years ago
- ZKM Development Template/Framework☆29Jul 2, 2025Updated 11 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆17Jul 13, 2025Updated 10 months ago
- Threshold signature library across multiple platforms☆45Feb 19, 2023Updated 3 years ago
- 这个算法用于无人机群避障一个加入机群的无人机，算法分为两种思路：(1)加入者的路径规划主动机动规避编队机群、(2)编队微调避让加入者。目前只做了第一种思路。唯一已知信息是原机群的运动轨迹F(x，y，z，t)|each plane，对于第一种思路：对于补位飞机唯一的输入参数是…☆38Aug 20, 2025Updated 9 months ago
- [CVPR 2024] RankMatch: Exploring the Better Consistency Regularization for Semi-supervised Semantic Segmentation☆34Feb 25, 2025Updated last year
- Privacy-preserving EigenShare DEX☆12May 22, 2022Updated 4 years 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.
- Source code of IEEE TCOM paper: Synesthesia of Machines (SoM)-Enhanced ISAC Precoding for Vehicular Networks With Double Dynamics.☆35Dec 24, 2025Updated 5 months ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 8 months ago
- 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
- ☆23Feb 19, 2026Updated 3 months ago