基于SNARK的ckks同态加密计算正确性验证方案 (A verification scheme for the correctness of ckks homomorphic encryption computation based on SNARK)
☆31Apr 9, 2026Updated 4 months ago
Alternatives and similar repositories for ckks_ciphertext_computation_verification_tool
Users that are interested in ckks_ciphertext_computation_verification_tool are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [CVPR 2026] PromptEnhancer is a prompt-rewriting tool, refining prompts into clearer, structured versions for better image generation.☆3,751Jun 10, 2026Updated 2 months ago
- Fulling is an AI-powered Full-stack Engineer Agent. Built with Next.js, Claude, shadcn/ui, and PostgreSQL. Use kubernetes as infra.☆2,440Jul 27, 2026Updated 2 weeks ago
- ☆53Nov 2, 2025Updated 9 months ago
- LimiX: Unleashing Structured-Data Modeling Capability for Generalist Intelligence https://arxiv.org/abs/2509.03505☆3,922Jun 16, 2026Updated last month
- ☆1,842Feb 14, 2026Updated 5 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.
- A simple Qt widget library, provides both c++ and python version☆51Mar 7, 2026Updated 5 months ago
- GigaBrain-0: A World Model-Powered Vision-Language-Action Model☆2,560Mar 10, 2026Updated 5 months ago
- Translate PDF, Word, PowerPoint, etc. | zotero翻译插件，微信扫码注册，新用户可免费翻译25万汉字或100万个英文字母。超能文献官网:suppr.wilddata.cn；☆2,011Jun 24, 2026Updated last month
- TVM Documentation in Chinese Simplified / TVM 中文文档☆3,892May 20, 2026Updated 2 months ago
- Replace coding puzzles with real-work simulations.☆1,907Jul 10, 2026Updated last month
- A dashboard that shows the current status of submarine cables that connected Taiwan to the world☆1,132Updated this week
- A lightweight AI prospecting workspace for founders and small teams.☆26Jul 31, 2026Updated last week
- Nexent is a zero-code platform for auto-generating production-grade AI agents using Harness Engineering principles — unified tools, skill…☆5,822Updated this week
- Auto-Manage Your Personal Task Context with AI.☆2,404May 12, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆311Jun 16, 2026Updated last month
- Klavis AI: MCP integration platforms that let AI agents use tools reliably at any scale☆5,787Jun 1, 2026Updated 2 months ago
- ☆602May 8, 2026Updated 3 months ago
- 一个视频、Wifi融合的摔倒检测系统☆67Sep 13, 2025Updated 10 months ago
- IM Chat, High-performance, scalable, self-hosted instant messaging server in Go — private chat, groups, chatrooms, WebSocket and REST API…☆3,599Updated this week
- A sophisticated LangGraph-based agent that automates financial options analysis with real-time data from Polygon.io, smart caching, persi…☆639Dec 15, 2025Updated 7 months ago
- FIT: 企业级AI开发框架，提供多语言函数引擎（FIT）、流式编排引擎（WaterFlow）及Java生态的LangChain替代方案（FEL）。原生/Spring双模运行，支持插件热插拔与智能聚散部署，无缝统一大模型与业务系统。☆2,114Mar 13, 2026Updated 4 months ago
- Self-evolving cognitive memory and context engine for AI agents in Java. Empowering 24/7 proactive agents like OpenClaw with understandin…☆902Updated this week
- Local-first, open-source Claude Science alternative, before Claude Science is a thing. Turn your AI agent into personal DNA expert.☆475Jul 1, 2026Updated last month
- 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.
- Local-first Canvas LMS AI agent that learns each course's recurring assignment workflow and reuses it through scan -> approval -> execute…☆81Jul 31, 2026Updated last week
- DeepWism R2 is a next-generation AGI system built on the T3CEDS framework (Thin-Thick-Thin Crowd Entropy Dynamics System), which redefine…☆1,017Jun 27, 2025Updated last year
- 🤖 A comprehensive task management system specifically designed for AI assistants. Supports project management, task tracking, team colla…☆1,173Jun 2, 2026Updated 2 months ago
- PCF8563 full-featured driver library for general-purpose MCU and Linux.☆30Jun 25, 2026Updated last month
- A Compositional Operation Toolbox for Gradient-based Bi-Level Optimization☆1,143Updated this week
- Joint Semantic Detection and Dissemination Control of Phishing Attacks on Social Media via LLama- Based Modeling☆1,008Feb 15, 2026Updated 5 months ago
- ☆1,115Jul 8, 2025Updated last year
- Open-Tax is an AI-powered cloud platform transforming tax compliance through automated data integration, real-time anomaly detection, and…☆413Feb 3, 2025Updated last year
- Distributed GPU-Accelerated Framework for Evolutionary Computation. Comprehensive Library of Evolutionary Algorithms & Benchmark Problems…☆2,564Jul 9, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This is an ensemble learning model that utilizes the stacking ensemble strategy. Using the 3D slope stability coefficient regression pred…☆83Sep 18, 2025Updated 10 months ago
- Res-SAM Framework for GPR Underground Hazard Detection☆1,621Jun 15, 2026Updated last month
- ☆1,203Apr 25, 2026Updated 3 months ago
- ☆34Nov 13, 2025Updated 8 months ago
- Your Health, Your AI — Privacy-First.☆1,055Updated this week
- A source-available, local-first alternative to Codex and Claude Code: an AI workspace for code, files, docs, websites, presentations, des…☆3,263Updated this week
- Easy Data Preparation with latest LLMs-based Operators and Pipelines.☆7,259Updated this week