เรียนรู้เกี่ยวกับความปลอดภัยน้องใหม่ Forta Network ที่นำโดย A16z ในบทความนี้

ชื่อระดับแรก

สรุปการลงทุน

สรุปการลงทุน

ตั้งแต่ปี 2009 ถึง 2022 ในช่วง 13 ปีของการพัฒนาอย่างรวดเร็วของบล็อกเชน เหตุการณ์การสูญเสียทางการเงินจำนวนมากเกิดขึ้นในอุตสาหกรรมบล็อกเชนเนื่องจากการโจมตีของแฮ็กเกอร์ ช่องโหว่ของโปรโตคอล การรั่วไหลของคีย์ส่วนตัว และอาชญากรรมภายใน การขาดทุนในปี 2563 จะเกิน 510 ล้านดอลลาร์สหรัฐ และการขาดทุนในช่วง 4 เดือนแรกของปี 2565 เพียงอย่างเดียวจะเกินผลรวมของปี 2564 และ 2563 ด้วยการพัฒนาของอุตสาหกรรมวิธีการโจมตีต่าง ๆ เกิดขึ้นในกระแสที่ไม่มีที่สิ้นสุด หากโครงการ Web3 ต้องการพัฒนาจากพันล้านดอลลาร์ในปัจจุบันไปสู่ล้านล้านดอลลาร์ในอนาคตปัญหาด้านความปลอดภัยไม่สามารถละเลยได้ มาตรฐานความปลอดภัย นอกเหนือไปจากการตรวจสอบตามปกติในปัจจุบันและการแก้ไขบั๊กแล้ว อุตสาหกรรมทั้งหมดจำเป็นต้องสร้างชุดโซลูชันที่สมบูรณ์ตั้งแต่การรับรู้ไปจนถึงการปฏิบัติ

ในขณะที่การพัฒนาสัญญาอัจฉริยะและแนวปฏิบัติด้านความปลอดภัยมีการเปลี่ยนแปลงอย่างมากตั้งแต่เปิดตัว Ethereum mainnet ในปี 2558 การตรวจสอบสัญญาอัจฉริยะและฐานรหัสที่ใช้ซ้ำได้ได้กลายเป็นแนวทางปฏิบัติมาตรฐาน แม้ว่าการตรวจสอบ ที่เก็บโค้ด และเทคนิคอื่นๆ จะมีประโยชน์ในการระบุหรือป้องกันจุดบกพร่องและช่องโหว่ในโค้ด ประสิทธิภาพของมันก็มีจำกัด เมื่อมีการปรับใช้สัญญาอัจฉริยะบนบล็อกเชน โปรไฟล์ความเสี่ยงจะเปลี่ยนไป วิธีจัดการสัญญา วิธีโต้ตอบกับสัญญาอื่นๆ และวิธีตอบสนองต่อเหตุการณ์ในตลาดที่ไม่คาดคิด ล้วนเพิ่มความไม่แน่นอนเพิ่มเติม กล่าวอีกนัยหนึ่ง: โค้ดสามารถทำงานได้ แต่สัญญาอัจฉริยะยังคงประสบปัญหาได้ และการรักษาความปลอดภัยสัญญาอัจฉริยะต้องใช้ความพยายามอย่างต่อเนื่อง

ภายใต้สถานการณ์ปกติ นักพัฒนามักจะพบช่องโหว่เชิงตรรกะบางอย่างเมื่อพวกเขาได้รับคำติชมจากผู้ใช้เมื่อโปรแกรมกำลังทำงาน ซึ่งหมายความว่าจะพบช่องโหว่จำนวนมากได้หลังจากการปรับใช้เท่านั้น และการใช้ประโยชน์จากช่องโหว่มักต้องใช้ธุรกรรมที่ผิดปกติหลายรายการจึงจะเสร็จสมบูรณ์ ระบบตรวจสอบสามารถส่งการแจ้งเตือนเมื่อการทำธุรกรรมครั้งแรกหรือครั้งที่สองในชุดของธุรกรรมที่ผิดปกติเพิ่งเสร็จสิ้น ซึ่งจะช่วยประหยัดการสูญเสียจำนวนมากสำหรับโครงการและช่วยทีมแก้ไขช่องโหว่ ระบบตรวจสอบจึงมีความสำคัญในโลกของ Web3ในปัจจุบัน โซลูชันการตรวจสอบส่วนใหญ่ใช้ระบบแบบรวมศูนย์ ข้อเสีย ของระบบตรวจสอบแบบรวมศูนย์คือไม่สามารถครอบคลุมสัญญาอัจฉริยะที่เพิ่งปรับใช้ด้วยความเร็วที่เพียงพอ เมื่อโครงการโอเพ่นซอร์สแบบกระจายศูนย์ถึงขนาดที่กำหนด โมเมนตัมการพัฒนาจะรวดเร็วเกินไป และโซลูชันการตรวจสอบแบบรวมศูนย์สามารถครอบคลุมส่วนเล็กๆ ได้ในเวลาอันสั้นเท่านั้น เพื่อแก้ปัญหานี้ Forta เลือกใช้ระบบตรวจสอบสิ่งจูงใจแบบกระจายอำนาจ

เพื่อให้แน่ใจว่าการติดตั้งใช้งานอย่างมีประสิทธิภาพของการตรวจสอบสัญญาอัจฉริยะ เพื่อให้แน่ใจว่าสามารถตรวจสอบสัญญาอัจฉริยะได้อย่างสมบูรณ์ในครั้งแรก

1. ปัจจุบัน Forta ได้ผ่านขั้นตอน testnet และเปิดตัวอย่างเป็นทางการ สภาพโดยรวมดี ในระหว่างขั้นตอน testnet การโจมตีของ oracle ที่ควบคุมราคาของ InverseFinance ได้รับการตรวจสอบและออกคำเตือนทันเวลา แต่โครงการยังคงต้องให้ความสนใจกับสิ่งต่อไปนี้:

2. ปัจจุบันมีเทมเพลตสำหรับหุ่นยนต์ตรวจสอบอยู่ไม่กี่แบบ แม้ว่าจะมีการเตือนล่วงหน้าสำหรับการโจมตีของ InverseFinance เทมเพลตคำเตือนไม่ใช่คำเตือนการเปลี่ยนแปลงราคาของสกุลเงิน แต่เป็นคำเตือนถึงการโอน eth จำนวนมาก ซึ่งเป็นเรื่องง่ายสำหรับนักพัฒนาที่จะเพิกเฉยต่อคำเตือน .

