密码学文章 - 第10页

Plonky2 论文翻译

本文是 Plonky2: 使用 PLONK 和 FRI 的快速递归论证论文中文翻译.

zk Plonky2

longerd
发布于 2024-12-04
阅读 ( 1065 )
( 29 )

零知识证明基础知识

本文介绍了零知识证明（ZKP）的基本概念、原理、类型及其应用。零知识证明是一种密码学技术，允许一方（证明者）在不透露数据内容的情况下，向另一方（验证者）证明该数据的真实性。文章详细解释了交互式和非交互式零知识证明，并探讨了它们在身份验证、金融、电子投票、供应链等多个领域的应用。

零知识证明密码学 zk-SNARK zk-STARK Bulletproofs 交互式零知识证明

JuliaOfoegbu
发布于 2024-12-04
阅读 ( 254 )

连续只读内存约束：一个使用Lambdaworks的实现

本文深入探讨了STARKs中约束的概念，并通过Lambdaworks库，以Cairo的非确定性连续只读内存的约束实现为例，详细解释了如何使用多项式来总结trace values之间的高度复杂关系。文章详细介绍了连续只读内存的定义，以及如何通过引入排序和辅助列，将验证内存属性简化为验证连续性约束、单值约束和排列约束。

STARKs 约束 Cairo 只读内存多项式 Lambdaworks 密码学零知识证明

lambdaclass
发布于 2024-12-03
阅读 ( 803 )

Mina 上的 STO 和现实世界资产

RWA和STO连接传统金融和区块链，在1860亿美元的市场中实现有形资产和金融工具的代币化所有权，并增强流动性、透明度和监管合规性。什么是STO和RWA？现实世界资产代币（RWAs）和证券型代币发行（STOs）将传统金融与区块链技术相结合。RWAs是代表有形资产（

Mina OpenBuild

King
发布于 2024-12-02
阅读 ( 1504 )
( 9 )

Zengo 的安全多方计算 ECDSA GG18 和 GG20 代码详解

Zengo的安全多方计算ECDSAGG18和GG20代码详解

MPC

Dapplink
发布于 2024-11-30
阅读 ( 924 )

zkTLS 简介

zkTLS

AI 翻译官
发布于 2024-11-28
阅读 ( 1895 )
( 51 )

Mina 白板会议 TL;DR

深入探讨了允许 Mina 分发数据和并行化证明的技术细节

Mina OpenBuild

King
发布于 2024-11-27
阅读 ( 1438 )
( 20 )

功能加密简介

功能加密 (FE) 可以看作是对公钥加密 (PKE) 的推广, 允许对第三方的解密能力进行更细粒度的控制。

Fe PKE

XPTY
发布于 2024-11-27
阅读 ( 231 )

Mina 协议上的零知识机器学习

zkML将去中心化人工智能变成现实，验证计算并保持输入数据和模型的私密性。了解有关Mina即将推出的ZKML库的更多信息。介绍随着人工智能的不断发展，为数据驱动的决策提供强大的工具，它在与区块链的去中心化性质相结合时面临着挑战。人工智能在大型数据集和集中化的基础上蓬勃发展，以提高

Mina OpenBuild

King
发布于 2024-11-26
阅读 ( 1004 )
( 7 )

推出 o1js v2.0: 為 Mina 生態系統提供更強大、更安全的 o1js

在o1jsv2.0中，新的版本引入了關鍵的安全優化和新的開發人員工具，以確保zkApps不僅更加強大，而且能更靈活地建立下一代加密應用程式。幾星期之前，在完成廣泛的外部審計後，Mina官方發布了o1jsv2.0—是o1js的最新版本。這個版本建立在今年較早時候的勢頭之上，

Mina

楊景輝
发布于 2024-11-25
阅读 ( 996 )
( 5 )

MPC 托管钱包技术如何选型(建议性文档)

in 区块链钱包开发系列教程

MPC 托管钱包技术如何选型(建议性文档)

MPC Zengo GG18 GG20

Dapplink
发布于 2024-11-25
阅读 ( 1912 )
( 12 )

重新介绍 Mina：利用“万物证明”构建（真实）物联网

探索Mina的突破性区块链——通过单一、可组合的“一切证明”，实现今天的真理和明天的无限可扩展性。作者：埃文·夏皮罗和库尔特·赫梅克米娜的设计有所不同。随着2021年首次发布主网，Mina实现了一项突破——一个仅几千字节就能证明其整个状态的区块链。这使得任何人都可以在几毫秒内下

Mina OpenBuild

King
发布于 2024-11-25
阅读 ( 1267 )
( 10 )

Kimchi：Mina 证明系统的最新更新

我们最近发布了Mina证明系统的更新，名为Kimchi。在这篇文章中，我们将介绍Kimchi是什么以及它的不同之处。简介作者：DavidWong，o1Labs加密工程师，Mina协议贡献者我们最近发布了Mina证明系统的更新，名为Kimchi。Kimchi是我们

Mina Kimchi zkApps PLONK OpenBuild

King
发布于 2024-11-22
阅读 ( 977 )
( 10 )

探索Mina的獨特架構和zkApp應用例子

Mina架構簡介每個Mina智能合約的帳戶可容納8個任意字段的元素。每個字段的大小大約為32個bytes。這看起來可能不多，但考慮到在底層，以太坊使用了類似的機制，其中一個元素（worldstatetrie）引用了儲存在其他地方的任意數量的合約狀態。該引用字段稱為storag

Mina

楊景輝
发布于 2024-11-22
阅读 ( 962 )
( 8 )

解决SNARK中的漏洞：未来的道路

这篇文章探讨了在区块链世界中，SNARKs（简洁非交互式知识论证）的安全性和正式验证的重要性，尤其是在Jolt这一用于RISC-V的zkVM的上下文中。文章概述了Jolt推出以来在性能和功能上的提升，并详细描述了为实现正式验证所采取的具体步骤与未来计划。作者强调了当前工具链中存在的风险，呼吁在广泛使用之前确保其安全性。

SNARKs Jolt zkVM 正式验证 RISC-V 安全