# 斯塔克历史 By [congba.eth](https://paragraph.com/@congba) · 2023-10-31 --- 该文章基于 StarkWare 联合创始人兼主席 Eli Ben-Sasson 教授在以色列举办的 StarkWare 会议 2023 会议上发表的文章[。](https://starkwaresessions.co/) ### **评论一下我们到达了吗？** La technologie STARK 是 preuves 的基础，还有精确性：des preuves d'intégrité。伟大的CS刘易斯是一个伟大的完美的人，“faire ce qu'il faut, même quand personne nerrore”。L'objectif est l'intégrité, et les preuves sont un moyen d'y parvenir。Les STARKs 使用数学来保证完整性，并可对计算进行有效修正，以确保人性化。 László Babai、Lance Fortnow、Leonid Levin 和 Mario Szegedy 在 1991 年的文章中介绍了超级计算机组监控器的概念。Cette 技术“PCP”采用数学方法来监视和保证计算复杂性的完整性。Voici 评论已过去： 数独类型谜题的计算肯定是在多种操作中进行限制的。Chaque 肯定管道是一个独特的谜题。L'entité qui fait l'affirmation est appelée "Prover", et la preuve qu'il soumet équivaut à un puzzle Sudoku rempli (voir l'image ci-dessous)。La caractéristique d'une 肯定纠正了解决方案，满足了与难题相关的无数限制。Et la proprieté la plus magique de ces PCP (et la difficile à établir mathématiquement) est que, pour les fausses 肯定, n'importe quelle soumise violera au moins 99 % des contraintes du Sudoku. Le Verifier，一种信任协调器，可提供可靠的能力，可提供独特的解决方案来证明您的确认。Au lieu de lire l'intégralité de la Solution du Prover，ileffectue un “sondage” aléatoire et verifie une contrainte aléatoire de la Solution soumise (la preuve)。我们决定接受或拒绝确认，以满足您对其他事项的满意。完成所有确认解决方案之间的差异（qui ne peuvent satisfaire plus de 1 % des contraintes）。统计数据和使用方法的属性：例如，6 个限制条件和验证方法。Le Verifier 具有准确定性，只需计算 10 亿 (1 000 000 000 000) 的概率，即可计算完整的效果。 最重要的是，它需要具备可扩展性，这就是数独谜题，它是计算中的记号，验证器可以快速执行，并且验证器限制了运算的速度。事实上，计算所需的数量是最后的指数加上小数独谜题！ ### **STARK 首次亮相** PCP 技术于 1990 年开发，并在 STARK 版本中进行了修改。数独是一般谜题的主要区别，也是数独谜题的生成过程，是数独谜题的生成过程，也是 Prover 的谜题重现，可以重复使用。验证器可以对多维数独进行限制，并在单元功能中决定接受或拒绝确认。 使用 STARK、小加斯佩特验证器和确保企业正常运行、单极或政府功能纠正。 历史上最重要的部分涉及到在世界各地使用的技术。在世界公约中，在信任协调中最困难的是，如果有能力，就必须监视超级计算机集团的不可靠和潜在能力。PC 的容量是否存在问题，是否可以与世界相容？ ### **区块链抵达** 2008 年密码学和计算创新的关键类别：2008 年中本聪的艰辛发生了巨大的变化。 纵观历史，交易在流动性和流动性方面均以点对点方式实现，主要体现在 Apple Pay、Visa 等平台的集中化上。等斯威夫特。使用者必须对交易平台的公平性有信心。 比特币是点对点货币交换的本质复兴，消除了中间人的信任。以太坊是一种永久创建社会经济组织的通用程序的概念。 这是双重创新的融合。在这方面，我们的 PCP（和 STARK）永远是您信任的协调者，可以提供可靠的应用能力以及伟大的成就。在其他地方，我们使用区块链，它可以利用数学来验证大阶梯式的计算。它是实现区块链的重要途径，它可以保证数学的完整性。 ### **斯塔克韦尔抵达** 2018 年，StarkWare 率先利用 STARK 有效解决以太坊可扩展性问题。链下证明者和链上验证者之间的计算重新分配，从而实现了大规模的可扩展性。Le Prover 的链下特征是大量交易和 STARK 之前的类型，而 Verifier 则验证了链上之前的最小计算。Cela 可以保证链下计算量的完整，并保证链上的完整性，并且保证最低限度的公平性。 对于 StarkWare 来说，它是一个重要的注意事项： * **StarkEx**是基于 SaaS 经济模式的基础，是以太坊上的沙发 2 的补充，将于 2020 年投入生产。 * **开罗**\- 通过通用编程语言（图灵完备）编写程序，为开发者提供帮助和功效。STARK 在执行这些计划方面发挥了重要作用，这是开罗创建的一个渠道。编程语言的优势在于它在有效性方面具有更强大的功效，是可扩展性的关键。 * **Starknet**是首屈一指的去中心化生产方式，与以太坊类似。 ### **Q'est-ce qui est dans l'ADN des STARKs 吗？** * **La tête dans les étoiles, les Pieds dans la boue** : Nous suivons une approche à deux volets。我们的目标是技术、数学和创新，我们的目标是产品的发展。 * **L'excellence engendre l'excellence**：StarkWare 的伟大实现是 le niveau d'excellence auquel aspirent ses giga-brains。 * **L'excellence engendre la magnanimité**：Nous embrassons et soutenons d'autres équipes qui reoussent les limites d'Ethereum et/ou des STARKs。 * **“倒入所有的蔬菜，vas-y seul。倒入所有的腰肉，allons-y ensemble。”** StarkEx、开罗和 Starknet 在内部实现了初始实现，并加速了进程。套间，我们致力于开源和去中心化生产产品，我们致力于将 STARK 转型为公众。 ### **Où allons-nous ？** Starknet 拥有1000 个开发者和[400 个 GitHub 资源的全生态系统](https://github.com/beautyisourbusiness/cairo-goldmine)[扩展](https://twitter.com/odin_free/status/1631663104529518593)。 采用心态“Pour aller vite, vas-y seul. Pour aller loin, allons-y ensemble”，StarkWare va ： * Faire de Starknet 是未经许可的去中心化有效性汇总，由 Starknet 基金会管理。 * Starknet 运动中不同政党的权力下放集中在 Prover、Sequencer 和治理方面。 为了增强 STARK 的力量和可扩展性，请使用开源编程语言[Cairo](https://www.cairo-lang.org/)并编写其他程序。 --- *Originally published on [congba.eth](https://paragraph.com/@congba/1gfhuLfJgVV7mahmMWr4)*