基于SNARK的ckks同态加密计算正确性验证方案 (A verification scheme for the correctness of ckks homomorphic encryption computation based on SNARK)
☆31Apr 9, 2026Updated 6 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:
- The implementation on Towards Scalable and Fast Distributionally Robust Optimization for Data-Driven Deep Learning.☆149Apr 3, 2026Updated 7 months ago
- [CVPR 2026] PromptEnhancer is a prompt-rewriting tool, refining prompts into clearer, structured versions for better image generation.☆3,800Aug 18, 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,445Aug 17, 2026Updated 2 months ago
- OpenGUI is an Android GUI agent framework for phone-use AI that can see, plan, and operate real mobile apps through the GUI.☆1,807Oct 18, 2026Updated 2 weeks ago
- ☆53Nov 2, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🔥minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,矿池抽水,矿池中转,矿场运维专用☆3,703Jul 15, 2026Updated 3 months ago
- TVM Documentation in Chinese Simplified / TVM 中文文档☆3,952May 20, 2026Updated 5 months ago
- LimiX: Unleashing Structured-Data Modeling Capability for Generalist Intelligence https://arxiv.org/abs/2609.17488☆4,405Updated this week
- A simple Qt widget library, provides both c++ and python version☆51Sep 9, 2026Updated last month
- ☆1,841Feb 14, 2026Updated 8 months ago
- The first open autoregressive foundational video AI model.☆2,893Oct 7, 2026Updated last month
- Translate PDF, Word, PowerPoint, etc. | zotero翻译插件，微信扫码注册，新用户可免费翻译25万汉字或100万个英文字母。超能文献官网:suppr.wilddata.cn；☆2,019Aug 25, 2026Updated 2 months ago
- 源码级 Chromium 指纹内核，检测站按普通 Chrome 评分。Source-level Chromium fingerprint kernel that passes bot detection tests. Not JS injection — C++ patch…☆1,079Oct 27, 2026Updated last week
- GigaBrain-0: A World Model-Powered Vision-Language-Action Model☆2,671Sep 9, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 💰唯一正版💰 minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy 矿池抽水 矿池代理 矿池中 转 矿池抽…☆3,883Oct 31, 2026Updated last week
- A dashboard that shows the current status of submarine cables that connected Taiwan to the world☆1,134Oct 28, 2026Updated last week
- IM Chat, High-performance, scalable, self-hosted instant messaging server in Go — private chat, groups, chatrooms, WebSocket and REST API…☆3,540Updated this week
- Nexent is a zero-code platform for auto-generating production-grade AI agents using Harness Engineering principles — unified tools, skill…☆6,148Updated this week
- A lightweight AI prospecting workspace for founders and small teams.☆29Jul 31, 2026Updated 3 months ago
- Building a multi-user DeepSeek Harness with Kafka, MySQL, Redis, Elasticsearch and CDC infrastructure, authentication, authorization, and…☆140Aug 27, 2026Updated 2 months ago
- The next generation deep reinforcement learning tookit☆3,467Jun 16, 2023Updated 3 years ago
- Auto-Manage Your Personal Task Context with AI.☆2,502May 12, 2026Updated 5 months ago
- 一个视频、Wifi融合的摔倒检测系统☆67Sep 13, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Infrastructure for evolutionary AI systems. GPU-accelerated, PyTorch-based optimization with an ecosystem of algorithm libraries, benchma…☆2,668Updated this week
- [DEPRECATED] Legacy Klavis AI MCP integrations. See klavis.ai for RL environments and training data.☆5,829Updated this week
- MemoryBear Equip AI with human-like memory capability☆9,718Updated this week
- ☆603May 8, 2026Updated 5 months ago
- FIT: 企业级AI开发框架，提供多语言函数引擎（FIT）、流式编排引擎（WaterFlow）及Java生态的LangChain替代方案（FEL）。原生/Spring双模运行，支持插件热插拔与智能聚散部署，无缝统一大模型与业务系统。☆2,117Mar 13, 2026Updated 7 months ago
- A sophisticated LangGraph-based agent that automates financial options analysis with real-time data from Polygon.io, smart caching, persi…☆646Dec 15, 2025Updated 10 months ago
- Self-evolving cognitive memory and context engine for AI agents in Java. Empowering 24/7 proactive agents like OpenClaw with understandin…☆905Aug 13, 2026Updated 2 months ago
- AI agent skills for end-to-end hotel and flight booking—compare live hotel rates across leading OTAs and suppliers, search and verify rea…☆2,398Oct 19, 2026Updated 2 weeks ago
- ☆1,370Oct 9, 2024Updated 2 years 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.
- DeepWism R2 is a next-generation AGI system built on the T3CEDS framework (Thin-Thick-Thin Crowd Entropy Dynamics System), which redefine…☆1,019Jun 27, 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
- 🤖 A comprehensive task management system specifically designed for AI assistants. Supports project management, task tracking, team colla…☆1,191Sep 19, 2026Updated last month
- PCF8563 full-featured driver library for general-purpose MCU and Linux.☆31Jun 25, 2026Updated 4 months ago
- Android谷歌上架马甲包垃圾代码混淆☆1,286Jul 16, 2025Updated last year
- ☆1,114Jul 8, 2025Updated last year
- Joint Semantic Detection and Dissemination Control of Phishing Attacks on Social Media via LLama- Based Modeling☆1,012Feb 15, 2026Updated 8 months ago