3. แม้ว่ารางวัลประจำสัปดาห์ทั้งหมดของโทเค็น $FORT จะได้รับการแก้ไขแล้ว แต่ทีมงานยังคงแจกจ่ายส่วนแบ่งรางวัลการตรวจสอบของเชนต่างๆ

4. ชื่อเรื่องรอง

1. ภาพรวมพื้นฐาน

1.1 แนะนำโครงการ

1.1 แนะนำโครงการ

Forta Network เป็นระบบรักษาความปลอดภัยและตรวจสอบตามเวลาจริงแบบกระจายศูนย์ เหมาะสำหรับการตรวจสอบภัยคุกคามและความผิดปกติบน DeFi, NFT, การกำกับดูแล, สะพานข้ามเชน และระบบ Web3 อื่นๆ บนเชน โดยให้ข้อมูลเกี่ยวกับความปลอดภัยและความเสถียรของระบบแก่ผู้ใช้อย่างทันท่วงที และข้อมูลที่เป็นประโยชน์ช่วยให้เจ้าของสัญญาสามารถใช้มาตรการป้องกันและแก้ไขได้อย่างทันท่วงทีเพื่อลดการสูญเสียให้เหลือน้อยที่สุดเครือข่าย Forta ใช้รูปแบบสิ่งจูงใจแบบกระจายอำนาจที่ไม่ได้รับอนุญาต

. ใช้สิ่งจูงใจโทเค็น $FORT เพื่อดึงดูดซัพพลายเออร์โหนดและผู้พัฒนาหุ่นยนต์ตรวจสอบให้เข้าร่วมเครือข่าย และสร้างระบบตรวจสอบที่ทันเวลา สมบูรณ์ ใช้งานง่าย และครอบคลุมกว้างบนพื้นฐานนี้ ด้วยเทมเพลตโรบ็อตการตรวจสอบที่มีอยู่ นักพัฒนาสัญญาสามารถตรวจสอบข้อยกเว้นของสัญญาได้อย่างง่ายดายในลักษณะที่ไม่ต้องใช้โค้ด หรือใช้ forta-sdk เพื่อเขียนโรบ็อตตรวจสอบเพื่อทำการตรวจสอบแบบกำหนดเอง Forta Network ยังรองรับวิธีการแจ้งเตือนเว็บฮุค ซึ่งผู้พัฒนาสัญญาสามารถใช้สำหรับการป้องกันสิ่งผิดปกติโดยอัตโนมัติคุณสมบัติที่โดดเด่นที่สุดของ Forta Network คือการตรวจสอบสัญญาการทำให้เป็นโมดูล, การทำให้เป็นมาตรฐาน, ไม่มีรหัส

2. รายละเอียดโครงการ

1.2 ข้อมูลพื้นฐาน

2. รายละเอียดโครงการ

ชื่อเรื่องรอง

2.1 ทีมForta Network ได้รับการพัฒนาและแนะนำให้รู้จักกับชุมชนโดยทีมงานนวัตกรรมและสหวิทยาการของบุคคลภายในทีม OpenZeppelin โครงการ Forta ยังไม่ได้เปิดเผยมากนักเกี่ยวกับองค์ประกอบของทีมในปัจจุบัน แต่ตัดสินจากการส่งโครงการหลักของ Forta ทั้ง forta-core-go และ forta-node บน GitHub ผู้ส่งโค้ดส่วนใหญ่เป็นขององค์กร OpenZeppelin หรือส่ง OpenZeppelin- รหัสที่เกี่ยวข้องเป็นที่เข้าใจได้ว่า Forta เป็นทีมรองในบริษัท OpenZeppelin และบุคลากรทุกคนทำงานให้กับ OpenZeppelin จริงๆ

. ข้อมูลสาธารณะที่สามารถพบได้คือ: Jonathan Alexander, CTO ของ OpenZeppelin เป็นผู้ร่วมก่อตั้ง Forta

OpenZeppelin ได้สร้างไลบรารีโค้ดสัญญาที่ใช้กันอย่างแพร่หลายใน Ethereum evm โทเค็น erc-20, erc-721, erc-1155 ที่มีอยู่ส่วนใหญ่ใช้ผลิตภัณฑ์ของ OpenZeppelin สำหรับการสร้างแบบไม่มีโค้ดหรือโค้ดน้อย OpenZeppelin ยังมีความร่วมมือเชิงลึกกับโครงการหรือบริษัทที่มีชื่อเสียง เช่น AAVE, Ethereum Foundation, Coinbase และ The Graph

Jonathan Alexander, CTO ของ OpenZeppelin และผู้ร่วมก่อตั้ง Forta Network จบการศึกษาจาก UCLA ในปี 1984 ดำรงตำแหน่ง CTO ของ Vonage (ผู้ให้บริการโทรศัพท์บรอดแบนด์รายใหญ่ที่สุดในสหรัฐอเมริกา) ตั้งแต่เดือนเมษายน 2010 ถึงมีนาคม 2016 รับผิดชอบสถาปัตยกรรมของแพลตฟอร์มการสื่อสารบนคลาวด์ของ Vonage ตั้งแต่เดือนมีนาคม 2016 ถึงมีนาคม 2020 เขาดำรงตำแหน่ง CTO ของ QASymphony / Tricentis (ทั้งสองบริษัทควบรวมกันในปี 2018 ซึ่งเป็นบริษัททดสอบซอฟต์แวร์) และเข้าร่วม OpenZeppelin ในตำแหน่ง CTO ในเดือนเมษายน 2020จากประวัติย่อของ Jonathan Alexander จะเห็นได้ว่าผู้ก่อตั้งมีประสบการณ์มากมายในการจัดการซอฟต์แวร์และการสร้างแพลตฟอร์มเทคโนโลยีทักษะสายอาชีพค่อนข้างสอดคล้องกับการวางตำแหน่งผลิตภัณฑ์ทางเทคนิคของ Forta

Forta ได้รับการสนับสนุนจากบริษัทที่มีชื่อเสียงอย่าง OpenZeppelin ประกอบกับประสิทธิภาพที่ดีในการจัดหาเงินทุนรอบเมล็ดพันธุ์ ทำให้ได้รับความนิยมในโลก Web3 แล้ว ในฐานะผู้สร้างรหัสมาตรฐานและบริษัทตรวจสอบบน Ethereum ระดับการพัฒนาของ OpenZeppelin นั้นไร้ข้อกังขา ฉันเชื่อว่า Forta จะทำให้ผู้ใช้ได้รับประสบการณ์ที่ดีขึ้นในอนาคต

