雖然這篇z轉換教學鄉民發文沒有被收入到精華區:在z轉換教學這個話題中,我們另外找到其它相關的精選爆讚文章
在 z轉換教學產品中有2篇Facebook貼文,粉絲數超過2萬的網紅Mina 安米娜,也在其Facebook貼文中提到, 認識我的人都知道,我是一個非常容易感到無聊的人😂 一旦事情太簡單,我很容易就分心 所以反而是簡單的小事我常常沒辦法做好 哈哈 為了避免這樣的事情反覆發生 我都會在我快要分心的時候趕快找事情做 像是戴上耳機邊收聽脫口秀或是老z調查線 有點像是早期台灣藍色蜘蛛網,不過都是台灣真實新聞事件 來振奮精神 ...
同時也有5部Youtube影片,追蹤數超過0的網紅ezManager,也在其Youtube影片中提到,什麼是“行為反饋”?具體又該如何應用? 分享美國VT理工大學給校長、學術領導者的管理包,讓你掌握這七大關鍵就高效。美國透過研究「行為反饋behavior feedback」並做成一套系統知識,應用範圍大到對人、對事、對產品,用在領導管理、教育、感情、人際、健康、產品開發...etc. :: 本集會聚...
「z轉換教學」的推薦目錄
- 關於z轉換教學 在 旭文日本語學院 Instagram 的最佳貼文
- 關於z轉換教學 在 Cynthia?CC美白、時光姬、水裸肌聯合創始人 Instagram 的最佳貼文
- 關於z轉換教學 在 追求斜槓人生的青年???紹庸Calvin Instagram 的最佳貼文
- 關於z轉換教學 在 Mina 安米娜 Facebook 的最佳解答
- 關於z轉換教學 在 Taipei Ethereum Meetup Facebook 的最讚貼文
- 關於z轉換教學 在 ezManager Youtube 的最佳解答
- 關於z轉換教學 在 MEeeep More Youtube 的精選貼文
- 關於z轉換教學 在 鍾日欣 Youtube 的最佳解答
z轉換教學 在 旭文日本語學院 Instagram 的最佳貼文
2021-02-19 11:17:41
【穩扎穩打練文法 – N2篇】 日文文法中,有許多用來轉換話題的用法。像是「名詞+はさておき」就經常被使用,往下閱讀說明與例句吧😁 ↓ ↓ ✨【N2文法】 名詞+はさておき 中文:先不提了〜(用於轉換話題時) •例文①:それはさておき、先日の調査結果の報告をします。 中譯:...
z轉換教學 在 Cynthia?CC美白、時光姬、水裸肌聯合創始人 Instagram 的最佳貼文
2021-04-04 15:31:23
謝謝7月來上我們第一堂的大家 Aroma_cynthlia提供材料跟教學分享很開心看到同學們發揮自己的美感,製作出屬於自己獨一無二的作品🥰真的都超美的 一直以來 「營造空間氛圍」的味道,又美又香是我很注重的 之前看到國外在販售蠟燭香磚 ,但是往往半年就沒味道必須淘汰⋯ 因為重視永續環保♻️ 我開始研...
z轉換教學 在 追求斜槓人生的青年???紹庸Calvin Instagram 的最佳貼文
2021-04-04 15:26:25
有時候我在回答一些粉絲私訊的問題,或在外面上一些課聽到台上老師分享,我與那些老師都遇過一個問題,就是跟對方講完自己親身經驗,對方還是不相信這件事可以成功,最後反而質疑教學的人🤔 ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ 所以自己心裡與腦袋的東西沒調整好,即使讓世界首富來教你成功的秘訣,老實說你也不會成功的😤😤😤 ⠀⠀...
-
z轉換教學 在 ezManager Youtube 的最佳解答
2021-07-15 16:20:43什麼是“行為反饋”?具體又該如何應用? 分享美國VT理工大學給校長、學術領導者的管理包,讓你掌握這七大關鍵就高效。美國透過研究「行為反饋behavior
feedback」並做成一套系統知識,應用範圍大到對人、對事、對產品,用在領導管理、教育、感情、人際、健康、產品開發...etc.
:: 本集會聚焦在職場上的應用,也是領導管理學的必要管理包裡必備工具喔!
:: giving effective feedback.提供有效的反饋。有效=照你預期的方向走
:: 一分鐘商業英文One-Minute Business English
👉【5分鐘填節目問卷&抽獎, 7/13止】
親愛的ezManager聽友, 需要你的建議讓我們節目被你更喜愛💕
https://forms.gle/ck7EfX2dw6PLZriU8
👉【7/15(四)20:00 Mixer Box APP 免費LIVE語音講座】
面試不踩雷,職人帶你拿offer
主講 podcast【#英文留聲機 feat. #ezManager_Dài老師】
提出你的面試問題:https://forms.gle/UT9ZWnv9xvhPTa3V7
#國外商管類 讀書會,Great Managers are made, not born.
管理職人、熱愛學習的夥伴們,用一杯茶的時間,減少眼力腦力轉換成本,內化成你的獨門攻略。
★ 本集導讀書籍:the making of a manager: what to do when everyone looks to you
(暫譯:優秀管理者的後天養成之路)
★ 亞馬遜去年最佳商業書第一名、華爾街日報暢銷書。原文書 9折購 https://lihi1.cc/dnwIH
作者:Facebook 產品設計副總 Julie Zhuo 的十年管理心法。
★ 本集私語:雜音問題已找出,是主持人音色自帶雜音😅
歡迎加入我們讀書會 lihi1.cc/NOlrM 一起交流分享 (FB私密社團加入需填email,若被拒絕請再寫一次即可)
★ 優惠方案:
ezManager五種超值方案:現在就幫自己加分,讓你Level Up!
透過知識價值的傳遞,讓你職涯勝利
黃金職人領導力199|VIP職人超越力399|伯爵經理人通行證899|專屬1對1職場問題諮詢1199|職涯成長新星 99
::2分鐘說明影片 https://lihi1.com/p6101
📚 專屬一對一線上諮詢六大主題選項:
1. 好履歷健檢|獲得成為職場贏家的敲門金磚
2. 團隊管理類|帶人疑難雜症經驗轉換給助力
3. 向上管理類|想受到賞識體貼上意又不委屈
4. 抗壓管理類|突破職場倦怠抗壓增強軟實力
5. 溝通技巧類|成熟大人職場提升自信好感力
6. podcast新手入門諮詢
👉【播主生日慶&抽書活動】
1.同樂禮: 除99以外的 ezManager五種超值方案(見上方說明),享限時首月7折優惠!讓自己職場更勝利!
2.凡參加五種超值方案者(任一), 均可參加抽書活動 , 共抽兩名, 就是我們讀書會這本 "the making of a manager: what to do when everyone looks to you" 可選原文或中文譯本乙本, 均全新實體書(價值NT$420~$910),讓自己不斷成長!
★ 本集重點摘錄:
管理職責任的關鍵要務之一,就是反饋,給反饋建議是一門溝通的學問,
四種激勵人改變的有效feedback方式:
1. 在開始時設定明確的期望
2. 盡可能頻繁地提供針對特定任務的反饋
3. 周到而有規律地分享行為反饋(==本集談)
4. 收集 360 度反饋以獲得最大的客觀性
作者表示 特定任務的”行為反饋”很有用,當您提供行為反饋時,您是在陳述 您對那個人的看法,因此您的說的話 用字遣詞, 需要經過深思熟慮,
並以具體的例子來解釋,為什麼你覺得那樣。
★ 本集分點章節:
(00:00:24) 活動公告&感謝聽友Felix
(00:03:05) 本集讀書會開始
(00:09:25) 一分鐘商用英文 One min Business English (feat. Zach) Individual contributor
(00:11:43) 行為反饋面談_掌握這七大關鍵
★ 本集補充資料
::Behavioral Feedback (EN) https://reurl.cc/EnYvyk by 美國VT大學
::一分鐘商用英文
A key contributor關鍵貢獻者, 是稱呼 對公司有實質正面影響的任何員工。
Z: A key contributor is a designation for any employee that positively impacted
the company in a substantial way.
This is a great compliment to give to your direct report or supervisor if they
did a great job on a specific project.
例句: “Jim was a key contributor to the company presentation. He was responsible
for the majority of the content that was presented today.”
★ 本集提到過往單集
Ep30. 四種激勵人改變的方法
Ep12. 04:00 打造健康的互評會議
=====================
Music C.C. by Chester Bea Arthur -Folk Physics / Free Sound Effects
https://lihi1.cc/QIOep
@同步更新至
Spotify|Google podcast|Firstory|KKbox|SoundOn|Pressplay| Youtube
|TuneIn|MixerBox|Himalaya|好好聽FM|CastBox ....等28平台
@節目鼓勵與反饋請到Apple Podcast 給五顆星留言& 記得訂閱
:: 如果您喜歡,請贊助鼓勵我們繼續製作節目💰 https://lihi1.cc/s1mES (50秒影片教學, lihi1.cc/N8vYt )
@活動: 一日之星|報名當來賓|Podcaster聯盟接案推廣計畫 https://lihi1.cc/C3EEF
@如果你也想開始做自己的podcast ,歡迎使用 Firstory 的邀請碼W-B23W9K可得小額啟動基金
★ 本集快問快答:
如果你已有你個人的優勢識別答案,歡迎加入我們讀書會一起交流分享、彼此砥礪喔
以上都來這網址分享 https://lihi1.cc/tZCUD 或 FB社團
@你也想要有一個公司以外的交流成長小組、經驗轉換&彼此支持嗎? 免費加入 讀書會群組
:: IG:www.instagram.com/ezmanagergo
:: FB社團: https://lihi1.cc/NOlrM
@合作接洽 ezmanagerGo@gmail.com (不分大小寫)
:: 上Youtube搜尋「怎麼給星評分」一分鐘教學影片,或點這 https://lihi1.cc/N8vYt (分享給你沒在聽podcast的親友) -
z轉換教學 在 MEeeep More Youtube 的精選貼文
2019-06-12 17:49:43今時今日大家都鍾意用飛行里數換機票去旅行,用信用卡積分換飛行里數係其中一種最容易儲里數嘅方法。不過原來同一間銀行嘅積分用唔同嘅方法去兌換,可能會換多好多里數。今日介紹嘅方法就係其中一個例子。
匯豐銀行一向都可以用佢哋嘅信用卡嘅獎賞錢,以每1蚊獎賞錢換10里亞洲萬里通飛行里數,不過每年要俾$300年費先至可以兌換。
但係近期佢哋同Moneyback 易賞錢 合作,雙方嘅積分可以互相兌換,將獎賞錢兌換到Moneyback 易賞錢 之後再轉換為亞洲萬里通,每1蚊嘅獎賞錢就可以兌換到12.5里,比之前多咗百分之二十五,連$300年費都慳埋,仲要即時到帳唔駛等。聽落好似好複雜,但係其實要做一啲都唔難,今日就等我做次俾大家睇!
首先你要下載匯豐銀行嘅 Reward+ 同埋 Moneyback 嘅 易賞錢 呢兩個手機應用程式。之後打開 Reward+、以你嘅流動理財登入呢個程式。
去到主頁之後,揀下面嘅「我的RC」,RC 即係 Reward Cash,之後再揀「兌換獎賞錢」、跟住落嚟要先連結你嘅 Moneyback 易賞錢戶口,好似我咁揀「連結至獎賞錢戶口」、接受條款之後再確定你喺紀錄入面嘅電話同電郵,之後輸入11位數字嘅易賞錢戶口號碼,跟住就可以兌換,好似我今日兌換1000獎賞錢 咁就搞掂!
好唎,打開 Moneyback,你會見到頭先換嘅 50000 分已經即時到咗帳。
之後你只要去「積分互換」、揀「亞洲萬里通」、再輸入 Asia miles嘅會員登入作核實,之後揀埋想換幾多里數,入多次密碼,里數就即時收到!
另外,在推廣期內做兌換,仲可以得到額外50%或者最高2500分嘅Moneyback易賞錢,不過要留意嘅,就係呢個獎賞會喺幾個月之後先至入帳,計下呢度即係又多咗六百幾個miles用喇!
《Z世代達人》
麥卓華
#asiamiles #moneyback #HSBC -
z轉換教學 在 鍾日欣 Youtube 的最佳解答
2017-11-02 18:13:23我是JC老師
電腦相關課程授課超過6000小時的一位 Photoshop 課程講師
由於實在太多同學向JC老師反映,希望可以有線上課程學習,所以就決定錄製一系列的 Photoshop 線上影片教學
而且不加密、不設限、不販售,就是純分享,希望可以幫助到有需要的朋友們
如果這部 Photoshop 教學影片對你有幫助的話,請幫我按個讚,給我點鼓勵,也多分享給需要的朋友們喔~
Photoshop 線上教學影片目錄:http://bit.ly/2A9PH3B
Photoshop 線上教學影片範例下載:http://bit.ly/2A9TcHu
JC-Design 網站:http://jc-d.net/
JC-Design 粉絲團:https://www.facebook.com/jcdesigntw/
JC-Design LINE ID:@umd7274k
---------------------------------------------------------------------------------------------------------
放大鏡工具(Z):
● 工具箱-放大鏡工具
● 每按一下都會將影像放大或縮小至下一個預設百分比,並以您所按的位置為中心顯示影像。
● 當影像達到 3200% 的最高放大層級時或 1 像素的最小尺寸時,放大鏡內會變成空白。
● 加按〔Alt〕鍵點一下可變成縮小畫面。
● 快點兩下放大鏡工具,可切換檢視比例為100%。
● 快速鍵:〔Ctrl + +號〕放大一倍〔Ctrl + -號〕縮小一倍
● 用拖曳方式框選檢視範圍,可以快速放大框選區域
● 屬性列上可以設定
◆ 重新調整視窗尺寸以相合:縮放同時會自動調整視窗大小
◆ 縮放顯示所有的視窗
◆ 拖曳縮放:向上拖曳放大,向下拖曳縮小,不勾選可以框選縮放。
◆ 實際像素:100%的顯示比例
◆ 顯示全頁:會將圖形放到可以看見的最大比例,再縮小一些
◆ 全螢幕:會將圖形放到可以看見的最大比例
● 編輯 \ 偏好設定 \「工具」
◆ 動畫的縮放:啟動按住縮放顯示工具時的連續縮放
◆ 縮放顯示重新調整視窗尺寸:請參閱縮放時自動調整視窗大小。
◆ 使用捲動滾輪縮放顯示:啟動滑鼠上的捲動滾輪縮放。
◆ 將點擊處縮放至中央:將點擊位置置於縮放顯示視圖的中央。
---------------------------------------------------------------------------------------------------------
手形工具 (H):在視窗中移動檢視區域。
● 工具箱-掌形工具
● 快點兩下掌形工具:以畫板大小顯示整張圖形
● 快速鍵:按下「空白鍵」可暫時轉換為手形工具
● 屬性列上可以設定、實際像素、顯示全頁..等功能
● 快速鍵:空白
---------------------------------------------------------------------------------------------------------
==延伸線上教學聯結==
3ds Max 2015 線上教學影片目錄:http://bitly.com/2dUGqn3
AutoCAD 2015 2D 線上教學影片目錄:http://bitly.com/2dUGm6Y
TQC AutoCAD 2008 2D 線上教學影片目錄:http://bitly.com/2dUGQtB
z轉換教學 在 Mina 安米娜 Facebook 的最佳解答
認識我的人都知道,我是一個非常容易感到無聊的人😂
一旦事情太簡單,我很容易就分心
所以反而是簡單的小事我常常沒辦法做好 哈哈
為了避免這樣的事情反覆發生
我都會在我快要分心的時候趕快找事情做
像是戴上耳機邊收聽脫口秀或是老z調查線
有點像是早期台灣藍色蜘蛛網,不過都是台灣真實新聞事件
來振奮精神
除了收聽節目外,起身去泡杯咖啡也是一個好方法!
轉換一下心情
有時候在一個問題裡面打轉太久
反而會一直想不到解法
休息是為了走更長遠的路呀
不要「在哪裡跌倒,就在哪裡躺下」😅
剛好最近西雅圖咖啡剛出了「咖柏斯濃萃浸泡式咖啡」「白咖啡二合一」當然要來試試水溫
☕為了喝到最正統的味道
我還特別請教會手動沖泡咖啡的同事教學
濾掛式咖啡正確步驟:
1. 螺旋注入熱水
2. 完全浸泡
3. 兩次攪拌
咖柏斯 本來以為會很苦,沒想到味道很清甜,咖啡香也很濃郁
另外,螞蟻人我也推薦「焦糖瑪奇朵」讓你SugarHigh
濃濃的咖啡香配上焦糖的香味真的是讓人ㄧ試成主顧
但如果喝甜的,我盡量限制自己一週喝兩次含糖飲品就好
天氣那麼熱還要出去買飲料多辛苦~
自己手動泡一杯來喝喝看吧
10/19前全台西雅圖盒裝系列都買一送一
👉https://lihi1.com/RNNwn
🐰🐰貼心提醒:買西雅圖咖啡任一個產品+49元還可以得到「限量卡娜赫拉攪拌棒」我哥的最愛,也太棒了
西雅圖極品咖啡-Barista咖灰鸚家族
#西雅圖極品咖啡 #24小時全天享受 #7eleven買一送一
z轉換教學 在 Taipei Ethereum Meetup Facebook 的最讚貼文
📜 [專欄新文章] 瞭解神秘的 ZK-STARKs
✍️ Kimi Wu
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
上一篇關於 zkSNARK扯到太多數學式,導致很難入手,這次介紹 STARK 會盡量減少數學式,以原理的方式跟大家介紹。
STARK 被視為新一代的 SNARK,除了速度較快之外,最重要的是有以下好處1. 不需要可信任的設置(trusted setup),以及
2. 抗量子攻擊
但 STARK 也沒這麼完美,STARK 的證明量(proof size)約 40–50KB,太佔空間,相較於 SNARK 只有288 bytes,明顯大上幾個級距。此外,這篇論文發佈約兩年的時間,就密碼學的領域來說,還需要時間的驗證。
STARK 的 S 除了簡潔(Succinct)也代表了擴展性(Scalable),而T代表了透明性(Transparency),擴展性很好理解,透明性指的是利用了公開透明的算法,可以不需要有可信任的設置來存放秘密參數。
SNARK 跟 STARK 都是基於多項式驗證的零知識技術。差別在於,如何隱藏資訊、如何簡潔地驗證跟如何達到非互動性。
快轉一下 SNARK 是如何運作的。
Alice 有多項式 P(x)、Bob有秘密 s,Alice 不知道 s、Bob 不知道 P(x)的狀況下,Bob 可以驗證P(s)。藉由同態隱藏(Homomorphic Hindings)隱藏Bob的 s → H(s),藉由 QAP/Pinocchio 達到了簡潔地驗證,然後把 H(s) 放到CRS(Common Reference String),解決了非互動性。細節可以參考之前的文章 。
問題轉換
零知識的第一步,需要先把「問題」轉成可以運算的多項式去做運算。這一小節,只會說明怎麼把問題轉成多項式,至於如何轉換的細節,不會多琢磨。
問題 → 限制條件 → 多項式
在 SNRAK 跟 STARK 都是藉由高維度的多項式來作驗證。也就是若多項式為: x³ + 3x² + 3 = 0,多項式解容易被破解猜出,若多項式為 x^2000000 + x^1999999 + … 則難度會高非常多。
第一步,先把想驗證的問題,轉換成多項式。
這邊以Collatz Conjecture為例子,什麼是Collatz Conjecture呢?(每次都用Fibonacci做為例子有點無聊 XD)
1. 若數字為偶數,則除以2
2. 若數字為奇數,則乘以3再加1 (3n+1)
任何正整數,經由上述兩個規則,最終結果會為 1 。(目前尚未被證明這個猜想一定成立,但也還未找出不成立的數字)
52 -> 26 -> 13 -> 40 -> 20 -> 10 -> 5 -> 16 -> 8 -> 4 -> 2 -> 1.
把每個運算過程的結果紀錄起來,這個叫做執行軌跡(Execution Trace),如上述52 -> 26 -> … -> 1。接著我們把執行軌跡轉換成多項式(由執行軌跡轉成多項式不是這裡的重點,這裡不會贅述,細節可以參考 StarkWare的文章 )如下
https://medium.com/starkware/arithmetization-i-15c046390862
合成多項式
接著就把這四個限制條件的多項式合成為一個,這個最終的多項式就叫做合成多項式(composition polynomial),而這個合成多項式就是後面要拿來驗證的多項式。
就像一開始提的,SNARK跟STARK都是使用高維度多項式,接著,來介紹STARK是藉由哪些方式,達到零知識的交換、透明性(Transparency)跟可擴展性(Scalability)。
修改多項式維度
這一步是為了後面驗證做準備的。在驗證過程使用了一個技巧,將多項式以2的次方一直遞減為常數項(D, D/2, D/4 … 1),大幅減低了驗證的複雜度。因此,需要先將多項式修改為2^n維度
假設上述的每個限制多項式(不是合成多項式喔)為Cj(x),維度為 Dj,D >= Dj 且 D 等於2^n,為了達到 D 維度,乘上一個維度(D -Dj)的多項式,
所以最終的合成多項式,如下
其中的αj、βj是由驗證者(verifier)所提供,所以最終的多項式是由證明方(prover)跟驗證方所共同組成。
*這小節的重點是將多項式修改成D維度,覺得多項式太煩可忽略
FRI
FRI 的全名是”Fast RS IOPP”(RS = “Reed-Solomon”, IOPP = “Interactive Oracle Proofs of Proximity”)。藉由FRI可以達到簡潔地驗證多項式。在介紹FRI 之前,先來討論要怎麼證明你知道多項式 f(x) 為何?
RS 糾刪碼:
糾刪碼的概念是把原本的資料作延伸,使得部分資料即可以做驗證與可容錯。其方式是將資料組成多項式,藉由驗證多項式來驗證資料是否正確。舉例來說,有d個點可以組成 d-1 維的多項式 y = f(x),藉由驗證 f(z1) ?= y,來確定 z1是否是正確資料。
回到上面的問題,怎麼證明知道多項式?最直接的方式就是直接帶入點求解。藉由糾刪碼的方式,假設有d+1個點,根據Lagrange插值法,可以得到一個 d 維的多項式 h(x),如果如果兩個多項式在(某個範圍內)任意 d 點上都相同( f(z) = h(z), z = z1, z2…zd),即可證明我知道 f(x)。但是我們面對的是高維度的多項式,d 是1、2百萬,這樣的測試太沒效率,且不可行。FRI 解決了這個問題,驗證次數由百萬次變成數十次。
降低複雜度
假設最終的合成多項式為 f(x),藉由將原本的1元多項式改成2元多項式,以減少多項式的維度。假設 f(x) = 1744 * x^{185423},加入第二變數 y,使 y = x^{1000},所以多項式可改寫為 g(x, y) = 1744*x^{423}*y^{185}。藉由這樣的方式,從本來10萬的維度變成1千,藉由這種技巧大幅降低多項式的維度。在 FRI 目前的實做,是將維度對半降低 y = x²(f(x) = g(x, x²))。
此外,還有另一個技巧,將一個多項式拆成兩個較小的多項式,把偶數次方跟奇數次方拆開,如下:
f(x)= g(x²) + xh(x²)
假如:
f(x) = a0 + a1x + a2x² + a3x³ + a4x⁴ + a5x⁵
g(x²) = a0 + a2x² + a4x⁴, (g(x) = a0 + a2x + a4x²)
h(x²) = a1x + a3x² + a5x⁴, (h(x) = a1 + a3x + a5x² )
藉由這兩個方法,可以將高維度的多項式拆解,重複地將維度對半再對半,以此類推到常數項。而 FRI 協議在流程上包含兩階段 — 「提交」跟「查詢」。
提交階段:提交階段就如同上述過程,將多項式拆解後,由驗證者提供一亂數,組成新的多項式,再繼續對多項式拆解,一直重複。
f(x) = f0(x) = g0(x²) + x*h0(x²)
==> f1(x) = g0(x) + α0*h0(x), ← α0(驗證者提供)
==> f2(x) = g1(x) + α1*h1(x), ← α1(驗證者提供)
==> . . .
查詢階段:這個階段要驗證證明者所提交的多項式 f0(x), f1(x), f2(x), … 是否正確,這邊運用一個技巧,帶入任意數 z 及 -z(這代表在選域的時候,需滿足 L²= {x²:x ∊ L},這邊不多提)。所以可以得
f0(z) = g0(z²) + z*h0(z²)
f0(-z) = g0(z²) -z*h0(z²)
藉由兩者相加、相減,及可得g0(z²)、h0(z²),則可以計算出f1(z²),再推導出f1(x),以此類推驗證證明者傳來的多項式。
Interactive Oracle Proofs (IOPs)
藉由FRI(RS糾刪碼、IOPs),將驗證次數由數百萬降至20–30次(log2(d)),達到了簡潔地驗證。不過,我們解決了複雜度,但還有互動性!
* 與SNARK比較 :SNARK在驗證方面利用了QAP跟Pinocchio協定。
非互動性
藉由 Micali 建構(Micali construction)這個概念來解釋如何達到非互動的驗證。Micali 建構包括兩部分,PCPs(Probabilistically checkable proof)跟雜湊函數。PCPs 這是一個隨機抽樣檢查的證明系統。簡單來說,證明者產出一個大資料量的證明(long proof),經由隨機抽樣來驗證這個大資料量的證明。過程大約是這樣,證明者產出證明𝚿,而驗證者隨機確認 n 個點是否正確。
在STARK,我們希望達到:1.小的證明量,2.非互動。隨機抽樣可以讓達到小的證明量,那互動性呢? 想法很簡單,就是預先抽樣,把原本 PCPs 要做的事先做完,然後產出只有原本證明 𝚿 抽樣出的幾個區塊當作證明。但想也知道,一定不會是由證明者抽樣,因為這樣就可以作假。這裡是使用 Fiat-Shamir Heuristic 來作預先取樣。
首先,先把證明 𝚿組成 merkle tree,接著把 merkle root 做雜湊可得到一亂數 𝛒,而 𝛒 就是取樣的索引值。將利用𝛒取出來的區塊證明、區塊證明的 merkle tree 路徑跟 merkle root, 組一起,即為STARK 證明 𝛑。
到目前,只使用雜湊函數這個密碼學的輕量演算法。而雜湊函數的選擇是這個證明系統唯一的全域參數(大家都需要知道的),不像是 SNARK 有 KCA 使用的(α, β, 𝛾)等全域的秘密參數,再藉由 HH(同態隱藏)隱藏這些資訊來產生 CRS。因為證明的驗證是靠公開的雜湊函數,並不需要預先產生的秘密,因此 STARK 可以達到透明性,也不用可信任的設置。
接著,將FRI中需要互動的部分(驗證者提供 α 變數),使用上述的 PCP + Fiat-Shamir Heuristic, 即可達到非互動性。
* 與SNARK比較: SANRK 的非互動性是將所需的全域參數放到CRS中,因為全域參數是公開的,所以CRS裡的值使用了 HH 做隱藏。
MIMC
大部分證明系統,會使用算數電路來實作,此時,電路的複雜程度就關係到證明產生的速度。 STARK 的雜湊函數選用了電路複雜度較簡單的 MIMC,計算過程如下:
https://vitalik.ca/general/2018/07/21/starks_part_3.html
這樣的計算有另一個特性,就是無法平行運算,但卻又很好驗證,因此也很適合 VDF 的運算。Vitalik有一個使用 MIMIC 作為 VDF 的提案。
ps. 反向運算比正向慢百倍,所以會是反向計算,正向驗證
從上面的解釋,可以理解為什麼 STARK 不需要可信任設置,至於為什麼能抗量子?因為 SNARK 中使用了 HH 來隱藏秘密,而 HH 是依靠橢圓曲線的特性,但橢圓曲線沒有抗量子的特性(也就是可以從公鑰回推私鑰)。而STARK在整個過程中只使用了雜湊函數,而目前還沒有有效的演算法能破解雜湊函數,因此可以抵抗抗量子攻擊。
有錯誤或是不同看法,歡迎指教
參考:
StarkDEX Deep Dive: the STARK Core Engine
STARK 系列文:
STARK Math: The Journey Begins
Arithmetization I
Arithmetization II
Low Degree Testing
A Framework for Efficient STARKs
Vitalik 系列文:
STARKs, Part I: Proofs with Polynomials
STARKs, Part II: Thank Goodness It’s FRI-day
STARKs, Part 3: Into the Weeds
ZK-STARKs — Create Verifiable Trust, even against Quantum Computers
https://ethereum.stackexchange.com/questions/59145/zk-snarks-vs-zk-starks-vs-bulletproofs-updated
Originally published at http://kimiwublog.blogspot.com on November 12, 2019.
瞭解神秘的 ZK-STARKs was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