or
or
By clicking below, you agree to our terms of service.
Sign in with Wallet
New to HackMD? Sign up
| Syntax | Example | Reference | |
|---|---|---|---|
| # Header | Header | 基本排版 | |
| - Unordered List |
|
||
| 1. Ordered List |
|
||
| - [ ] Todo List |
|
||
| > Blockquote | Blockquote |
||
| **Bold font** | Bold font | ||
| *Italics font* | Italics font | ||
| ~~Strikethrough~~ | |||
| 19^th^ | 19th | ||
| H~2~O | H2O | ||
| ++Inserted text++ | Inserted text | ||
| ==Marked text== | Marked text | ||
| [link text](https:// "title") | Link | ||
|  | Image | ||
| `Code` | Code |
在筆記中貼入程式碼 | |
| ```javascript var i = 0; ``` |
|
||
| :smile: |  |
Emoji list | |
| {%youtube youtube_id %} | Externals | ||
| $L^aT_eX$ | LaTeX | ||
| :::info This is a alert area. ::: |
This is a alert area. |
On a scale of 0-10, how likely is it that you would recommend HackMD to your friends, family or business associates?
Please give us some advice and help us improve HackMD.
Syncing
xxxxxxxxxx-
Any changes
Be notified of any changes
-
Mention me
Be notified of mention me
-
Unsubscribe
Subscribe應用零知識證明 - 梁智程
tags:
COSCUP2020中階TR413-1歡迎來到 https://hackmd.io/@coscup/2020 共筆
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More →點擊本頁上方的 開始用 Markdown 一起寫筆記！
手機版請點選上方 按鈕展開議程列表。
零知識證明的應用：
隱私
輕量級的範例：
ZK SNARK
訊息大小較短
不需要多次溝通
證明者無法欺騙驗證者（只要資源有限）
架構與做法不斷在被提出來
如何挑選與設計？
一定要有的：
效能指標：
需要簡報，沒看完 ＸＤ
產出資料時，會有 Toxic Waste
可以透過它產出假證明
解法：多方運算，讓取得 Toxic Waste 的成本超高
寫零知識證明：
circom 這個程式語言
應用：匿名登入
只知道是已註冊者之一，但不知道是誰
應用：匿名打賞
連是誰給的都不知道
放在智能合約裡，文章作者產出對應的 hash 取走
MACI 抗共謀投票
並不是匿名投票
是投票者可以在投票後再取消投票，並且投另一個對象
（透過更換 公私鑰對）
這樣可以騙過買票者。導致買票被騙光
（但還是有反制方法）