2.2 สถานการณ์ทางการเงิน

ชื่อเรื่องรอง

2.3 รหัสและเครื่องมือในการพัฒนา

ผู้ร่วมเขียนโค้ดของ Forta ส่วนใหญ่ใน GitHub เป็นสมาชิกของทีม OpenZeppelin เมื่อพิจารณาจากคุณภาพของโครงการโอเพ่นซอร์สของ OpenZeppelin แล้ว การคัดกรองนักพัฒนาของทีมค่อนข้างเข้มงวด

โปรเจ็กต์ forta-node เป็นซอฟต์แวร์ที่ดำเนินการโดยผู้ให้บริการโหนดเครือข่าย Forta ทีมงานจำเป็นต้องคอมไพล์ล่วงหน้าและสร้างอิมเมจนักเทียบท่าเพื่อเรียกใช้โดยตรงบนเซิร์ฟเวอร์ของผู้ให้บริการ โค้ดไม่ได้แสดงต่อผู้ใช้โดยตรง การทดสอบหน่วยของโครงการค่อนข้างสมบูรณ์ และยังมีการทดสอบประสิทธิภาพเพื่อป้องกันทรัพยากรเซิร์ฟเวอร์ไม่เพียงพอหรือการใช้หน่วยความจำมากเกินไป อย่างไรก็ตาม ยังมีปัญหาหลายอย่างที่ถูกระบุว่าเป็นบั๊กภายใต้โปรเจกต์นี้ที่ยังไม่ถูกปิด ซึ่งรวมถึงปัญหาที่การอัปเดตอัตโนมัติของเวอร์ชัน v0.5.1 เมื่อวันที่ 20 กรกฎาคมไม่มีผล นอกจากนี้ยังมีอีกหลายประเด็นที่ทำเครื่องหมายว่าล้าสมัยบนกระดานสิ่งที่ต้องทำแต่ไม่ได้ปิดอยู่ในปัญหา ซึ่งสะท้อนถึงปัญหาที่ทีมขนาดเล็กไม่เข้มงวดเพียงพอในการจัดการโครงการ

กล่าวโดยทั่วไปแล้ว OpenZeppelin ซึ่งเป็นผู้ให้บริการไลบรารีรหัสโอเพ่นซอร์สรายใหญ่ที่สุดบน evm อาจกล่าวได้ว่ามีคุณภาพการพัฒนาโดยรวมที่ยอดเยี่ยม และการรับประกันที่เพียงพอสำหรับความคืบหน้าในการพัฒนาและความพร้อมใช้งานของโครงการ สิ่งที่เห็นได้ชัดคือการจัดการโครงการภายในไม่เข้มงวดนัก แต่ก็ไม่ส่งผลกระทบต่อคุณภาพโครงการโดยรวม

ชื่อเรื่องรอง

มีสองโมดูลและสามบทบาทใน Forta Network เพื่อรักษาการทำงานของเครือข่าย เพื่อให้เข้าใจถึงวิธีการทำงานของเครือข่ายทั้งหมด เราจำเป็นต้องเข้าใจโมดูลทั้งสองนี้และสามบทบาทนี้

ข้อความ

2.4.1 สองโมดูล

Forta Network มีสองโมดูล: หุ่นยนต์เตือนภัยและโหนดการสแกนหุ่นยนต์แจ้งเตือน: หุ่นยนต์แจ้งเตือนเป็นส่วนของตรรกะ (สคริปต์) ที่ใช้เพื่อค้นหาลักษณะการทำธุรกรรมบางอย่างหรือการเปลี่ยนแปลงสถานะของสัญญาอัจฉริยะ (เช่น การตรวจจับความผิดปกติ) ในห่วงโซ่ที่รองรับ ซึ่งสามารถเข้าใจได้ว่าเป็นกล้องรักษาความปลอดภัยตรวจสอบ blockchain

เนื่องจากนักพัฒนาสามารถตั้งโปรแกรมและระบุเนื้อหาที่ตรงตามเงื่อนไขสำหรับการตรวจสอบ ตัวอย่างเช่น พฤติกรรมของการเปลี่ยนแปลงการกำกับดูแลของสัญญา การเปลี่ยนการตั้งค่าคีย์ของสัญญา การเรียกใช้เมธอดของส่วนต่อประสานสัญญามีพฤติกรรมการทำงานที่ผิดปกติ เป็นต้น นอกจากนี้ยังสามารถตรวจสอบสถานะบางอย่างบนห่วงโซ่ได้ เช่น การตรวจสอบการเปลี่ยนแปลงราคาของโทเค็นบางอย่างในออราเคิลราคา การตรวจสอบปริมาณธุรกรรมที่ผิดปกติของโทเค็นบางอย่าง และการตรวจสอบการลดลง/เพิ่มขึ้นอย่างมากของยอดเงินในบัญชีทั้งหมดใน เครือข่ายทั้งหมด นักพัฒนาบอทสามารถใช้โมเดลการเรียนรู้ของเครื่องในบอทแจ้งเตือน โดยใช้การเรียนรู้ของเครื่องเพื่อทำนายพฤติกรรมของผู้โจมตีและหยุดผู้โจมตีก่อนที่จะเริ่ม ด้วยความพยายามของนักพัฒนา Forta จึงไม่มีการใช้โค้ดใดๆ ในการเขียน Alarm Robot คุณไม่จำเป็นต้องมีพื้นฐานการเขียนโปรแกรมใดๆ เพื่อตั้งเงื่อนไขการตรวจสอบสำหรับสัญญาส่วนใหญ่ เพื่อให้คนทั่วไปสามารถดำเนินการตามวัตถุประสงค์การตรวจสอบได้อย่างง่ายดายScanning node: ทำหน้าที่สแกนข้อมูลธุรกรรมทั้งหมดในแต่ละบล็อกของ chain ที่กำหนด ซึ่งถือได้ว่าเป็นตัวละครของ เมื่อหุ่นยนต์เตือนภัยในโหนดสแกนตรงกับเงื่อนไขหรือเหตุการณ์เฉพาะในข้อมูล สัญญาณเตือนจะถูกส่งไปยังเครือข่าย ซึ่งจะถูกจัดเก็บไว้ใน IPFS และทุกคนสามารถสมัครรับการแจ้งเตือนที่เกี่ยวข้องผ่าน Forta Explorer หรือ API

