部署 FHEVM 框架实现区块链阈值解密:机密智能合约的多方计算
FHEVM 通过阈值解密和同态运算,支持区块链多方计算而不泄露数据。给出部署参数、阈值配置与安全清单。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
FHEVM 通过阈值解密和同态运算,支持区块链多方计算而不泄露数据。给出部署参数、阈值配置与安全清单。
基于 Magic Wormhole 探讨 PAKE 验证、临时密钥生成及 TCP 打洞 NAT 穿越的工程参数与实践要点,实现无服务器安全文件传输。
基于 Dyad 开源框架,工程化本地 AI 应用原型,集成提示流、本地模型推理与 UI 生成,实现离线自定义代理的快速开发。
面向 EVM 集成 FHE 操作,给出自定义操作码实现与阈值解密参数的工程化指南。
基于 Changedetection.io 工具,工程化实现视觉 diff 算法与通知管道,支持实时警报网页内容变化,如价格下降或更新。
利用FHEVM框架,在EVM兼容链上集成全同态加密,实现阈值解密和加密计算的隐私智能合约工程实践。
通过 Zen MCP 协议统一 Claude、Gemini 和 OpenAI 等模型,提供一致的工具调用、上下文管理和代理编排。探讨工程化配置参数、监控要点和最佳实践,确保多模型协作的可靠性和效率。
在 Android 应用中工程化多线程分段下载,利用 HTTP Range 请求实现并行块获取、断点续传和带宽优化,提供核心参数配置与落地指南。
介绍 Battering RAM 项目中的低成本互连器原型设计,针对 DDR 总线信号操纵,实现对 Intel SGX 的内存侧信道攻击,焦点在地址别名创建与密钥提取工程实践。
基于 Battering RAM 原理,探讨其适配 ARM TrustZone 的可行性,包括 DDR 总线 interposer 设计、内存别名映射机制,以及绕过硬件隔离的工程细节与防护参数。
在 Hyperswitch 支付系统中,通过 Rust 异步模式和特性标志实现数据库模式演进,确保合规模型更新无停机无数据丢失,提供工程参数和监控策略。
基于 BitNet 框架,在 Raspberry Pi 上实现 1-bit LLM 部署,利用 ARM NEON intrinsics 优化 bit-serial 操作,实现 sub-100ms 延迟的低功耗 IoT 推理。
面向 ARM TrustZone 的低成本插层器适应,聚焦 AArch64 DDR 总线拦截与电磁侧信道密钥提取,提供 FPGA 重新配置参数与信号隔离要点。
探讨使用低成本自定义插层器拦截 DDR 总线流量,通过侧信道分析从 Intel SGX 和 AMD SEV 等 TEE 中提取 enclave 密钥的工程实践,提供硬件构建参数、实现清单与监控要点。
在机密计算环境中,使用 FPGA 构建中介板原型拦截 DDR 内存总线信号,关注信号完整性、动态重配置及侧信道利用,支持 SGX 和 SEV 等 TEE,提供设计参数和实现指南。
针对嵌入式安全关键系统,评估 Ada、SPARK 和 Rust 作为 C/C++ 替代品的决策框架,包括安全保证、性能基准、工具链成熟度和迁移策略。
面向 SGX 飞地安全,给出低成本 interposer 探针的设计参数、信号捕获实现与绕过硬件隔离的工程要点。
探讨消费级 GPU 架构对图形渲染的偏好,包括固定功能单元的影响,以及优化 AI 工作负载的工程参数。
探讨 LLM 分词器中 fallback 多字节 UTF-8 解码与 NFD 规范化的实现,针对对抗性海马表情符号 VS16 序列,防止 tokenization 崩溃并提升输入鲁棒性。提供工程参数与监控要点。
针对电池供电边缘设备,探讨使用 popcount 内在函数、向量化位操作和内存绑定内核优化 BitNet 1-bit LLM 在 CPU 上的推理性能,包括工程参数和监控要点。