[爆卦]研究假設範例是什麼?優點缺點精華區懶人包

雖然這篇研究假設範例鄉民發文沒有被收入到精華區:在研究假設範例這個話題中,我們另外找到其它相關的精選爆讚文章

在 研究假設範例產品中有42篇Facebook貼文,粉絲數超過9萬的網紅凱子凱の日本旅行大補帖,也在其Facebook貼文中提到, ‼📲那大家決定好【振興5倍券】要綁在哪張信用卡了嗎? 🌈我優先想到今年我的消費主力卡,同時也是兩大行動支付+兩大購物電商的回饋優質神卡『匯鑽卡』當然也就列入我的考慮。剛好趁這個機會,來認真研究一下【滙豐銀行】的綁定數位5倍券方案~ 接下來有百貨公司的周年慶,也想趁疫情稍微趨緩的時候帶家人出去走走...

 同時也有2部Youtube影片,追蹤數超過2萬的網紅數學老師張旭,也在其Youtube影片中提到,【摘要】 本影片介紹四大積分技巧之一:三角置換法;三角置換法是變數變換法的一個類型,但他的特別之處在於不是把一堆東西打包,反而是把 X 令成一個三角函數的樣子,只要用正確的方式假設,就會讓原本算不出來的題目變成算得出來,但當然能夠對付的題型也有限,只有面對相對應的題型才能用這種置換法來處理 【勘誤...

研究假設範例 在 幹話心理學 Instagram 的最佳貼文

2021-05-17 09:09:36

- 覺得自己老了, 老是喜歡妳。 今天編編受 @delightpress 邀請, 來分享一本很棒的書給大家, 《不老的腦:首創以「腦科學」╳「老化研究」╳「正念」來實證──全世界的菁英們都是這樣讓大腦回春!》 . 由久賀谷亮Akira Kugaya撰寫, 首創以最新的「腦科學」知識出發, 克服「...

研究假設範例 在 Celine席琳 • 自由國度|品牌經營x 自我成長 Instagram 的最讚貼文

2021-04-04 13:52:52