ข้อความ

2.4.2 สามบทบาท

มีสามบทบาทใน Forta Network: Alert Subscriber, Alert Bot Developer และ Scan Node Operator

ผู้ติดตามการแจ้งเตือน: ทุกคนสามารถใช้ Forta เพื่อตรวจสอบกิจกรรมการทำธุรกรรมและรับการแจ้งเตือนเกี่ยวกับความปลอดภัย การเงิน การดำเนินงาน และเหตุการณ์ที่เกี่ยวข้องกับการกำกับดูแลในห่วงโซ่ที่กำหนด บอทแจ้งเตือนสาธารณะที่มักจะเผยแพร่บน Forta Network เป็นโอเพ่นซอร์ส และทุกคนสามารถสมัครรับบอทเหล่านี้ได้อย่างอิสระเพื่อรับการแจ้งเตือน วิธีการกดปลุกรองรับอีเมล, การพุชข้อความ Slack, การพุชเว็บฮุค Discord, การพุชหุ่นยนต์ Telegram และการพุชเว็บฮุคแบบกำหนดเอง สมาชิกสามารถใช้วิธีการเว็บฮุคที่กำหนดเองเพื่อใช้มาตรการป้องกันสัญญาโดยอัตโนมัติเมื่อสัญญาณเตือนภัยถูกกระตุ้นเพื่อป้องกันความสูญเสีย สมมติว่าสมาชิกจำเป็นต้องซ่อนนโยบายหุ่นยนต์เตือนภัยเพื่อป้องกันไม่ให้ผู้โจมตีรบกวนการทำงานปกติของโครงการโดยการเปิดใช้มาตรการป้องกันอัตโนมัติอย่างมุ่งร้ายหลังจากอ่านรหัสหุ่นยนต์เตือนภัย จากนั้นสามารถสร้างเครือข่ายส่วนตัวและหุ่นยนต์สามารถใช้งานในส่วนตัวได้ เครือข่าย เครือข่ายนี้เป็นอิสระอย่างสมบูรณ์จากเครือข่ายหลักของ Forta และไม่มีส่วนร่วมในการแจกจ่ายหุ่นยนต์เตือนภัยสาธารณะ

ผู้พัฒนา Alert Bot: ผู้พัฒนาทุกคนสามารถเขียนและเดิมพันส่วนหนึ่งของ $FORT บน Forta Network เพื่อปล่อยหุ่นยนต์แจ้งเตือน เนื่องจากการตรวจจับสถานะพื้นฐานในห่วงโซ่มีไม่มากนัก หุ่นยนต์ตรวจจับพื้นฐานสาธารณะในยุคแรกๆ จึงออกโดยมูลนิธิ Forta เพื่อให้รางวัลแก่นักพัฒนาที่เขียนหุ่นยนต์พื้นฐานสำหรับเครือข่าย Forta เมื่อเวลาผ่านไป เทมเพลต Robot พื้นฐานบนเครือข่ายจะค่อยๆ ดีขึ้น หลังจากนั้น หุ่นยนต์เตือนภัยบนเครือข่ายโดยพื้นฐานจะเป็นโปรโตคอล DAO หรือองค์กรที่มีข้อกำหนดในการตรวจจับเฉพาะ เพื่อป้องกันไม่ให้นักพัฒนาเขียนโรบ็อตที่เป็นอันตรายเพื่อส่งสแปมผ่านการสมัครรับอีเมลหรือใช้ทรัพยากรโหนด Forta Network ในทางที่ผิด นักพัฒนาจำเป็นต้องให้คำมั่นสัญญาอย่างน้อย 100$FORT เมื่อเริ่มต้นหุ่นยนต์

ตั้งแต่ Forta เริ่มใช้งานจริงในเดือนกันยายน 2021 ชุมชนได้ติดตั้งหุ่นยนต์ตรวจจับมากกว่า 650 ตัว และโหนดสแกน 2,000 ตัวเข้าร่วมในเครือข่าย สแกน Dapps อย่างต่อเนื่องใน 7 สาย (รวมถึง Layer1 และ Layer2) ในเดือนสิงหาคม 2022 ชุมชนได้ใช้งานหุ่นยนต์ตรวจจับมากกว่า 1,200 ตัว และมีโหนดสแกนมากกว่า 9,000 ตัวที่เข้าร่วมในเครือข่าย ซึ่งแสดงให้เห็นถึงการเติบโตที่แข็งแกร่ง

ชื่อเรื่องรอง

2.5 กลไกการทำงานและเศรษฐศาสตร์โทเค็น

1. เราจะอธิบายอย่างละเอียดเกี่ยวกับเวิร์กโฟลว์ทั้งหมดและเศรษฐศาสตร์โทเค็นจากมุมมองของหุ่นยนต์เตือนภัย:

2. ก่อนที่หุ่นยนต์เตือนภัยจะถูกปล่อยออกมา จะมีชุดของโหนดการสแกนบนเครือข่าย Forta และโหนดเหล่านี้จะทำหน้าที่ควบคุมการทำงานของหุ่นยนต์เตือนภัย การสร้างโหนดเหล่านี้ต้องการเงินเดิมพันอย่างน้อย 500$FORT (ซึ่งจะกลายเป็นอย่างน้อย 2,500$FORT หลังจากวันที่ 30 กันยายน 2022)

3. ผู้พัฒนาหุ่นยนต์จะให้คำมั่นสัญญา 100$FORT เพื่อปล่อยหุ่นยนต์เตือนภัย หลังจากปล่อย Alarm Robot แล้ว เครือข่ายจะบรรจุหุ่นยนต์ลงในอิมเมจ Docker และส่งไปยังโหนดคุณภาพสูงอย่างน้อย 1 โหนดในเครือข่าย โหนดคุณภาพสูงจะถูกตัดสินตามคะแนน SLA ของโหนด โดยทั่วไปเมื่อ คะแนน SLA สูงกว่า 0.9 สามารถตัดสินได้ว่าเป็นโหนดคุณภาพสูง (คะแนน SLA คือค่าต่ำสุดระหว่างค่าเฉลี่ยถ่วงน้ำหนักของคะแนนทรัพยากร คะแนนคุณภาพข้อมูล และคะแนนเวลาทำงาน)

