LaBinius：基于格的二进制域多项式承诺方案发布
burny_tech · x · 2026-09-23
研究者 Michał Osadnik 与 Gregor Seiler 发布 LaBinius，一种在二元域上的格基多项式承诺方案（PCS）。
- 核心思路：将承诺所用算术与求值声明所用算术分离，在高效的三次分圆环上实例化 Ajtai 承诺，再与 mod 2 的多项式打开相接，使 R/2R 构成二元域
- 可对接 Flock、Binius 等 SOTA 前端，保留其二进制算术化，用于证明 Keccak-256、SHA-256、BLAKE3 等依赖位运算的标准哈希
- 端到端证明吞吐量达每秒数万次哈希证明
「研究」频道最新
- OfirPress 质疑新榜单算法:子集挑题+平均通过率,掩盖任务真实完成度 — OfirPress · 2026-09-23
- 剑桥出版高维统计新教科书,Samworth 与 Shah 合著免费开放 — FrnkNlsn · 2026-09-23
- Reinforce-Ada:按难度自适应分配算力,RLVR 收敛加速至 2 倍 — burny_tech · 2026-09-23
- 论文:Transformer 并非没有世界模型,而是特征叠加互相干扰 — burny_tech · 2026-09-23
- 新论文称 Transformer 难以学会 loop-closure 世界建模 — burny_tech · 2026-09-23
- 开源 RL 论文遭质疑：centering 修正被指只是重算采样分布梯度 — burny_tech · 2026-09-23