- 综合排序
- 最热优先
- 最新优先
- 来自专栏liuchengxu
STARKs, Part I: 多项式证明
不过，可能你还不知道现在 ZK-SNARKs 有了一个新兄弟：ZK-STARKs. 这里的 T 表示 “transparent”，“透明的”，ZK-STARKs 解决了 ZK-SNARKs 的一个主要的缺点，即 ZK-SNARKs 依赖于“可信启动（trusted setup）”。 ZK-STARKs 也带来了更加简单的密码学假设，避免了使用椭圆曲线，配对和指数知识的假设（the knowledge-of-exponent assumption），并且完全地基于哈希和信息论。 事实证明，尽管用到的工具可能相当复杂，但上面这种可能性仍然可以进行有效地防范，现在你可以非常负责任地说，它们确实填补了 STARKs 中数学创新的空缺。 原文：STARKs, Part I: Proofs with Polynomials
90530发布于 2018-08-23 - 来自专栏liuchengxu
STARKs, Part II: Thank Goodness Its FRI-day
正如在上篇文章所述，在 STARKs 中，我们无论如何都要防止数字增长至 200,000 位。 这些修改提升了效率，并使系统更加友好，在上面更易构建 STARKs。但是，对于理解算法的工作原理，这些修改并非十分必要。 如果你真的想要理解算法的话，利用这里所述的基于模块化数学的 FRI，虽然简单了一点，但是应付 STARKs 绝对是够了。 本系列的第三部分，将讨论构建 STARKs 的最后一个主要的挑战：如何构建约束检查多项式（constraint checking polynomial），才能够证明任意的计算语句，而不仅仅是几个斐波那契数 原文：STARKs, Part II: Thank Goodness It's FRI-day
67310发布于 2018-08-23 - 来自专栏镁客网
专为听障人士设计，Starts AR眼镜可为电影添加母语字幕
最近，一家名为Greta & Starks的公司推出一款Starts AR眼镜，专门为听障人士服务。 据了解，Greta & Starks是一家欧洲公司，致力于开发为视力及听力受损者服务的技术。 该公司在苹果iOS及安卓平台开发的Greta应用程序，为视觉不佳者提供电影的声音描述，而其在iOS和安卓平台开发的Starks应用程序则为聋人和重听者展示字幕。 从外观上看，Starks看起来就像一副眼镜和呼叫耳机的结合，不同的是内置麦克风的支臂位于佩戴者的双眼前，而不是耳朵旁边。 值得一提，Greta & Starks计划在9月6日发起众筹，资金用于完成产品原型和生产，并预计在年底前将生产好的Starts AR头盔送到消费者手中。
86300发布于 2018-05-30 - 来自专栏Python与爬虫
零知识证明学习资源汇总
「推荐文章十九」STARKs 科普 推荐值：❤️❤️❤️❤️ 难度值：⭐️⭐️⭐️⭐️ V 神的这个科普系列文章，非常详细得介绍了 STARKs 的实现，分成三个部分进行讲解。 原文链接： STARKs, Part I: Proofs with Polynomials：https://vitalik.ca/general/2017/11/09/starks_part_1.html 中文翻译版本：https://ethfans.org/posts/starks_part_1 STARKs, Part II: Thank Goodness It's FRI-day：https:// vitalik.ca/general/2017/11/22/starks_part_2.html 中文翻译版本：https://ethfans.org/posts/starks_part_2 STARKs /posts/starks_part_3_1 中文翻译版本：https://ethfans.org/posts/starks_part_3_2 「推荐文章二十」 Understanding PLONK
1.7K20发布于 2019-11-15 - 来自专栏VRPinea
8.15 VR扫描：联想VR头显或被命名为Mirage；CNN将VR直播美国超级日全食
Greta & Starks将推AR眼镜Starts AR，可把语音转换为文字 欧洲公司Greta & Starks目前正计划开发一款专为听障人士设计的AR眼镜Starts AR。
77860发布于 2018-05-14 - 来自专栏Rust语言学习交流
【Rust日报】这人花了18个月用Rust重构算法交易平台，然后现在充满了后悔
https://medium.com/@austin-starks/i-spent-18-months-rebuilding-my-algorithmic-trading-in-rust-im-filled-with-regret-d300dcc147e0
47910编辑于 2024-07-02 - 来自专栏媒矿工厂
JT-NM ProAV的IPMX技术路线图--VidTrans 21小组讨论
本次演讲来自VSF, 由VidTrans 21小组带来，包括来自Diversified的Karl Paulsen、Macnica的Andy Starks、Matrox的David Chiappini、Fox
87030发布于 2021-04-14 - 来自专栏媒矿工厂
IPMX中的JPEG XS及NMOS的五个重要特性
dis_k=cc8d54921919b87fdf35329ee4a2cb8e&dis_t=1598862906 第二篇演讲的演讲者是来自Macnica Americas的产品管理总监Andrew Starks
1.9K20发布于 2020-08-31 - 来自专栏区块链入门
蚂蚁区块链第7课 零知识证明隐私保护原理和蚂蚁BAAS接口调用实现
3，零知识证明的3种典型技术和应用 zk-SNARKs, Zk-STARKs和 BulletProofs（防弹证明）是零知识证明用于区块链隐私技术的3种主要技术。 对比来看： (1) Bulletproofs 和 Zk-STARKs 不需要可信设置，zk-SNARKs则需要可信设置； zk-STARKs：通过证明者与验证者之间的交互来执行，以一种有效的数学方法， (2) 证明速度对比：Zk-STARKs > zk-SNARKs > Bulletproofs (3) 文件大小：zk-SNARKs < Bulletproofs <Zk-STARKs ZERO项目CTO 算法对比 简单一句话：Zk-STARKs 太大，bulletproofs太慢，优点是不用预装，zk-SNARKs最优。
2.1K30发布于 2019-04-01 - 来自专栏大数据文摘
新一季《权力的游戏》谁又要挂掉？算法神预测龙妈要去领盒饭了！
在网络可视化中，不同大家族中的成员用不同的颜色表示（例如，蓝色—史塔克家族Starks，红色—兰尼斯特家族Lannisters，黄色—马泰尔家族Martells），其他非大家族成员都用灰色表示。 这个中心主要包括两个大型集群，即史塔克家族Starks和兰尼斯特家族Lannisters以及他们影响和交互过的区域，譬如像史塔克Stark和徒利Tully家族（狼妈家）的结盟，以及兰尼斯特家族Lannisters
65840发布于 2018-05-24 - 来自专栏区块链大本营
华住2.0? 5亿"万豪"用户信息泄漏! 个人隐私如何保护? 离不开区块链
Starkware 则是在包括以太坊的各种区块链中实施 zk-STARKs。与 zk-SNARKs 相比，zk-STARKs 的优势在于它不需要可信任的设置，不过加密证明的大小也会大很多。 ?
65720发布于 2018-12-20 - 来自专栏阿杜的世界
【译】OCI镜像规范项目正式启动，致力于容器镜像标准的统一容器镜像是什么？如何做出贡献？
CoreOS Jason Bouzane, Google Brendan Burns, Google Stephen Day, Docker Brandon Philips, CoreOS John Starks
1.1K10发布于 2018-08-06 - 来自专栏Python项目实战
挖矿不挖地球：聊聊怎么让区块链“更绿、更省电”
零知识证明（ZKP）：只告诉你“我对了”，不告诉你“我怎么算的”ZK-SNARKs、ZK-STARKs 等零知识证明技术，能在不暴露原始数据的情况下验证“某个条件是否成立”。
25900编辑于 2025-07-17 - 来自专栏区块链大本营
以太坊匿名技术zk-SNARKs 引人注目
针对这点，以色列理工学院的教授，Eli-Ben Sasson正在努力研究zk-starks,虽然其有着同样的隐私系统，但是却可以加快运行速度并且大幅地减小存储空间。
1.1K120发布于 2018-05-10 - 来自专栏PPV课数据科学社区
基于贝叶斯生存分析的《冰与火之歌》人物死亡率分析
相反，北境诸侯( in the north )、史塔克家族( the Starks )、守夜人和野人这些家族(或势力)有较低的生存曲线和较窄的置信区间。
1.3K70发布于 2018-04-23 - 来自专栏机器学习AI算法工程
基于贝叶斯生存分析的《冰与火之歌》人物死亡率分析
相反，北境诸侯( in the north )、史塔克家族( the Starks )、守夜人和野人这些家族(或势力)有较低的生存曲线和较窄的置信区间。
1.4K40发布于 2018-03-13 - 来自专栏圆方圆学院精选
【董天一】Filecoin2017年Q4进度更新(完整版)
基于此，我们将可以构建更强大，更稳定和可互操作的Web 3.0 STARKs and Bulletproofs:对可验证计算来说现在是一个很好的时代。 STARKs and Bulletproofs是两个透明的非交互零知识证明系统，Filecoin可能会使用他们的一些证明算法。目前我们正在探索和实验。
63020发布于 2019-03-14 - 来自专栏镁客网
【每日要闻】中国最高金额科技奖诞生；网传小米汽车首台工程车下线
FCC 专员杰弗里·史塔克斯（Geoffrey Starks）表示：“假设每年有数千颗新的卫星发射升空，并且每隔 5 年、10 年或者 15 年补充一次，可一旦任务结束需要 25 年才能消亡，那么太空碎片积累的速度将迅速增长
41320编辑于 2022-10-09 - 来自专栏灯塔大数据
预测分析｜机器学习是如何预测《权利的游戏》中的叛徒
CONCLUSIONS: WHAT DID WE LEARN FROM THE STARKS? 结论：我们从这个启发当中有何收获？
1.1K50发布于 2018-04-09 - 来自专栏区块链大本营
对话 Vitalik：Eth2.0 带来的不仅是可扩展性的提升
以色列有一个名为StarkWare的区块链公司，该公司正在使用STARKs，这是一种零知识证明技术。 Coinbase交易所进行合作，目标是将该中心化交易所托管的加密货币转移到智能合约中，并将交易转移至链下，因此交易依然发生在一个中心化的系统中 (用于保证交易速度和隐私等)，但所有的操作都会被提交到以太坊上，并使用STARKs
52230发布于 2019-10-10
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号