4. หุ่นยนต์เตือนภัยจะตรวจสอบข้อมูลของแต่ละบล็อกบนเชนที่ลงทะเบียนโดยโหนดการสแกน เมื่อกลยุทธ์ หุ่นยนต์เตือนภัยตรงกับข้อมูลในบล็อกก่อนหน้า ก็จะใช้ Graphql เพื่อส่งเนื้อหาการแจ้งเตือนไปยังเซิร์ฟเวอร์ Forta Network

5. หลังจากที่เซิร์ฟเวอร์ Forta Network ได้รับการเตือนแล้ว เซิร์ฟเวอร์จะจัดเก็บเนื้อหาใน IPFS ก่อน แล้วจึงส่งการแจ้งเตือนไปยังช่องทางการเตือนที่ตั้งไว้ล่วงหน้าของผู้ใช้บริการ (อีเมล หุ่นยนต์โทรเลข เว็บฮุค ฯลฯ)

6. Forta Network จะจัดสรรโทเค็น 400,000$FORT ทุกสัปดาห์เพื่อให้รางวัลแก่โหนดการสแกนที่เข้าเกณฑ์ในเครือข่าย ซึ่งเป็นช่องทางหลักในการส่งออกโทเค็นในปัจจุบัน

การกระจายโทเค็นในปัจจุบันมีดังนี้:

คำอธิบายภาพการจัดสรรชุมชนและและ

การจัดสรรผู้มีส่วนร่วมก่อนกำหนดการกระจายชุมชน:การแจกจ่ายในชุมชนประกอบด้วยรางวัลในช่วงแรกของการทดสอบเครือข่าย การทดสอบ airdrops ก่อนกำหนด และชุดของรางวัลการแจกจ่ายในอนาคต ซึ่งปัจจุบันจัดขึ้นโดยมูลนิธิ

. โดยหลักการแล้ว จะไม่มีการบังคับให้ปิดหรือจำกัดการโอนสำหรับส่วนที่จัดสรรโดยชุมชน แต่เพื่อให้แน่ใจว่าผลประโยชน์ของชุมชนจะสอดคล้องกันในระยะยาว ผู้รับการจัดสรรชุมชนบางส่วนจำเป็นต้องยอมรับเงื่อนไขจำกัดบางประการ . ตัวอย่างเช่น จากการจัดสรร 2.2% ประมาณ 1.2% ของโทเค็นจะมีขีดจำกัด 2 ถึง 4 ปี สำหรับหลักการของความเป็นธรรม ส่วนของการกระจายชุมชนจะไม่มีจุดตัดใดๆ กับผู้ให้ก่อน นั่นคือผู้ที่ได้ผู้มีส่วนร่วมก่อนกำหนดจะไม่ได้รับการจัดสรรชุมชนผู้ร่วมให้ข้อมูลต้น: ผู้ร่วมให้ข้อมูลต้นส่วนใหญ่รวมถึงผู้สนับสนุน ผู้ร่วมให้ข้อมูลหลักเบื้องต้น และ OpenZeppelin ผู้สนับสนุนหมายถึงสมาชิกชุมชนที่ให้การสนับสนุน Forta แต่ไม่จำกัดเฉพาะเงินทุน เครือข่าย และโหนดในช่วงแรกของโครงการ ผู้สนับสนุนหลักหมายถึงนักพัฒนาที่ทำงานใน OpenZeppelin เป็นครั้งแรกและเข้าร่วมใน Forta Network พวกเขาได้รับ 20% ของโทเค็นทั้งหมด OpenZeppelin ในฐานะบริษัทแม่ที่บ่มเพาะ Forta Network จะได้รับ 10% ของโทเค็นทั้งหมด ผู้ร่วมให้ข้อมูลในช่วงต้นทั้งหมดจะยอมรับ3. การพัฒนา

3. การพัฒนา

3.2 สถานะ

3.2 สถานะ

ข้อความ

ณ วันที่ 9 กันยายน 2022 Forta Network มีโหนดที่สมบูรณ์ทั้งหมด 9,949 โหนดและหุ่นยนต์ 1,243 ตัว ตรวจสอบเครือข่าย 7 สาย ได้แก่ Ethereum, Polygon และ BSC

ข้อความ

3.2.2 สถานะรายได้ของโหนดเครือข่ายรายได้ของโหนดใน Forta Network เป็นแหล่งสำคัญของการหมุนเวียนของ $FORT400,โทเค็น 000$FORT ที่จัดสรรให้กับแต่ละเชนนั้นแตกต่างกัน แต่แต่ละโหนดจะได้รับการจัดสรรแตกต่างกันไปตามเงื่อนไขของเครือข่ายเพื่อให้ได้โหนดที่เพียงพอในแต่ละเชนเพื่อป้องกันไม่ให้จำนวนโหนดในบางเชนต่ำเกินไปหรือทรัพยากรล้น ณ วันที่ 5 กันยายน 2022 โหนดเดียวที่มีคะแนน SLA เท่ากับ 1 สามารถสร้างรายได้ประมาณ 57 $FORT ต่อสัปดาห์ ค่าเช่าเซิร์ฟเวอร์บน Contabo ต่อเดือนตามข้อกำหนดขั้นต่ำอย่างเป็นทางการสำหรับโหนดคือ 12 ดอลลาร์ บวกกับราคาสกุลเงินปัจจุบันคือ 0.23 ดอลลาร์ และสามารถคำนวณคร่าวๆ ว่าเดือนเมษายนปัจจุบันของโหนดเดียวอยู่ที่ประมาณ 242.9% หลังจากวันที่ 30 กันยายน 2022 จำนวนการจำนำขั้นต่ำของโหนดเดียวจะเพิ่มขึ้นเป็น 2,500$FORT ตามสถิติ มูลค่าการจำนำเครือข่ายทั้งหมดในปัจจุบันบวกด้วย $FORT สำหรับระยะเวลาหยุดการถอนคือ 7 ล้าน หลังจาก 30 วัน จะยังคง คำมั่นสัญญาที่ถูกต้อง ดังนั้นจำนวนสูงสุดของโหนดในเครือข่ายทั้งหมดคือ 2800 สมมติว่าสัดส่วนของจำนวนโหนดในแต่ละเชนสอดคล้องกับสัดส่วนของการกระจายรางวัล โหนดเดียวที่มีคะแนน SLA 1 จะได้รับประมาณ 142$FORT ต่อสัปดาห์ และเม.ย. ประมาณว่าประมาณ 218%

