10、利用智能合约实现公平的私有集合交集

BLOCKBENCH- A Framework for Analyzing Private Blockchains

译者：华南理工大学软件学院区块链实验室某摸鱼本科生 注：仅供阅读理解大体意思使用，部分词汇（如transaction）有前后翻译不一致的情况（之前翻成事务，后来又觉得还是交易更好）；部分词组我觉得不翻意思更加准确；译者仍将继续编辑，在学习过程中进行精化。 翻译过程：谷歌翻译+译者校对。 version:1.2 摘要 区块链技术正在颠覆世界。公有链，如比特币和以太坊，实现了一些P2P应用如...

11、基于智能合约的公平私有集合交集协议详解

本文详细介绍了一种基于智能合约的公平私有集合交集协议，该协议能够在保护各方数据隐私的前提下，安全高效地计算两个参与方的集合交集。协议通过引入硬币补偿机制确保公平性，并使用证明不当行为（PoM）优化零知识证明（ZKP），显著提高了计算效率和通信性能。文章从安全性定义、理想功能、具体协议步骤、安全分析到效率优化进行了全面阐述，并探讨了其在金融、医疗和广告等领域的应用潜力及面临的挑战。

12、基于智能合约的公平私有集合交集协议研究

本文提出了一种基于智能合约的公平私有集合交集（PSI）协议Π∗，通过用证明不端行为（PoM）替代零知识证明（ZK Proof）来提升协议的安全性和效率。协议在多个场景下进行了安全性证明，并通过复杂度分析展示了在计算和通信方面的优势。同时，协议Π∗还具备广泛的应用前景，如金融和医疗领域的隐私保护数据匹配。

13、智能合约实现公平私有集合交集与幂次陶设置仪式的去中心化探索

本文探讨了智能合约在公平私有集合交集（PSI）和幂次陶结构化参考字符串（SRS）设置仪式去中心化中的应用。在公平私有集合交集方面，使用非交互式 Sigma 协议和 Fiat-Shamir 启发式方法，基于椭圆曲线 Secp256k1 实现，并评估了不同集合规模下的燃气成本。在幂次陶设置方面，提出了一种去中心化且无许可的设置仪式，通过链上和链下结合的数据可用性模型，确保加密参数的安全生成。文章还分析了未来优化方向和潜在应用领域，如金融、医疗和物联网，展望了区块链隐私保护技术的发展趋势。

9、可编程支付通道与公平私有集合交集协议

本文探讨了可编程支付通道（PPC）和公平私有集合交集协议的设计与实现。PPC 是一种支持链下执行智能合约的新抽象，具有高性能和低 gas 成本的优势，并能高效实现状态通道功能。公平 PSI 协议通过硬币补偿公平性和行为不当证明（PoM）解决了使用智能合约作为可信第三方无法实现完全公平的问题，同时兼顾效率和安全性。这些技术在区块链领域具有广泛的应用前景。

34、基于区块链的去中心化打车模式：属性加密的创新应用

本文提出了一种基于区块链的去中心化打车模式，创新性地应用属性加密（CP-ABE）技术，使乘客可根据司机属性选择服务，同时通过零知识集合成员证明和智能合约保障隐私、信任与公平支付。该模式摆脱了第三方平台依赖，具备高透明度、细粒度访问控制和抗单点故障能力。性能评估显示其在以太坊上的燃气成本可控，且在隐私、信任、支付公平性和司机属性选择方面优于现有模式。未来将在技术优化、功能扩展和市场推广方面持续发展，有望推动打车行业的去中心化变革。

身份基同态加密实现密封电子拍卖

密封电子拍卖本质是保障投标数据在加密状态下仍可完成比价、排序等业务运算，其核心依赖同态加密技术——尤其身份基同态加密（IBFHE），它将用户身份直接映射为公钥，省去证书管理，天然支持身份绑定与可验证性。该方案结合Hyperledger Fabric的通道隔离、背书策略与私有数据集合，构建可控透明的信任锚点；Java作为工程落地主力，串联密码运算、链码交互与业务逻辑。适用于政府采购、科研竞标等强合规场景，解决‘系统不可见却可信执行’这一关键难题。

(遇到问题)(已解决)word敲入的公式转化为mathtype

https://www.mathtype.cn/wenti/wordgongshi-zhuanhuan.html 现在越来越多的人在文档中编辑公式的时候会选择MathType来编辑，因为它包含有众多的数学符号和模板，编辑公式时非常方便。但是也有一些人在编辑公式时没有使用MathType公式编辑器，直接使用Word中自带的公式编辑器来编辑的。当我们需要要共享一份文件的时候，这种用自带公式编辑器编辑出来的文件，在我们安装有MathType公式编辑器的电脑里打开时，双击公式没有反应，是无法对它们进行修改的.

