zkp

チェーン横断の資産非依存プライバシーを実現する Proof-of-Stake L1、Namada の Rust 実装

ゼロ知識証明入門チュートリアル。包括的なゼロ知識証明のチュートリアル。#zk #WIP

Cairoは、汎用計算のための証明可能なプログラムを作成するための最初のチューリング完全言語です。

gnarkは、回路設計のための高水準APIを提供する高速なzk-SNARKライブラリです。オープンソースとして開発され、Apache 2.0ライセンスの下で提供されています。

分散型プライベート計算（DPC）のためのzkVM

最もシンプルで拡張性の高いzkVM。a16z cryptoとその仲間たちによる、高速で完全オープンソースな実装 ⚡

プライバシーに特化した暗号資産

gnark-crypto は BN、BLS12、BLS24、BW6 曲線上の楕円曲線およびペアリングベースの暗号を提供します。また、ゼロ知識証明システムに特に有用な様々なアルゴリズム（代数、暗号）も提供します

cairo-vm は Cairo VM の Rust 実装です。Cairo (CPU Algebraic Intermediate Representation) は、ある当事者が別の当事者に対して、特定の計算が正しく実行されたことを、その当事者が同じプログラムを再実行することなく証明できる、証明可能なプログラムを書くためのプログラミング言語です。

コンパイル可能なエージェントの挙動