ข้อความ

3.2.3 การใช้งาน

Forta Network ได้รับแรงบันดาลใจจาก Forta Foundation มีชุดบอทที่สร้างและเผยแพร่บนเครือข่าย ผู้ใช้สามารถสมัครใช้งานโรบ็อตเหล่านี้ได้โดยตรง และมีโครงการไม่กี่โครงการที่นำ Forta Network มาใช้เพื่อความปลอดภัยของตนเอง เช่น dYdX, Lido, Maker DAO, Polygon, Gnosis และ Balancer ในเวลาเดียวกัน Forta Network ยังสามารถเฝ้าดู Dapps ที่มีชื่อเสียงหลายๆ โครงการได้ บางโครงการที่สามารถสมัครรับการตรวจสอบได้โดยตรงมีดังต่อไปนี้ (แหล่งข้อมูล: เว็บไซต์อย่างเป็นทางการของ Forta)

การแลกเปลี่ยนแบบกระจายอำนาจ: Uniswap, Curve, Dodo, dYdX, PancakeSwap, Balancer, Perpetual Finance, ApeSwap

หมวดหมู่การให้ยืม: AAVE, Alpaca Finance, Benqi Finance, Compound, Maker DAO, Umee

อื่นๆ: Ethereum Merger, Poly Network

4. การแข่งขัน

4.1 ภาพรวมอุตสาหกรรม

ข้อความ

ระบบตรวจสอบโดยทั่วไปหมายถึงระบบควบคุมด้วยคอมพิวเตอร์ที่มีความสามารถในการตรวจสอบโปรแกรมและรวบรวมข้อมูล ส่วนใหญ่ใช้ในกระบวนการทางอุตสาหกรรม โครงสร้างพื้นฐาน หรืออุปกรณ์ ในวิศวกรรมซอฟต์แวร์ ระบบตรวจสอบแบบรวมศูนย์บางระบบมักใช้เพื่อตรวจสอบและแจ้งเตือนข้อผิดพลาดของโปรแกรมของตนเอง ระบบการตรวจสอบที่เป็นมาตรฐานเช่น Prometheus ถูกนำมาใช้กันอย่างแพร่หลายในอุตสาหกรรมอินเทอร์เน็ต และบางโครงการที่ทันสมัยในอุตสาหกรรม Web3 มักจะใช้ระบบตรวจสอบมาตรฐานเช่น Prometheus เพื่อตรวจสอบโหนด

ข้อความ

ความแตกต่างที่ใหญ่ที่สุดระหว่างการตรวจสอบ Web3 และการตรวจสอบ Web2 คือ Web3 ต้องการการตรวจสอบเพื่อให้ครอบคลุมแอปพลิเคชันในเวลาที่เหมาะสม เหตุผลที่จำเป็นต้องครอบคลุม Web3 ให้ทันเวลาคือข้อเท็จจริงที่ว่าข้อมูลในบล็อกเชนไม่สามารถแก้ไขได้ สมมติว่าช่องโหว่ในบริการใน Web2 ถูกโจมตี แต่ฐานข้อมูลและรหัสตรรกะทางธุรกิจถูกโฮสต์บนเซิร์ฟเวอร์ภายใต้การควบคุมของเจ้าของโครงการ โดยทั่วไปจะไม่มีการสูญเสียทรัพย์สินอย่างถาวร เนื่องจากเจ้าของโครงการจะข้อมูล สามารถเปลี่ยนแปลงได้เอง ป้องกันการสูญหายของทรัพย์สิน อย่างไรก็ตาม โดยทั่วไปแล้ว แอปพลิเคชัน Web3 จะสร้างขึ้นบนเครือข่ายแบบกระจายศูนย์ และเป็นเรื่องยากมากที่โหนดในเครือข่ายจะบรรลุฉันทามติในการย้อนกลับข้อมูล แทบจะเป็นไปไม่ได้เลยที่สิ่งที่คล้ายกับเหตุการณ์ DAO ปี 2016 จะย้อนกลับข้อมูลที่ขโมยมาจาก Ethereum โดยตรง ซึ่งหมายความว่าในทางทฤษฎีแล้ว การสูญเสียทรัพย์สินในเครือข่ายแบบกระจายศูนย์จะเป็นแบบถาวร ดังนั้น แอปพลิเคชัน Web3 จึงมีข้อกำหนดด้านความทันเวลาของการตรวจสอบที่สูงกว่าแอปพลิเคชัน Web2 มาก

ข้อความ

4.1.3 การตรวจสอบสามารถป้องกันการสูญหายของทรัพย์สินได้อย่างไร

พูดโดยทั่วไป หลังจากที่การตรวจสอบตรวจพบเหตุการณ์ที่ผู้ใช้ให้ความสนใจ มันจะทริกเกอร์พฤติกรรมที่ระบุโดยผู้ใช้ โดยทั่วไป พฤติกรรมที่ผู้ใช้ระบุคือการแจ้งเตือนทางอีเมล แต่จริงๆ แล้วพฤติกรรมนี้สามารถกำหนดเองได้ สมมติว่ามีการใช้การตรวจสอบภายนอก ผู้ใช้สามารถใช้เว็บฮุคเป็นลักษณะการทำงานที่ระบุ และเมื่อสัญญาณเตือนตรวจพบเหตุการณ์ ผู้ใช้สามารถเรียกใช้มาตรการป้องกันที่ตั้งไว้ล่วงหน้าผ่านเว็บฮุค นี่คือตัวอย่างง่ายๆ ของการตรวจสอบเพื่อป้องกันการสูญเสียทรัพย์สิน:

แม้ว่าตัวอย่างข้างต้นโดยทั่วไปจะแสดงให้เห็นวิธีการทำงานของระบบตรวจสอบและใช้มาตรการป้องกัน แม้ว่าสถานการณ์จริงจะซับซ้อนกว่าตัวอย่างมาก แต่กรอบพื้นฐานนี้ไม่สามารถหลีกเลี่ยงได้

ข้อความ

4.1.4 การจำแนกประเภทของระบบตรวจสอบ

ในปัจจุบัน ระบบตรวจสอบอุตสาหกรรม Web3 สามารถแบ่งออกเป็นสองโหมดโดยประมาณ: แบบรวมศูนย์และแบบกระจายอำนาจ

