1作者: Nerv_b14 天前
过去几个月,我一直在开发一个新的 Layer 1 区块链,旨在解决我所认为的该领域的基本难题:同时实现强大的隐私性、无限的可扩展性和后量子安全性。 结果就是 NERV:一个默认隐私、水平可扩展的区块链,它用 512 字节的神经状态嵌入取代了默克尔树,并在 Halo2 电路内部进行了验证,并在硬件 enclaves 中进行了证明。 关键技术创新: 神经状态嵌入 使用 Transformer 编码器将分片(shard)的整个状态压缩成一个 512 字节的向量,而不是使用默克尔树。 转移是在这个空间中的同态更新——不需要解压缩。 与 zkEVM 相比,这减少了约 900 倍的包含证明。 盲验证和 TEE 绑定隐私 交易通过一个 5 跳洋葱混合器路由,该混合器在远程证明的 enclaves(SGX/SEV/TrustZone)内运行。链上永远不会显示任何地址、金额或元数据。 动态神经分片 分片根据 LSTM 负载预测器自主地分裂和合并,该预测器通过联邦学习进行更新。 这允许超过 100 万的持续 TPS,没有理论上限。 AI 原生共识 验证者使用蒸馏的 Transformer 预测下一个嵌入哈希。 争议通过 TEE 中的蒙特卡罗模拟解决,实现亚秒级最终确定性。 有用功经济 节点通过贡献梯度来改进网络自身的编码器,从而赚取代币,通过差分隐私的联邦学习——用有用的计算取代 PoW/PoS。 为什么这可能对 HN 有趣: 该系统是完全开源的(MIT/Apache 2.0),所有代码、电路和测试都已公开。 没有预挖矿,没有 VC 分配,没有基金会金库。 计划于 2027 年 10 月进行公平启动。 从创世之初就使用后量子原语(Dilithium-3、ML-KEM、SPHINCS+)构建。 实施正式的隐私保证(包括 ProVerif 模型)。 核心 ZK 电路(LatentLedger)约为 790 万个约束——远小于等效的 zkEVM 证明。 当前状态: 大约 85-90% 的代码已完成,包括核心电路、TEE 证明管道、分片模拟和联邦学习激励。 测试网的目标是在 2026 年第四季度推出。 我在这里分享这些不是为了推广代币,而是为了征求社区的技术反馈、密码学审查和协作,以帮助实现从强大的原型到完全实现、实时、不断发展的私人货币的至关重要的飞跃。 如果您对 ZK、TEE、联邦学习或后量子密码学感兴趣,我很乐意听取您的想法。 链接: 白皮书:[https://github.com/nerv-bit/nerv/blob/main/NERV_Whitepaper_v1.01.pdf](https://github.com/nerv-bit/nerv/blob/main/NERV_Whitepaper_v1.01.pdf) GitHub 仓库:[https://github.com/nerv-bit/nerv](https://github.com/nerv-bit/nerv) 代码和测试:[https://github.com/nerv-bit/nerv/tree/main/NERVCodeV2](https://github.com/nerv-bit/nerv/tree/main/NERVCodeV2) 很乐意回答任何技术问题或讨论设计权衡。
1作者: maltsev14 天前
《行军与蚊蚋》是一款基于浏览器的编码解谜游戏,灵感来源于 Advent of Code,但与使用传统编程语言编写代码不同,你将编程一台图灵机。 每个任务都呈现一个具体的问题和一个最小化的计算模型。你定义转移规则,运行机器,检查输出(或错误),并迭代直到它正常工作。 游戏设定在 19 世纪爱沙尼亚的浪漫主义时期,将叙事与逐步增加难度的难题相结合,包括算术、排序、解析、密码和细胞自动机。
1作者: platoventure14 天前
过去一年里,我大部分时间都在构建 Frigatebird,这是一个用 Rust 编写的高性能列式 SQL 数据库。目标不仅仅是“让它工作”,而是利用所有可用的系统编程技巧来最大化 Linux 上的吞吐量。Frigatebird 是一个从头开始构建的 OLAP 引擎。它具有自定义存储引擎 (Walrus),该引擎使用 io_uring 进行批量写入,自定义自旋锁分配器,以及基于推送的火山执行流水线。我明确避免使用异步运行时,转而采用手动线程调度和原子工作窃取,以最大限度地提高缓存局部性。 目前它仅支持单表操作(尚未支持 JOIN),很想听听您对它的看法。 代码:<https://github.com/Frigatebird-db/frigatebird>