290 matches found
AtomicMemory
参考 FPGA 实现 Cyclone V 本目录包含参考 RTL 模块、预编译的 FPGA 镜像以及可选的 TCL 测试脚本,用于实现原子测量–塌缩原语。该原语是一种 CMOS 兼容的硬件测量–塌缩机制,强制实现单次读取语义:第一次合格的读取返回存储的字节,而测量行为会确定性地触发不可逆的塌缩事件。塌缩后,单元仅产生混淆或基于 PRNG 的输出,确保原始值无法恢复。该实现展示了确定性首次读取披露、基于基态条件的访问控制以及独立存储单元组上的原子单向状态转换。 提供的 .sof 文件允许直接进行硬件验证,无需任何额外的总线接口模块。 状态: 研究工件发布 许可证:...
6.2AI score
SaveExploits0
20