ข้อดีของระบบการตรวจสอบที่สร้างขึ้นด้วยโมเดลแบบกระจายศูนย์คือสามารถกระตุ้นนักพัฒนาหุ่นยนต์ตรวจสอบในระดับเครือข่าย กระตุ้นให้นักพัฒนาจำนวนมากขึ้นสร้างระบบนิเวศร่วมกันโดยธรรมชาติ และบรรลุความต้องการการตรวจสอบที่ครอบคลุมทันเวลา แต่ข้อเสียคือการกำหนดวิธีการสร้างแรงจูงใจในระดับเครือข่ายทำได้ยากกว่า

ชื่อเรื่องรอง

4.2 การวิเคราะห์ผลิตภัณฑ์ที่แข่งขันได้

• สำหรับระบบการตรวจสอบ มักจะมีประเด็นหลักหลายประการสำหรับการเปรียบเทียบผลิตภัณฑ์ในแนวนอน:

• ความสมบูรณ์ของการทำงาน: ประเภทของการตรวจสอบนั้นครอบคลุมหรือไม่

• ความสามารถในการกำหนดค่า: ความสามารถในการกำหนดค่าเกณฑ์การมอนิเตอร์ (โดยเฉพาะ ชนิดการมอนิเตอร์แบบสำเร็จรูป)

• ความสามารถในการขยายขนาด: เป็นไปได้หรือไม่ที่จะตรวจสอบสัญญาหรือฟังก์ชันแยกกัน และสะดวกหรือไม่ที่จะเพิ่มการตรวจสอบประเภทเดียวกัน

• ความพร้อมใช้งาน: ความพร้อมใช้งานสูงของระบบการตรวจสอบ

ข้อความ

ต่อไปนี้คือผลิตภัณฑ์การตรวจสอบบนเครือข่ายที่โดดเด่นและใช้กันอย่างแพร่หลายสำหรับการเปรียบเทียบ

Epns、Hal、Tenderly

คำอธิบายภาพ

ตัวเลขข้างต้นสามารถสะท้อนถึงความสำคัญของผลิตภัณฑ์ที่แตกต่างกันได้อย่างชัดเจน

Forta: ข้อได้เปรียบคือฟังก์ชันการตรวจสอบค่อนข้างสมบูรณ์ และค่อนข้างง่ายสำหรับผู้ใช้ 0-based ในการปรับแต่งการตรวจสอบตามเทมเพลตที่มีอยู่ ได้รับประโยชน์จากกลไกจูงใจบนเครือข่ายแบบกระจายอำนาจ การพัฒนาประเภทการตรวจสอบสำหรับพฤติกรรมบนเครือข่ายประเภทต่างๆ เป็นไปอย่างทันท่วงที นอกจากนี้ เนื่องจากโมเดลเครือข่ายเป็นแบบกระจายอำนาจ จึงรับประกันความพร้อมใช้งานของระบบได้ในระดับหนึ่ง ข้อเสียคือหุ่นยนต์เตือนภัยไม่สามารถกำหนดพารามิเตอร์ได้ เกณฑ์เฉพาะ เช่น "จำนวนมาก" และ "ผิดปกติ" ถูกกำหนดโดยนักพัฒนาหุ่นยนต์เตือนภัยอย่างสมบูรณ์ แม้ว่าโมเดลเครือข่ายของ Forta Network จะเป็นแบบกระจายศูนย์ แต่ก็ยังมีฟังก์ชันบางอย่างที่จำเป็นต้องดำเนินการให้เสร็จสิ้นโดยเซิร์ฟเวอร์แบบรวมศูนย์ ซึ่งก่อให้เกิดอันตรายที่ซ่อนอยู่ต่อความพร้อมใช้งานสูงของระบบ

Epns: Epns ให้ความสำคัญกับการตรวจสอบกระเป๋าเงินส่วนตัว ข้อดีคือ เมื่อสมัครใช้งานแอปพลิเคชันหลัก คุณสามารถส่งการแจ้งเตือนที่เกี่ยวข้องได้โดยตรงโดยดูเนื้อหาความสนใจของกระเป๋าเงินส่วนตัว ตัวอย่างเช่น การสมัครรับข้อมูล Snapshot จะแจ้งเตือนข้อเสนอใหม่โดยตรงตาม ในรายการความสนใจของกระเป๋าเงิน ช่วยลดค่าใช้จ่ายในการกำหนดค่าส่วนบุคคลโดยผู้ใช้ ข้อเสียคือเนื้อหาการตรวจสอบมีน้อยและการอัปเดตฟังก์ชันไม่ตรงเวลา

Hal: ข้อได้เปรียบคือฟังก์ชันพื้นฐานที่มีอยู่ของการตรวจสอบ DeFi และ NFT ได้รับการพัฒนาขึ้น และมีการตรวจสอบสำเร็จรูปสำหรับตัวบ่งชี้ชุดต่างๆ เช่น สภาพคล่อง อัตราดอกเบี้ยเงินกู้/เงินฝาก ราคาโทเค็น ปริมาณธุรกรรมขนาดใหญ่ และ on- อัตราการจำนองสินเชื่อลูกโซ่ Hal ยังสามารถกำหนดค่าพารามิเตอร์บางอย่างสำหรับตัวบ่งชี้ด้านบน ซึ่งเป็นจุดสว่างเมื่อเทียบกับสมาชิก Forta Network ที่ไม่สามารถแก้ไขเกณฑ์เฉพาะของ "จำนวนมาก" และ "ผิดปกติ" ข้อเสียคือ Hal พึ่งพานักพัฒนาของตนเองมากขึ้นในการพัฒนาการตรวจสอบต่างๆ ซึ่งไม่คำนึงถึงเวลา

จากมุมมองของผลิตภัณฑ์ แม้ว่า Forta Network จะยากสำหรับสมาชิกในการกำหนดค่าการตรวจสอบ แต่เกณฑ์ของหุ่นยนต์เตือนภัยที่มีอยู่อาจไม่เหมาะสำหรับเจ้าของโครงการบางรายในการดำเนินการตรวจสอบแบบกำหนดเอง อย่างไรก็ตาม เนื่องจากการมีอยู่ของสิ่งจูงใจเครือข่ายแบบกระจายศูนย์ จะต้องมีกลุ่มนักพัฒนาที่เต็มใจที่จะปรับแต่งพารามิเตอร์ตามความต้องการของสมาชิก นอกจากนี้ ด้วยการพัฒนา Forta Network การกำหนดค่าพารามิเตอร์ของหุ่นยนต์เตือนภัยก็จะได้รับการพัฒนาเช่นกัน

