回路を設計する
公開値と秘密値、制約、証明方式を定義し、gnarkでGroth16回路を実装します。
gnarkGroth16R1CS
OUR SERVICES
相談内容に合わせた4つの支援
構想段階の整理から共同研究、システム開発、本番運用まで、現在の課題に合う支援を選べます。複数の支援を組み合わせたご相談も可能です。
証明をプロトコルで動かす証明をプロトコルで動かす
ゼロ知識証明は、回路だけではプロダクトになりません。回路設計から再帰的な証明集約、EVM上での検証までを一続きで実装します。
01
02
証明を集約する
複数の証明を別の回路の中で検証し、オンチェーンへ送る証明を一つにまとめます。
Recursive ProofsProof AggregationPoseidon2
03
コントラクトで検証する
生成したVerifierをSolidityへ組み込み、証明結果をプロトコルの状態遷移へつなげます。
SolidityGenerated VerifierEVM Verification
個別案件の用途や構成は、公開許可を得た範囲でのみ紹介しています。
費用の目安
新しく始めるご相談は2週間の設計スプリントから始めます。設計スプリントの結果を見て、開発に進むかどうかをお決めいただけます。開発に進む場合、設計スプリントの代金は全額を開発の代金に充てます。
- 01
設計スプリント
80万円固定
- 期間
- 2週間
- 終わったときの状態
- 論点の整理、構成案と技術選定、開発の工程と概算見積、稟議用の要約
- 打合せ
- 2週間で3回（各1時間）
- お支払い
- 着手時に全額。開発に進む場合は全額を開発の代金に充当
- 02
開発
600万円から
- 期間
- 2〜3か月
- 終わったときの状態
- 公開β、または検証の完了と本番化の判断
- 打合せ
- 毎週の定例（進み具合と決めごと）と隔週の技術定例（仕様と設計）
- お支払い
- 着手時に50%、検収時に50%
金額はすべて税抜です。
金額を決める要素
- 対象にする設備・チェーン・既存システムの数
- 到達点（検証まで、公開βまで、本番稼働まで）
費用に含まないもの
- 外部のセキュリティ監査・法務確認・インフラの利用料（実費をそのままご請求します）
契約
- 設計スプリントと開発は請負を基本とします
- 打合せの費用は代金に含みます
- 初回のご相談は無料です
- 秘密保持契約はご相談の前に結べます