利用mininet模拟SDN架构并进行DDoS攻击与防御模拟（Ryu+mininet+sflow+postman）

1、知识概述 （1）软件定义网络： （2）mininet： Mininet是一个强大的网络仿真平台，通过这个平台，我们可以很方便的模拟真实环境中的网络操作与架构。特别是SDN，在真实网络中进行相关的网络实验有一定难度，自然需要一个仿真平台可以学习这种新型的网络架构，而Mininet就应运而生，承担了这个光荣而艰巨的使命。Mininet自带交换机（switchs）、主机（hosts）、控制器（controllers），同时，在mininet上可以安装OpenvSwitch、多种控制器（NOX\POX

模型检测--工具KeYmaera

论文：KeYmaera: A Hybrid Theorem Prover for Hybrid Systems 作者：Andre Platzer and JanKeYmaera摘要1 介绍2用于混合系统的KeYmaera验证工具3混合系统，混合自动机和混合程序 摘要 KeYmaera是一种用于混合系统的混合验证工具，它结合了演绎，实数代数和计算机代数证明者技术。它是自然的自动和交互式定理证明器 混合系统的规范和验证逻辑。 KeYmaera支持差分动态逻辑，它是用于混合程序的实值一阶动态逻辑，是混合自动机的程

Sony DPT RP1/CP1破解攻略

前言 自己有一台Sony DPT CP1和一台kindle，两个都已经用了很多年。直到最近发现微信读书上经常可以找到一些免费而且不错的书，所以就萌生了在两台机器上使用微信读书的想法。kindle比较容易实现，直接打开内置浏览器，进入微信读书网页版就行了，而Sony的电纸书则只能通过破解+安装微信读书的方式实现。大概弄了两三个小时吧，也遇到了一些问题，所以这里记录一下整个过程，希望能方便后来的使用者。 首先感谢HappyZ, osc_t5nbj8ds。前者是提供公开破解的方法的大神，后者则是解决了我遇到的问题

学习记录——SIMPACK生成轨道谱文件的方法

生成轨道谱文件的方法，可以用于实测轨道谱导入和自制轨道谱导入仿真

大模型系统构建的“三驾马车”——Prompt、Context与Harness工程

在LLM应用开发的早期阶段，我们热衷于比拼“提示词”的精妙程度。那时，一个精心构造的思维链CoT就能让模型的表现提升10%以上。随着大模型从“玩具”走向“生产系统”，我们逐渐意识到：单一的 Prompt 只是起点，而非终点。 真正的工业级应用，需要构建一套三层递进的工程体系——Prompt Engineering、Context Engineering 和 Harness Engineering。

智能小车倒车入库功能的实现（python,cpp,ubuntu）

智能小车倒车入库功能的实现（python,cpp,ubuntu）

CRC_16---ModBus 计算方法及代码实现

1、 CRC寄存器初始值为 0xFFFF；即16个字节全为1； 2、 CRC-16 / ModBus的多项式0xA001H (1010 0000 0000 0001B) ； ‘H’表示16进制数，‘B’表示二进制数。 计算步骤为： (1).预置 16 位寄存器为十六进制 0xFFFF（即全为 1） ，称此寄存器为 CRC 寄存器； (2).把第一个 8 位数据与 16 位 CRC 寄存器的低位相异或，把结果放于 CRC 寄存器； (3).检测相异或后的CRC寄存器的最低位，若最低位为1，CRC寄存器

复分析 阿尔福斯(Ahlfors) 第三版答案 英文

答案分为十章，有部分习题没有答案，全英文复分析阿尔福斯(Ahlfors) 第三版答案

大中型超市收银系统(可直接运行)

光步前台收银系统系统功能：商品销售、商品退货、挂单、收银员权限、会员销售、单品取消、整单取消、商品查询、脱机销售、脱机数据上传，基本资料下载，开钱箱、小票打印、收款结算，支持多币种付款方式（现金、储值卡、礼券、微信等）,支持多种促销。运行环境：.net 4.0登陆信息用户名:1001 密码:123456内置商品信息，商品编码可输入00001000 - 00010000,测试效果相关功能键F5 结算 F9挂单 F11商品查询 F8退货 Insert单品取消 Del整单取消 F12开钱箱F2 会员 Ctrl+Z退出系统 Home 锁屏 相关源码待公开

visio安装包

Microsoft Office Visio 是一款专业的制图软件。利用经过更新的形状、协作工具和数据链接图表，创建专业级图表以简化复杂的信息。

android 蓝牙通讯demo

android 下蓝牙通讯demo，实现了发现蓝牙，使能蓝牙，通过蓝牙发送消息。