最新

我们已知有多少种支持生命的生物学基质？目前我们所知的，是基于碳的、三维化学基质。还有其他的吗？有哪些可能的备选方案？

Medvi 是一家远程医疗药房，最近受到了媒体的广泛关注。我在使用开发者工具浏览他们的网站时，发现他们公开的 JavaScript 捆绑包中硬编码了一个包含 999 个患者电子邮件地址的列表——以及每位患者的注册日期、活动状态，以及是否分配了护理经理。所有访客的浏览器都会在登录前下载这些数据。 这个列表并非遗留产物，而是被积极使用：应用程序会导入它，筛选出活跃患者，并检查登录用户的电子邮件是否出现在列表中，以决定显示哪些 UI 功能。这是一种将真实患者数据嵌入捆绑包中的客户端功能标志。 同一个捆绑包还暴露了一个 Season Health（Medvi 的母公司）员工电子邮件列表，用于绕过结账流程，以及一个单独的 Open Loop Health（他们的临床服务提供商）员工电子邮件列表，用于绕过入院表格逻辑——这两个列表在源代码中都有明确的标签。 这再次证明，仅仅依靠大型语言模型进行产品开发还为时过早。

Suprastructure 正在开发一种确定性工具，用于验证复杂硬件和逻辑设计的结构身份。 功能验证是必要的，但已不再足够：它无法检测到静默的架构漂移、供应链植入或硬件木马，这些木马在改变内部交互图的同时保留了可观察的行为。 Suprastructure 生成分区证书——设计交互图的数学可验证指纹。 工作原理： 1. 公开 seed.h + seed 名称（“instrumentality”）+ N=64 立即构建精确的加权有向图 W。 2. 我们专有的工具求解规范的层次分区树 T。 3. 结果以 JSON 证明的形式发布，其中包含 T 及其规范的 SHA-256 哈希值。 验证（任何人可以在几秒钟内完成）： 从公开的 GitHub seed（[https://github.com/suprastructural/proof](https://github.com/suprastructural/proof)）重建 W，遍历已发布的树以确认每个 sup/sub 拆分都是可接受的，然后重新计算 SHA-256。它必须与已发布的哈希值匹配。 通过蛮力找到正确的树将需要 500 多年。验证它只需几秒钟。 免费的公共门户网站使用上述合成 seed 进行了演示。生产应用接受任何规模的真实设计文件（Verilog、SystemVerilog、AIGER、BTOR2、DIMACS 等）。 Suprastructure 是一家处于早期阶段的公司，正在申请专利。我们正在寻求来自形式验证、硬件安全、EDA 和高保障工程师的坦诚反馈。 如果您有几分钟时间，请尝试合成 seed 并查看证明。我非常感谢您对清晰度、在 IP 交接/流片签核/供应链保障方面的实用性以及缺失内容的意见。 感谢您的时间和考虑以及反馈。

一个可以和别人一起画画的简单页面。