ชื่อเรื่องรอง

แม้ว่าความปลอดภัยของ Web3 จะได้รับการกล่าวถึงเป็นเวลาหลายปี และชุดของพฤติกรรมที่เกี่ยวข้องกับความปลอดภัยของสินทรัพย์ เช่น การตรวจสอบสัญญาและโค้ดโอเพ่นซอร์สนั้นได้รับความนิยมเพิ่มขึ้นจากผู้ใช้ แต่แนวทางการรักษาความปลอดภัยของ Web3 ในปัจจุบันยังอยู่ในช่วงเริ่มต้น โครงการที่มีชื่อเสียงเช่น dYdX และ Lido ได้นำ Forta มาใช้ ซึ่งแสดงให้เห็นว่าการป้องกันความปลอดภัยของ Web3 จะต้องเป็นหัวข้อที่หลีกเลี่ยงไม่ได้ในการปฏิบัติตามข้อบังคับของบล็อกเชนในอนาคต ในเวลาเดียวกันยังมีโครงการจำนวนมากที่ไม่ได้ใช้วิธีการตรวจสอบเพื่อรับรองความปลอดภัยของสัญญาซึ่งยังแสดงให้เห็นว่าตลาดส่วนเพิ่มสำหรับแทร็กความปลอดภัยนั้นมีจำนวนมาก OpenZeppelin เปิดตัว Forta ในปี 2564 ซึ่งแสดงให้เห็นว่า มันเล็งไปที่ทะเลสีครามนี้แล้ว เช่นเดียวกับที่ OpenZeppelin เป็นผู้นำมาตรฐานการพัฒนาสัญญาของ Ethereum evm ในช่วงสี่ปีที่ผ่านมา ผมเชื่อว่า OpenZeppelin ที่มองไปข้างหน้าของ Forta สามารถเป็นผู้นำมาตรฐานของโซลูชั่นความปลอดภัยอุตสาหกรรม Web3 ได้ในอนาคต

ชื่อระดับแรก

5. ความเสี่ยง

1) เครือข่ายแบบกระจายอำนาจไม่มีสิ่งจูงใจเพียงพอสำหรับหุ่นยนต์เตือนภัย

ในปัจจุบัน ไม่มีสิ่งจูงใจสำหรับการพัฒนาหุ่นยนต์เตือนภัยบนอินเทอร์เน็ต แหล่งที่มาของสิ่งจูงใจในปัจจุบันคือการแข่งขันพัฒนาหุ่นยนต์ที่จัดขึ้นโดยมูลนิธิและการบริจาคของ Gitcoin จากมุมมองนี้ เครือข่ายแบบกระจายศูนย์ของ Forta Network ไม่ได้มีจุดแข็ง แต่ในช่วงหลายเดือนที่ผ่านมา ชุมชนยังได้หารือถึงแรงจูงใจในการพัฒนาหุ่นยนต์ นักพัฒนา Forta ยังให้ความสำคัญอย่างยิ่งกับข้อเสนอนี้ และฉันเชื่อว่าจะมีการเปิดตัว ในอนาคตอันใกล้ กลไกจูงใจ

2) อุตสาหกรรมมีความตระหนักไม่เพียงพอเกี่ยวกับความสำคัญของความปลอดภัย

แตกต่างจาก DeFi, เครือข่ายสาธารณะ, Layer 2 และแทร็กอื่นๆ ที่ปรับปรุงขีดจำกัดบนของประสบการณ์ผู้ใช้ทั่วไปโดยตรงหรือโดยอ้อม ความปลอดภัยคือแทร็กที่ปรับปรุงขีดจำกัดล่าง เมื่ออุตสาหกรรมทั้งหมดอยู่ในภาวะคลั่งไคล้ ทุกคนให้ความสนใจกับขีดจำกัดสูงสุดของบล็อกเชนมากกว่าที่จะให้ความสนใจกับขีดจำกัดล่าง ความสำคัญของเส้นทางที่ปลอดภัยน่าจะใช้เวลานานในการรอให้อุตสาหกรรมค้นพบ

ในการลงคะแนน FP-3 ที่สิ้นสุดเมื่อวันที่ 17 กันยายน มีการลงคะแนนคัดค้านประมาณ 51.03% ของ $FORT ส่งผลให้ข้อเสนอ FP-3 ถูกปฏิเสธ นี่เป็นเรื่องปกติในชุมชนขนาดใหญ่ที่คะแนนเสียงส่วนใหญ่จบลงด้วยพรรคหนึ่งที่มีคะแนนเสียงมากกว่า 70% แม้ว่าสิ่งนี้จะสะท้อนถึงความกังวลของชุมชนต่อโครงการในระดับหนึ่ง แต่ก็แสดงให้เห็นว่าทั้งสองฝ่ายที่มีความคิดเห็นต่างกันในชุมชนมีความขัดแย้งทางผลประโยชน์มากขึ้น ซึ่งอาจขัดขวางความก้าวหน้าและการพัฒนาของโครงการในระดับหนึ่ง

อ้างอิง

อ้างอิง

ข้อมูลอย่างเป็นทางการของ Forta Networkhttps://docs.forta.network/en/latest/

เอกสารอย่างเป็นทางการ:https://explorer.forta.network/network

สถิติเครือข่าย:https://github.com/forta-network

หน้าแรกของทีม GitHub:https://twitter.com/FortaNetwork/status/1567591457531527170?s=20&t=LbAJO2Tv7TWOqtBibinhKQ

เหตุการณ์ทางประวัติศาสตร์:https://docs.forta.network/en/latest/governance/

《Forta》：https://blockchain.capital/forta/

องค์ประกอบของคณะกรรมการบริหารทีม:https://a16z.com/2021/09/30/investing-in-forta/

ข้อมูลทางการเงิน:https://dune.com/Sector920/forta

สถิติเครือข่าย Forta:https://snapshot.org/#/forta.eth

ข้อเสนอของชุมชน Forta:

A unique and irreplaceable institution dedicated to the emerging frontier of crypto.

Website | Twitter | Medium | Mirror