零知识证明；Halo2原理；举例说明算术电路、转换为约束系统、多项式承诺举例形式和数值；PLANK算术化；
目录 零知识证明 简单举例说明原理 原理概述 Halo2原理 Halo2原理 举例说明关键性概念 举例说明算术电路、转换为约束系统、多项式承诺举例形式和数值 1. 算术电路构建 2. 转换为约束系统 3. 多项式承诺举例形式和数值 Halo2简单示例 PLANK算术化 基础概念 简单例…
2025-11-11精选文章
谈谈最近AI在我工作生活中的深度应用
1，简介 我最近使用AI非常频繁，几乎一有事情都会第一时间想到AI能不能帮忙。 有的人可能没怎么深刻体会到AI带来的效率革命，觉得AI没什么价值，我想用我的大量真实案例来让大家感受下AI的意义，鼓励大家使用AI。 2&#x…
头颈肿瘤在PET/CT中的分割：HECKTOR挑战赛| 文献速递-深度学习肿瘤自动分割
Title 题目 Head and neck tumor segmentation in PET/CT: The HECKTOR challenge 头颈肿瘤在PET/CT中的分割：HECKTOR挑战赛 01 文献速递介绍 高通量医学影像分析，常被称为放射组学，已显示出其在揭示定量影像生物标志物与癌症预后之间关…
最新发布
浅谈跨平台框架的演变（H5混合开发-＞RN-＞Flutter）
引言 这里分为四个阶段： 第一阶段 ： 原生开发 第二阶段 ： H5混合开发 第三阶段： 跨平台RN 第四阶段： 跨平台Flutter 正文 第一阶段： 原生开发 开发成本比较大 ： 需要Android 和ios 开发两…
2025-11-11Roslyn 是什么？
Roslyn 是什么？ Roslyn 是 .NET 平台的开源编译器平台，支持 C# 和 Visual Basic (VB) 两种编程语言。它不仅是一个传统的编译器，还提供了丰富的 API，供开发者对代码进行分析、生成、重构等操作。其全名为 “.NET Compiler Platfo…
2025-11-11openEuler24.03 LTS下安装Hadoop3完全分布式
目录 Linux准备 openEuler24.03 LTS简介 下载openEuler24.03 LTS 安装openEuler24.03 LTS Linux基本设置 关闭及禁用防火墙 修改主机名 静态ip 映射主机名 创建普通用户 目录准备 克隆主机 配置机器之间免密登录 编写分发脚本 安装Java 下载Java 解压 设置环…
2025-11-11挖洞日记 | 记一次MSSQL注入绕waf过程
在挖漏洞时，使用 xia sql 插件发现一个注入点，经过测试发现存在 waf 拦截记录一下。 在查询中发现单引号是空白页面，在加一个单引号，显示空数据，但是有回显，初步判断 pname 存在 SQL注入。 然后判断列数1o…
2025-11-11jmeter聚合报告中参数详解
sample、average、min、max、90%line、95%line,99%line、Error错误率、吞吐量Thoughput、KB/sec每秒传输的数据量 sample（样本数） 表示测试中发送的请求数量，即测试执行了多少次请求。 单位，以个或者次数表示。 示例：…
2025-11-11不同conda 不同cuda版本方法
安装不同的cuda给不同的conda环境使用方法： 第一步：确认系统里有哪几个 CUDA 版本 运行下面命令，看看系统里装了哪些 CUDA： ls /usr/local | grep cuda 你可能会看到类似： 第二步：找当前conda环境 whi…
2025-11-11最新DeepSeek-Prover-V2-671B模型 简介、下载、体验、微调、数据集：专为数学定理自动证明设计的超大垂直领域语言模型（在线体验地址）
DeepSeek-Prover-V2-671B模型 简介、下载、体验、微调、数据集：专为数学定理自动证明设计的超大垂直领域语言模型（在线体验地址） 体验地址：[Hugging Face 在线体验]https://huggingface.co/playground?modelIddeepseek-ai/DeepS…
2025-11-11python语言总结（持续更新）
本文主要是总结各函数，简单的函数不会给予示例，如果在平日遇到一些新类型将会添加 基础知识 输入与输出 print([要输出的内容])输出函数 input([提示内容]如果输入提示内容会在交互界面显示，用以提示用户)输入函数 注释 # 单行注释符&…
2025-11-11【导航信号模拟器】【MATLAB APP】MATLAB AppDesigner基本使用教程
MATLAB AppDesigner基本使用教程 作者：齐花Guyc(CAUC) 文章目录 MATLAB AppDesigner基本使用教程一、创建项目二、编写回调函数1. 按钮——获取选择文件路径2. 按钮——保存文件路径3. 单选按钮组4. 复选框5. 文本框显示 三、打包APP 一、创建项目 建立空文件夹—…
2025-11-11论文阅读笔记：VMamba: Visual State Space Model
论文阅读笔记：VMamba: Visual State Space Model 1 背景2 创新点3 方法4 模块4.1 2D选择性扫描模块（SS2D）4.2 加速VMamba 5 效果5.1 和SOTA方法对比5.2 SS2D和自注意力5.3 有效感受野5.4 扫描模式 论文：https://arxiv.org/pdf/240…
2025-11-11Linux中查看正在监听的IP和端口
最近和其他终端设备联调时，需要去查看正在监听的IP和端口，以下在 Linux 系统中，可以使用以下命令查看正在监听的端口和 IP 地址。这个取决于当前Linux系统内已有的工具，如果不清楚，可以都试一下。 netstat -tuln -t&am…
2025-11-11JVM虚拟机篇（七）：JVM垃圾回收器全面解析与G1深度探秘及四种引用详解
JVM垃圾回收器全面解析与G1深度探秘及四种引用详解 JVM虚拟机（七）：JVM垃圾回收器全面解析与G1深度探秘及四种引用详解一、JVM有哪些垃圾回收器1. Serial回收器2. ParNew回收器3. Parallel Scavenge回收器4. Serial Old回收器5. Parallel Old回…
2025-11-112025年智能物联网与电子信息国际会议 (IITEI 2025)
尊敬的各位专家学者、行业精英： 我们非常荣幸地宣布，2025年智能物联网与电子信息国际会议（IITEI 2025）将在四川成都盛大开幕。本次会议旨在汇集全球范围内智能物联网及电子信息领域的专家学者、行业领袖和技术精英，共…
2025-11-11关于Java适配器模式的面试题目及其答案
Java中有23种设计模式，主要分为三类：创建型模式、结构型模式和行为型模式。 创建型模式 创建型模式关注于对象的创建，提供了更灵活的对象创建方式。主要包括以下几种： 单例模式：确保一个类只有一个实例&#…
2025-11-11线程同步：确保多线程程序的安全与高效！
全文目录： 开篇语前序前言第一部分：线程同步的概念与问题1.1 线程同步的概念1.2 线程同步的问题1.3 线程同步的解决方案 第二部分：synchronized关键字的使用2.1 使用 synchronized修饰方法2.2 使用 synchronized修饰代码块 第三部分ÿ…
2025-11-11【AI面试准备】Git与CI/CD及单元测试实战指南
介绍Git、CI/CD 流程、单元测试框架（如 NUnit、JUnit）。如何快速掌握，以及在实际工作中如何运用 目录 一、Git：分布式版本控制系统核心概念高频命令实战建议 二、CI/CD：自动化交付流水线核心流程工具链组合关键配置示…
2025-11-11WebSocket心跳机制
前言 在现代Web应用中，WebSocket已经成为实现实时通信的标准技术。无论是聊天应用、实时数据推送，还是在线协作工具，WebSocket都扮演着重要角色。然而，很多开发者在使用WebSocket时经常遇到连接断开、消息丢失等问题。今天我们就…
2025-11-11Java并发编程
并发编程基础与挑战 并发编程的核心概念：线程、锁、同步、异步现代多核处理器架构对并发编程的影响Java内存模型（JMM）与并发编程的关系 常见的并发问题与陷阱 竞态条件（Race Condition）及其典型场景死锁（…
2025-11-11