Pinocchioの原理
はじめに 前提知識 群、体に関する初歩的な知識(準同型、単射全射、巡回群、生成元など) 扱う内容 zk-SNARKsとは？ Pinocchio(最も基本的なzk-SNARKs)の解説 zk-SNARKsとは zk-SNARKはZero Knowledge Succinct Non-interactive Argument of Knowledgeの省略形です。それぞれの単語を日本語訳しますと Zero Knowledge:ゼロ知識の Succinct: 簡潔な Non-interactive: 非対話の Argument of Knowledge: 知識の根拠[1] という意味になります。zk-SNARKの具体的なプロトコルは複数知られているので、それらを総称してzk-SNARKsと呼びます。 次の図はzk-SNARKの一例を表しています。 zk-SNARKの概要 Proverは、ある関数
作って学ぶBitcoin！ゼロから作るSPVウォレット - Qiita
Bitcoinはもはや説明する必要がないくらいメジャーな存在になりました。その価格は2017/12/12現在で日本円にして200万円を超えており1、技術的な知識を持っていない一般の人でも気軽に手に入れることができるようになりました。技術的な視点からみるとBitcoinそのものというよりもその基礎技術であるブロックチェーンが革命的なものであり単純な仮想通貨にとどまらない応用の可能性を秘めています。例えばEthereumはブロックチェーン上にプログラム（スマートコントラクト）をデプロイして実行できる環境であり、今年の12月にはCryptoKittiesというEthereumブロックチェーン上に実装されたゲームが大人気になりました。Lightning NetworkやPlasmaなどなど技術的な話題に尽きないのが盛り上がりを見せるブロックチェーン界隈の面白いところでありますが、今回はそのブロック
Rolling your Own Blockchain in Haskell
Bitcoin and Ethereum provide a decentralized means of handling money, contracts, and ownership tokens. From a technical perspective, they have a lot of moving parts and provide a good way to demo a programming language. This article will develop a simple blockchain-like data structure, to demonstrate these in Haskell: Writing a binary serializer and deserializer Using cryptographic primitives to c
Blockchain Demo
by Anders Brownworth BTC: 1K3NvcuZzVTueHW1qhkG2Cm3viRkh2EXJp ETH: 0x84a90e21d9d02e30ddcea56d618aa75ba90331ff
ビットコインは本当に安全なのか、理論研究が示す意外な落とし穴
ビットコインにおけるブロックチェーンは、暗号技術を駆使することで、類い希な耐改ざん性を実現した。 しかし、暗号通貨としてのビットコインの安全性を論じるには、耐改ざん性の観点のみでは不十分だ。同じコインが二重に使用されることがない、取引記録に矛盾を生じさせたりサービス不能に陥らせたりする攻撃が成立しないといった、様々な観点の安全性について検証する必要がある。 ビットコインは、ブロックチェーン技術を用いたサービスとして最も歴史が長い。運用の開始から7年間、プログラムのバグ以外でシステムの停止やデータのロールバックなどを起こしたことはない。 だが最近の研究では、ビットコインのプロトコル設計や実装上の問題により、不正な支払い、データの改ざん、システムの停止などを引き起こしやすい状況を作り出せることが報告されている。 ビットコインにはどのような脆弱性が発見され、脆弱性を解決する修正案が提案されてきた
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Bitbucket
the chain in blockchain explained
Kadena - Open-sourcing the Pact Smart Contract Language