未來行銷成功關鍵:找出「最小可行受眾」(利基市場) _行銷大師·賽斯高丁 - ⚀(1)找出適合自己的市場主題 . 興趣:休閒時會做的事/想嘗試的技能 . 專業、經驗:能讓受眾對你產生信任感。 . 想改善的缺點、劣勢:身材、語言… . 生活周遭發想:戀愛、貓狗、社會議題延伸… . 問問身邊的人:覺得你...

  • 研究假設範例 在 凱子凱の日本旅行大補帖 Facebook 的最佳貼文

    2021-09-24 15:03:06
    有 141 人按讚

    ‼📲那大家決定好【振興5倍券】要綁在哪張信用卡了嗎?

    🌈我優先想到今年我的消費主力卡,同時也是兩大行動支付+兩大購物電商的回饋優質神卡『匯鑽卡』當然也就列入我的考慮。剛好趁這個機會,來認真研究一下【滙豐銀行】的綁定數位5倍券方案~

    接下來有百貨公司的周年慶,也想趁疫情稍微趨緩的時候帶家人出去走走,選擇自己喜歡的國內飯店住宿跟享用地方美食,又或者添購一些家電,大家真的要趁著這次振興券的發放,多多幫忙疫情這段時間營收受到影響的店家,尤其是辛苦的餐飲業者呢!

    現在網路購物也真的超方便!很常可以透過比價買到便宜好物,甚至也都會提供零利率分期服務,很多又有提供LinePay跟街口支付付款,我超愛用「滙豐匯鑽卡」來賺取高額的回饋!在我粉絲團也推薦過很多次啦!

    👪以【滙豐銀行】來說,當您鎖定好要綁定滙豐銀行這家信用卡發卡行之後,從9/22那天開始,就得搶先在滙豐銀行專屬網頁綁定,"前2萬名"才享有早鳥優惠喔!而且正/附卡的回饋是分開計算,一張卡還可以共同綁定最多4人(不限親屬),這樣就更有機會將回饋利益放到最大啦!

    【滙豐銀行信用卡綁定數位5倍券-三大早鳥任務】
    🔺早鳥任務(1) 2021/10/8~2021/11/30
    一般消費達5,000元,享各卡權益、振興五倍券及回饋0.5%刷卡金
    →早鳥解碼5000x0.5%=$25元刷卡金回饋

    🔺早鳥任務(2) 2021/10/8~2021/11/30
    特店分期達5,000元,享分期零利率、振興五倍券及回饋2%刷卡金(上限500元)
    →在「滙豐銀行的特店」消費,條件是「需達5000元金額、並使用零利率分期」,這樣就有刷卡金2%的回饋,上限$500元。
    → 如果您想要拿到全額的$500元回饋~那很簡單,就是除了您以外再綁其他四個人,五人的振興5倍券將可撥付到$25000元,若使用特店分期,就可以得到2%刷卡金總共回饋$500元!
    → 正/附卡人可各綁定四人,各賺取到$500元的刷卡金回饋。

    🔺早鳥任務(3) 2021/10/8~2021/12/31
    來電申辦刷卡分期達5,000元,享5.88%優惠利率及2%刷卡金(上限200元)
    →我覺得比較實用的就是早鳥任務(1)跟(2)。我個人不太喜歡有利率的分期方式,因此任務(3)就僅提供參考囉!
    --
    ㊙【範例說明】
    假設我是正卡人,我將四名家人的5倍券,同時集中綁定在滙豐銀行的信用卡,預計消費金額至少5000x5=$25000元。

    某次的出遊,高鐵車票費用花費了$5000元,在餐廳用餐花費了$550元,易遊網訂購住宿花費了「$10000元、並使用零利率分期」。後來我又在PChome購物購買了「$15000元的家電、並使用零利率分期」。

    ✅在餐飲店家若有符合「好食券」的名額,會回饋$500的刷卡金。

    除了餐廳之外的其他一般消費總共$30000元,會依消費日+8個工作天依序回饋到您的帳單。因為總共綁定5人,將會撥付$25000到我的信用卡帳上。

    ✅符合早鳥任務(1),回饋金$25元。
    ✅符合早鳥任務(2),特店零利率分期超過$5000元,將享2%刷卡金回饋。其中分期的總額為$25000元,回饋2%就可以拿到全額的$500元回饋。

    附卡人也可以利用相同的消費方式,一樣綁定其他四人,再賺取額外$500元的回饋金喔!

    今年的綁定『數位』振興5倍券大概就是這樣玩!是不是相當有趣呢?聰明的您,現在腦袋應該有相當多的想法了!趕緊認真研究一下,記得9/22那天就要搶先綁定啦!
    --
    👉辦卡連結 https://bit.ly/3iiPxib

    🆕新卡首刷/存戶設定享優惠
    2021/9/22~2021/12/31 新戶辦卡解任務享每月最高回饋1千元
    *現金回饋御璽卡-國內消費享加碼回饋1% (每月最高回饋1,000元)
    *匯鑽卡-首刷享滿額禮回饋500元
    *旅人卡-首刷滿額且繳交年費享最高回饋8,000哩
    *新存戶自動扣繳享最高回饋500元
    .運籌理財One能戶新戶任務設定信用卡自動扣繳享回饋300元刷卡金
    .卓越理財Premier新戶任務設定新用卡自動扣繳享回饋500元刷卡金

    活動期間、詳情及限制請詳見滙豐銀行官網
    謹慎理財 信用至上
    信用消費及預借現金適用之循環信用利率:5.68%~15.00%,每筆預借現金手續費:新臺幣100元+預借現金金額x3.5%;其他費用請洽本行網站查詢/循環利率基準日為104年9月1日。
    特店分期付款手續費為0,總費率年百分率為0%;消費分期付款手續費為0,總費率年百分率為5.88%。

    (以上為滙豐銀行邀約分享撰文)

  • 研究假設範例 在 Facebook 的精選貼文

    2021-07-16 04:06:15
    有 104 人按讚

    🌸 #週五和菓子抽獎時間 🌸

    週五到了,和菓子抽獎時間又到囉❤️

    這次,和菓子要送親愛的幸福文化熱騰騰剛剛上市的日本聰明健康減重書:《醫生保證瘦的減醣料理:不用運動也能半年瘦11公斤》——趕快動動手指呼朋引伴分享好消息一起拿獎品唷!

    👉 👉 👉 抽獎前必看!參加和菓子抽獎活動的必中幸運小撇步:
    https://reurl.cc/Nrb215

    🎀 贈獎獎品 |醫生保證瘦的減醣料理:不用運動也能半年瘦11公斤
    🎀 贈獎名額 |共3名(臉書兩名,IG一名)
    🎀 贈獎辦法 |回答問題拿好禮
    🎀 贈獎期間 |截至2021/07/19(週一)台灣時間中午十二點前
    🎀 贈獎內容 |https://reurl.cc/KADRYj
    🎀 贈獎問題 |以標準格式「#日本零食和菓子 ❤️ ○○○○○」回答指定問題,留言告訴和菓子你想減重的原因,和菓子就要送給幸運兒禮物囉!

    🌸 和菓子中獎小技巧:
    和菓子IG : @jpfoods目前的中獎機率非常高,歡迎大家兩邊一起參與增加中獎機會哦:
    https://www.instagram.com/jpfoods/

    ⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯

    醫生保證瘦的減醣料理:不用運動也能半年瘦11公斤
    夫もやせた!糖質オフのダイエットおかず

    【親身實證】半年內減了11公斤,腰圍少了10.5CM
    保證最好吃、最容易做也最需要的99道限醣食譜
    不需要運動x不需要節食x一日三餐就能「瘦」
    針對低醣飲食,權威名醫告訴你重點原則

    本書特色

    1. 作者是專業美食作家,所以本書的減醣料理保證好吃、也非常容易製作
    2. 就算停止減醣後也不會復胖
    3. 專業醫師工藤孝文監修推薦
    4. 毫無難度、不會感到辛苦,可以吃飽又好吃的減醣瘦身餐
    5. 99道,有主菜、配菜、湯、沙拉,照著做方便又簡單


      #【婚後幸福肥,幫助老公半年瘦下11.2KG】
      美食部落客小喵與老公結婚7年,老公胖了11公斤!俗稱的「幸福肥」。故作者開始幫老公實行瘦身計畫大作戰,作法非常簡單,只是把一日三餐換成低醣減肥菜單而已,就能在半年內瘦下11.2KG。
      ◆體重(80kg→ 76kg)→2周減少4.2kg
      ◆體重(76kg→ 74kg)→1個月減少6.2kg
      ◆體重(74kg→ 72.3kg)→2個月減少7.9kg
      ◆體重(72.3kg→ 69kg)→6個月減少11.2kg
      ◆尿酸值檢查也正常了!
      ◆腰圍→縮小10.5cm

      #【減肥中也可以吃這些,老公最愛的20道BEST減醣料理】
      ─低醣卻又充滿飽足感的老婆愛心料理
      運用平常手邊使用的食材、調味料中選擇低醣的產品,在做菜的時候掌握住快速、簡單的主旨。不需要麻煩地計算含醣量,也不用另外做一份專門給老公吃的飯菜。成功的祕訣並不是「做出給減肥中人吃的飯菜」,而是幫他愛吃的菜色製造變化。
      ◎豬五花炒高麗菜:減肥期間也吃得心滿意足的回鍋肉!
      ◎鹽檸檬雞:明明很簡單,卻好吃到不行
      ◎微辣韭菜雞胸肉:一吃就令人上癮的停不下來
      ◎超好吃的肉蛋丸子:好吃又很適合帶便當

      #【工藤孝文醫生分享:這本低醣食譜可以有效瘦身而且不復胖】
      1.確實地攝取肉和魚、蛋,不用勉強自己餓肚子
      2.有助於控制血糖和中性脂肪
      3.不會減掉肌肉,所以能維持基礎代謝
      4.能讓皮膚及頭髮變得更漂亮

      #【毫無壓力的8個重點,可以輕鬆實行低醣料理】
      Point 1:不需要精密的計算,以手邊的食材做出快速、簡單、低醣餐!
      Point 2:將老公愛吃的菜換成低醣的食材
      Point 3:全家人吃一樣的東西
      Point 4:確實吃三餐,也可以喝酒,可以喝含醣量比較低的威士忌蘇打酒。
      Point 5:只需要運用調味料鎖定醣分比較少的品項
      Point 6:多多使用豆渣粉
      Point 7:以份量十足的外觀來提升飽足感
      Point 8:利用香料及風味蔬菜來製造畫龍點睛的效果
      
      #【加入豆渣粉也很好吃的料理,不僅好吃,還能有瘦身效果!】
      1豆渣粉含有豐富的膳食纖維
      含醣量極低(100g的含醣量約9g),富含膳食纖維,還有大量的蛋白質及胺基酸。
      2可以放進湯裡,也可以撒在沙拉上。不用加熱就可以直接吃
      豆渣粉幾乎沒味道,不用加熱就能吃,所以請先放在餐桌上,可以加在味噌湯等湯品裡,也可以撒在沙拉上或拌進優格來吃,很容易攝取。
      3具有吸收水分會膨脹的性質,最好與水分一起吸收
      豆渣粉能吸收4~5倍的水分,會在肚子裡膨脹,所以能夠得到飽足感,建議與大量的水分一起攝取。
      4吃習慣以後,可多多運用在餐點中
      也可以做成油炸的麵衣,或是加進漢堡肉裡,用來做菜。

      #【至關重要的第一週,7日「晚餐菜單」大公開!】
      第1天:第一天全都用老公愛吃的食材做成份量多一點的日式菜單
      範例:
      ․1人份減肥餐的晚餐組合
      1.用豆渣粉做炸雞╱含醣量6.3 g
      2.吻仔魚納豆加滿滿紫蘇葉的涼拌豆腐╱含醣量5.4 g
      3白菜蘿蔔味噌湯╱含醣量3.7 g
      4生菜沙拉╱含醣量3.4 g
      
      #【充滿飽足感的魚、蛋、豆皮、油豆腐配菜」】
      ․除了肉以外,也有其他低醣又有飽足感的食物!
      光吃肉還是會吃膩,所以也要多做一點肉以外的減醣菜單。話雖如此,又不想
      花太多時間精神,所以魚的話不妨利用切片的魚肉或罐頭。蛋及豆皮、油豆腐
      也是只要2~3個步驟就能輕鬆搞定的食材,又吃得飽,很受歡迎!
     
      #【不需要菜刀、砧板就能做的14道懶人瘦身餐】
      省略烹調的手續和洗碗盤的時間,輕鬆地減去醣分,使用絞肉或肉絲來做菜,不需要菜刀和砧板的食譜在部落格上也大受歡迎。疲憊的日子或忙碌的日子,或者是想偷懶一下的時候,都可以善用這些作法!
      ․用平底鍋簡單做的咖哩豬肉炒蛋
      ․鹽奶油豬肉菠菜,用奶油炒菠菜、豬肉,用鹽和胡椒簡單調味就好
      ․柚子胡椒美乃滋紫蘇夾肉,辣辣的很好吃
      
      #【含醣量低,可經常使用的食材清單】
      --食材的含醣量一覽表
      將經常出現且使用的食材,整理其含醣量表格。若想在作法上製造變化、用來代替其他食材時,可盡量採用含醣量比較低的食材!。

      #【瘦身實證--老公現身說法,減醣飲食需循序漸進】
      1.前兩周,兩周瘦下4公斤,開始減少吃飯的時期:早晚在家裡吃的飯為了減醣都拿掉白飯!中午可以吃「一點點飯」,以免給自己太大的壓力。點心可以是黑咖啡和優格。
      2.減肥2個月後,體重72.3公斤(比開始少了7.9公斤):士氣大振,開始不吃飯的時期。沒有帶便當的時候就去員工餐廳吃飯,不取飯,只吃肉、魚、蔬菜等配菜,不僅可以減醣,營養也夠均衡。開始感覺到不吃飯時身體感到比較舒服。不可或缺的點心也進化成「巧克力與堅果」。
      3.開始減肥6個月後,體重69.0公斤(比減肥前少了11.2公斤!)
      再次回到少吃飯的時期,由於進入了維持期,午餐又開始吃一點白飯,可是完全沒有復胖!


    老婆的「低醣減肥料理」讓我輕鬆瘦下11公斤!
    小喵獨創的低醣減肥菜單,夫妻倆都「毫無壓力!」的8大重點
    工藤孝文醫師推薦:為什麼「減醣」就能減肥?

    PART 1 最強減肥菜單 BEST20
    BEST 1豬五花高麗菜
    BEST 2雞胸肉排佐洋蔥醬
    BEST 3青椒炒肉絲
    BEST 4 柑橘醋雞肉披薩
    BEST 5微辣韭菜拌雞胸
    BEST 6蒜香鹽燒翅小腿
    BEST 7蒜香美乃滋雞胸
    BEST 8咖哩醬油炒豬五花肉
    BEST 9鹽檸檬雞
    BEST 10肉蛋丸子
    BEST 11咖哩起司雞
    BEST 12鹽起司韓國烤肉
    BEST 13芥末籽燒雞
    BEST 14麻辣蘿蔔燉肉
    BEST 15鹽焗叉燒
    BEST 16韭菜炒雞
    BEST 17柑橘醋蛋包菇菇豬
    BEST 18鹽煮蘿蔔雞
    BEST 19醬炒豬五花茄子
    BEST 20鹽燒雞佐秋葵醬

    PART 2 添加了豆渣粉的美味瘦身料理
    低醣減肥的祕密武器!豆渣粉的4大優勢
    多汁美味的經典漢堡排
    中式涼拌豬肉豆芽菜
    吃了不變胖的炸雞塊
    萵苣包鮮嫩雞胸肉
    檸檬奶油煎鮭魚
    鮮味青蔥拌小肉丸
    清爽的鹽味肉鬆
    馬克杯起司蛋捲
    南蠻風雞胸肉
    豬五花肉高麗菜蛋餅
    咖哩青花魚
    韭菜豆芽菜煎餅
    焗烤豆腐雞
    薑醋醬油炒雞肉
    肉丸佐美乃滋醬
    美乃滋墨魚炒豆苗
    高麗菜炒肉絲
    海苔拌豬肉杏鮑菇
    芝麻味噌烤蒟蒻

    PART 3 第一週是減醣生活成敗的關鍵
    小喵&老公的「第一週至關重要」的精神喊話
    第1天的三餐菜單
    第2天的三餐菜單
    第3天的三餐菜單
    第4天的三餐菜單
    第5天的三餐菜單
    第6天的三餐菜單
    第7天的三餐菜單
    老公的午餐&點心日記Part 1
    【COLUMN】經常使用的減醣食材清單!

    PART 4充滿飽足感的魚、蛋、豆腐配菜
    【魚】
    黑胡椒奶油鰤魚
    義式涼拌鮭魚
    夏威夷風酪梨鮪魚
    咖哩風味香煎鱈魚
    綠花椰菜煮青花魚
    美乃滋起司烤鮭魚

    【蛋】
    西班牙煎蛋捲
    豆腐吻仔魚蛋包
    越南風煎蛋
    日本油菜炒什錦

    【豆皮】
    起司蛋豆皮薄餅

    【油豆腐】
    鮪魚美乃滋油豆腐排
    鴻喜菇辣炒油豆腐
    起司焗油豆腐
    蔥花味噌油豆腐煎
    老公的午餐&點心日記Part 2

    PART 5 也能當成下酒菜的瘦身料理
    帆立貝炒高麗菜
    中華風涼拌青花魚
    滑蛋焗烤酪梨豆腐
    酪梨奶油起司淋醬
    蒜味章魚拌鮪魚
    蛋包豆苗雞湯
    胡椒蒜味毛豆拌黃豆
    鮪魚玉米烤豆皮披薩
    泡菜起司烤菇菇

    【納豆】
    芝麻蔥醬海帶芽納豆
    和風味油菜拌納豆
    納豆泡菜涼拌食蔬
    蘘荷蘿蔔泥拌納豆

    【豆腐】
    紫蘇納豆涼拌豆腐
    秋葵金針菇涼拌豆腐
    涮豬肉涼拌豆腐
    海苔小黃瓜涼拌豆腐
    鮪魚起司涼拌豆腐
    番茄橄欖油涼拌豆腐

    PART 6 不需要菜刀、砧板就能做的瘦身餐
    清炒豬肉水菜
    咖哩豬肉炒蛋
    奶油豬肉炒菠菜
    柚子胡椒美乃滋夾肉
    辣炒青椒豬五花肉
    紫蘇薑燒豬肉
    芝麻味噌拌豬肉
    柚子胡椒辣炒豆芽菜
    柴魚片炒高麗菜豬肉
    生薑炒豬肉韭菜冬粉
    胡椒檸檬沙拉雞
    芥末籽雞翅膀
    奶油檸檬翅小腿
    醋醬油炸雞翅

    PART 7 湯、沙拉,讓你飽足感滿滿
    【湯】
    大頭菜培根法式小鍋
    白菜蘿蔔味噌湯
    豆皮生薑味噌湯
    豆腐泡菜大蔥湯
    高麗菜蛋花湯
    羊栖菜中式蔥湯
    豬肉酸辣湯

    【沙拉】
    基本的沙拉
    韓式泡菜沙拉
    豆腐芝麻味噌沙拉
    起司蛋凱薩沙拉
    羊栖菜美乃滋沙拉

    作者簡介

    知名料理研究家、料理部落客 小喵 (おにゃ)

      1982年出生於埼玉縣,與丈夫、長女(6歲)、長男(1歲)一家四口住在埼玉。為了經常長吁短嘆「變胖,身體變重了」的丈夫,開始烹調低醣的菜單,半年內就讓丈夫成功地瘦超過10公斤。除了以「總之很簡單,不又會對家計造成負擔」的概念在部落格發表低醣食譜外,還提供短時間就能輕鬆搞定的配菜及下酒菜的作法,因為好做又好吃而大受歡迎。榮獲2016、2018年食譜部落格大賞「酒鬼愛吃的下酒菜」部門第一名。著有三本書。

      おにゃの旦那が喜ぶ簡単カフェ飯と楽ウマつまみ。ameblo.jp/onya20121217/

    監修者簡介

    〈日本知名減重名醫〉工藤孝文

      減重門診、糖尿病內科醫師。畢業於福岡大學醫學系,畢業後前往愛爾蘭、澳洲留學。返回日本後曾任職於大學醫院與地方醫院,現於福岡縣三山市的工藤內科診所經營地區醫療。為糖尿病、肥胖治療、東洋醫學、漢方治療等專家,在NHK《老師沒教的事》、《朝一》、日本電視台《世界上最想上的課》、TBS《名醫掛保證》、富士電視台《真的假的!?TV》等節目上擔任肥胖治療評論家、漢方治療評論家。

      其中作者登上NHK《老師沒教的事》的集數榮獲2018年收視率第一名。為日本內科學會、日本東洋醫學會、日本肥滿學會、日本糖尿病學會、日本高血壓學會、日本抗加齡醫學會、日本女性醫學會、兒童慢性疾病指定醫師。目前在台灣已出版的著作有《綠茶咖啡減重法》、《醫師認證最強漢方藥》、《改變人生!豆渣優格瘦身法》等。

      雖然身為代謝減重的專門醫生,卻曾因為工作壓力關係,胖到92公斤,各項健康指數都亮起紅燈。工藤醫師自己親身減重25公斤,著有《專減內臟脂肪的低醣瘦肚湯》-幸福文化、《綠茶咖啡減重法》等書。

    譯者簡介

    賴惠鈴

      不想每天在固定的時間去固定的地方做固定的工作,因緣際會下成為全職的日文譯者。譯有《我們用「假設」創造世界》、譯有《東京麵包極選之味》、《下半身一次瘦到位》、《一流男人就該沒肚子》、《腰痛自癒:30秒驚人跪坐法》等作品。

    專業推薦 (按姓氏筆畫排列)
    懶惰姐減醣碎念人生
    國際認證運動營養專家、減重醫師 / 蕭捷健
    酮好社團創辦人 / 撒景賢
    同心醫療體系營養師 / 楊斯涵
    Yolanda Chang圈媽烹飪筆記 / 張晴琳(圈媽)
    減醣生活料理家 / 花花老師
    薇薇安減醣好生活版主、瘦身達人 / Vivian邱玟心
    宅宅太太的日常 減醣料理作家 / 小魚媽

    ⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
    趕快回答問題把《醫生保證瘦的減醣料理:不用運動也能半年瘦11公斤》幸運帶回家❤️

    🌸幸福文化臉書:
    幸福文化

    🌸獲獎名單將在週一台灣時間中午十二點留言截止後公佈,獲獎者請於指定時間內以指定方式聯繫,逾期未收到中獎人完整收件資料者視同放棄中獎資格,抑不得補贈且不另行通知。

    馬上呼朋引伴加入《和菓子の日本零食與可愛小物》社團還有IG:jpfoods接收更多美食與贈獎活動訊息,祝福親愛的一定要幸運中獎!

    和菓子聯合主辦的贈獎說明、活動時間與注意事項:
    https://sweet-cute.com/gossip/8249的

  • 研究假設範例 在 Taipei Ethereum Meetup Facebook 的精選貼文

    2021-06-29 02:57:14
    有 9 人按讚

    📜 [專欄新文章] [zkp 讀書會] Cairo 語言介紹

    ✍️ NIC Lin

    📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium

    Cairo 是 STARK 證明系統的其中一個編程語言,讓開發者能透過 Cairo 來使用 STARK,撰寫效能更高的 Dapp

    Photo by Simon Berger on Unsplash

    Warning:本篇會保持在 high level 的介紹,實際深入的部分請見文內附上的文檔或是官方開發者文件

    背景介紹

    建構於密碼學的零知識證明能提供計算的隱私性,但同時在區塊鏈生態系也被用來提升 Scalability — 我可以用 10 秒的運算資源來驗證原本耗費 1000 秒運算資源的計算過程

    如同更多人熟悉的 SNARK,STARK 也是一個零知識證明的證明系統,但當前的 STARK 著重的是在 Scalability ,而非大家比較習以為常零知識證明提供的隱私性特質

    其實目前基於 SNARK 的 Rollup 項目,例如 zkSync、Loopring、Aztec、zkopru,除了 Aztec 外,其他都是利用 SNARK 來增加 Scalability — 這些 Rollup 上資料都還是公開、沒有隱私性的

    StarkWare 是目前唯一基於 STARK 的開發團隊

    STARK 要加上隱私保護不會太難,只是 StarkWare 還沒有把這項功能放在未來規劃中

    Cairo 簡介

    標榜為圖靈完備的零知識證明系統語言,Cairo 對原本熟悉 Solidity 的開發者來說還是會感到比較難上手和陌生的。再加上套件庫還不夠充足,目前支援的雜湊函式是 Pedersen,數位簽章演算法是 ECDSA(相對於 SNARK,EdDSA 的效能反而比較差所以沒有支援)。
    但 Cairo 還在早期開發的階段,相信開發體驗會越來越好的。

    另外需要注意的是作為一個證明系統,會有 Prover 和 Verifier 的角色。而 STARK 的 Verifier 是公開的,但 Prover 軟體預計會有 License 保護。Prover 一般情況下不得用於商業用途,除非將 proof 上傳至官方的 Verifier。

    最後要提及的是,第一版的 Cairo 是設計來方便開發者將 Dapp 的運算遷移至鏈下。不同於 Rollup,這個鏈下只會有它自己一個 Dapp。這個 Dapp 的項目方自己維護自己 Dapp 的 state。( Rollup 則是 operator 維護所有 Dapp 的 state,Dapp 開發者不需自己操煩)
    這可能有點難懂。如果你有在寫 Solidity,想像一下今天你在合約要用到合約裡宣告的 storage 變數時,你要自己提供 merkle proof 上來,證明這個storage 變數真的是這個值。這個就是開發者要自己維護 state 的意思。

    而第二版的 Cairo 則是 StarkNet 裡使用的 Cairo(第一和第二版是不同編譯器),這版的 Cairo 就是作為 Dapp 在 Rollup 開發所使用 — 開發者可以在合約裡宣告變數,變數的值不需開發者維護,可以直接假設存在。
    註1:StarkWare 不喜歡 Rollup 這個詞,他們覺得 Data Availability 的需求是一段光譜:不一定得要把 data 全都送上 L1,中間有其他方式可以做不同層級的 Data Availability。
    註2:第一版和第二版實際上在官方版本裡是 0.0.1 及 0.0.2,在撰文當前最新版即是 0.0.2

    官方網站:https://www.cairo-lang.org
    開發者文件:https://www.cairo-lang.org/docs/

    開發環境

    Cairo 有提供像是 Remix 的瀏覽器 IDE:playground。裡面提供各種範例練習和挑戰,除了可以編譯,還可以直接生成並上傳 proof。
    註:但有些功能還是沒辦法在 playground 裡使用,例如要給你的程式 custom input 時。這時候只能在本地端開發才能使用這個功能。

    開發 Cairo 要先安裝python,我將開發者文件整理出來的資料統整在這個 hackmd 文檔裡:https://hackmd.io/w690dpAQTsKeKZv3oikzTQ
    裡面包含簡介、設置本地開發環境以及 Cairo 基礎(因為篇幅原因,所以不將內容複製到這裡)
    註:我把開發者文件裡的代碼整理到這裡:https://github.com/NIC619/cairo_practice/tree/master/practices
    如果不想在研究開發者文件過程中,還要自己手動拼湊裡面例子的話,可以直接用整理好的代碼來執行。同時 repo 裡還有包含一些額外自己測試 Cairo 功能的範例。

    深入 Cairo

    在那份 hackmd 文檔裡的開頭,可以連結到第二部分 — 深入 Cairo 的部分。裡面也是從開發者文件裡擷取出來我覺得比較重要的部分。如果你要讀開發者文件的話,我建議從 Hello Cairo 開始,它會從例子切入,會比較好知道 Cairo 怎麼使用。接著如果要更深入了解,再去讀 How Cairo Works。

    StarkNet Cairo

    第二版的 Cairo 其實功能和第一版的 Cairo 是差不多的,所以不必擔心在開發者文件裡學到的 Cairo 在 StarkNet 版本會不能用或差很多。在讀完 Hello Cairo/How Cairo works 後,就可以接著看 Hello StarkNet。會很順利的切換到 StarkNet 版本的 Cairo。
    註1:我整理的文檔裡是按照第一版 Cairo 所寫的
    註2:如果你從開發者文件一路看下來,體驗過非 StarkNet 版的 Cairo,那你在體驗 StarkNet 版的 Cairo 時一定會發現這更像一般智能合約的使用方式 — 你可以用 view 函式查詢 storage 變數,可以用 external 函式去執行合約(非 StarkNet 版本不是這樣操作 Dapp 的,這邊因為篇幅原因沒有詳細介紹)。

    非常建議嘗試兩種版本的 Cairo,你會知道 1. 操作一個單獨在 L2 的 Dapp 和2. 操作與其他 Dapp 共存在 Rollup 上的 Dapp 的不同。這對了解 L2 怎麼運行、需要哪些資料、為什麼需要這些資料非常有幫助。

    0.0.2 版的 StarkNet Cairo 目前還缺少一些功能:

    函式還沒辦法宣告陣列或 struct 型態的參數

    合約和合約之間還沒辦法互動

    L1 沒有辦法讀取到 L2 的資料,L2 也沒辦法讀取到 L1 的資料。如果要建立跨 L2 Bridge,這個功能非常重要。

    補充及個人心得

    STARK 的 proof size 相比於 SNARK 系列的 proof size 大很多,又其證明所包含的交易數量對 proof size 和驗證時間的影響不大,所以把很多筆交易一併做一個 proof 會是對 STARK 非常有利、節省成本的方式(SNARK、STARK 比較表)。但這同時也是一個缺點,如果你的 Dapp 或 Rollup 的 TPS 不高,那就只能等更久時間搜集多一點的交易,要不然就只能提高成本來維持驗證 proof 的頻率。

    StarkWare和 zkSync 一樣都有 Rollup 宇宙的概念( Rollup 宇宙的用詞並不精確,因為在他們的宇宙中不會所有子鏈都是 Rollup,而是會有依照 Data Availability 程度不同所區分的子鏈,像是 Validium、zk Porter 的設計),個人覺得能夠有(針對 Data Availability 程度的)選擇是會比只有一個選擇(完全 Data Available) 還好的方式,但實際上的可行性就要等其團隊釋出更多的資訊。

    在 Rollup 越趨成熟的情況下,能夠提供快速跨 Rollup 服務的流動性提供者的角色會越來越重要。zk Rollup(StarkNet、zkSync、etc…)比 Optimistic Rollup (Optimism、Arbitrum、etc…)有著短上許多的 finalize 時間,這對降低流動性提供者的風險有很大的幫助,但目前 zk Rollup 支援合約功能甚至 L1 <-> L2 互動的完成度都比 Optimistic Rollup 還低上許多。短期內快速跨 Rollup 的服務應該還是侷限在 Optimitic Rollup 之間。

    abbrev

    [zkp 讀書會] Cairo 語言介紹 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.

    👏 歡迎轉載分享鼓掌