การศึกษา

Merkle Trees เป็นส่วนประกอบพื้นฐานของบล็อกเชนที่รองรับฟังก์ชันการทำงาน ช่วยให้สามารถตรวจสอบโครงสร้างข้อมูลขนาดใหญ่ได้อย่างมีประสิทธิภาพและปลอดภัยและในกรณีของ blockchains ชุดข้อมูลที่อาจไม่มีขอบเขต. การนำต้นไม้ Merkle มาใช้ในบล็อกเชนมีผลหลายอย่าง ช่วยให้สามารถปรับขนาดได้ในขณะเดียวกันก็มีสถาปัตยกรรมที่ใช้แฮชเพื่อรักษาความสมบูรณ์ของข้อมูลและเป็นวิธีที่ไม่สำคัญในการตรวจสอบความสมบูรณ์ของข้อมูล. ฟังก์ชันแฮชการเข้ารหัสเป็นเทคโนโลยีพื้นฐานที่ช่วยให้ต้นไม้ Merkle ทำงานได้ดังนั้นก่อนอื่นจึงควรทำความเข้าใจว่าฟังก์ชันแฮชการเข้ารหัสคืออะไร. ฟังก์ชันแฮชการเข้ารหัส พูดง่ายๆคือฟังก์ชันแฮชคือฟังก์ชันใด ๆ ที่ใช้ในการแมปข้อมูลที่มีขนาดตามอำเภอใจ (อินพุต) กับเอาต์พุตขนาดคงที่ อัลกอริธึมการแฮชถูกนำไปใช้กับอินพุตข้อมูลและผลลัพธ์ที่มีความยาวคงที่จะเรียกว่าแฮช. อัลกอริทึมการแฮชจำนวนมากมีให้ใช้งานทั่วไปและสามารถเลือกได้ตามความต้องการของคุณ. แฮชที่เป็นผลลัพธ์จากอินพุตโดยพลการไม่เพียง แต่กำหนดความยาวเท่านั้น แต่ยังไม่ซ้ำกันอย่างสมบูรณ์กับอินพุตและฟังก์ชันเองก็ถูกกำหนด นั่นคือไม่ว่าคุณจะเรียกใช้ฟังก์ชันบนอินพุตเดียวกันกี่ครั้งผลลัพธ์ก็จะเหมือนกันเสมอ. ตัวอย่างเช่นหากคุณมีชุดข้อมูลต่อไปนี้ด้านล่างเป็นอินพุตเอาต์พุตที่ได้จะไม่ซ้ำกันสำหรับแต่ละอินพุต สังเกตว่าในตัวอย่างที่สองและสามแม้ว่าความแตกต่างของอินพุตจะเป็นเพียงคำเดียว แต่ผลลัพธ์ที่ได้จะแตกต่างกันอย่างสิ้นเชิง. สิ่งนี้สำคัญมากเนื่องจากช่วยให้สามารถ “พิมพ์ลายนิ้วมือ” ข้อมูลได้. ฟังก์ชันแฮชการเข้ารหัสภาพจาก Wikipedia เนื่องจากความยาวของเอาต์พุต (ผลรวมแฮชในตัวอย่าง) มักจะเหมือนกับที่กำหนดโดยอัลกอริทึมการแฮชที่ใช้ข้อมูลจำนวนมากจึงสามารถระบุได้โดยใช้แฮชผลลัพธ์เท่านั้น. ด้วยระบบที่มีข้อมูลจำนวนมากประโยชน์ของความสามารถในการจัดเก็บและระบุข้อมูลด้วยเอาต์พุตที่มีความยาวคงที่สามารถสร้างการประหยัดพื้นที่จัดเก็บได้มหาศาลและช่วยเพิ่มประสิทธิภาพ. ภายในบล็อคเชนจะใช้อัลกอริทึมการแฮชเพื่อกำหนดสถานะของบล็อกเชน. Blockchains เป็นรายการที่เชื่อมโยงซึ่งมีข้อมูลและตัวชี้แฮชที่ชี้ไปยังบล็อกก่อนหน้าซึ่งสร้างห่วงโซ่ของบล็อกที่เชื่อมต่อกันจึงมีชื่อว่า “blockchain”. แต่ละบล็อกเชื่อมต่อกันผ่านตัวชี้แฮชซึ่งเป็นแฮชของข้อมูลภายในบล็อกก่อนหน้าพร้อมกับที่อยู่ของบล็อกก่อนหน้า ด้วยการเชื่อมโยงบล็อกข้อมูลในรูปแบบนี้แต่ละแฮชที่เป็นผลลัพธ์ของบล็อกก่อนหน้านี้จะแสดงสถานะทั้งหมดของบล็อกเชนเนื่องจากข้อมูลที่แฮชทั้งหมดของบล็อกก่อนหน้าจะถูกแฮชเป็นแฮชเดียว. สิ่งนี้แสดง (ในกรณีของอัลกอริทึม SHA-256) ด้วยเอาต์พุต (แฮช) เช่นนี้. b09a57d476ea01c7f91756adff1d560e579057ac99a28d3f30e259b30ecc9dc7 แฮชด้านบนเป็นลายนิ้วมือของสถานะทั้งหมดของบล็อกเชนก่อนหน้านั้น สถานะของบล็อกเชนก่อนบล็อกใหม่ (ตามข้อมูลที่แฮช) คืออินพุตและแฮชที่ได้คือเอาต์พุต. แม้ว่าจะเป็นไปได้ที่จะใช้แฮชการเข้ารหัสโดยไม่มีต้นไม้ […]

More

โมเดล Consensus เป็นองค์ประกอบหลักของระบบบล็อกเชนแบบกระจายและเป็นหนึ่งในสิ่งที่สำคัญที่สุดสำหรับการทำงานของพวกเขา พวกเขาเป็นหัวใจสำคัญสำหรับผู้ใช้ที่จะสามารถโต้ตอบกันได้อย่างไม่ไว้วางใจและการนำไปใช้อย่างถูกต้องในแพลตฟอร์มสกุลเงินดิจิทัลได้สร้างเครือข่ายใหม่ ๆ ที่มีศักยภาพพิเศษ. ในบริบทของระบบกระจาย, Byzantine Fault Tolerance คือความสามารถของเครือข่ายคอมพิวเตอร์แบบกระจายในการทำงานตามที่ต้องการและได้รับฉันทามติที่เพียงพออย่างถูกต้องแม้ส่วนประกอบที่เป็นอันตราย (โหนด) ของระบบจะล้มเหลวหรือเผยแพร่ข้อมูลที่ไม่ถูกต้องไปยังเพื่อนร่วมงานคนอื่น ๆ. วัตถุประสงค์คือเพื่อป้องกันความล้มเหลวของระบบหายนะโดยการลดอิทธิพลของโหนดที่เป็นอันตรายเหล่านี้ที่มีต่อการทำงานที่ถูกต้องของเครือข่ายและฉันทามติที่ถูกต้องซึ่งมาถึงโดยโหนดที่ซื่อสัตย์ในระบบ. ได้มาจากไฟล์ ปัญหาของ Byzantine Generals, ภาวะที่กลืนไม่เข้าคายไม่ออกนี้ได้รับการวิจัยและปรับแต่งอย่างกว้างขวางด้วยชุดวิธีแก้ปัญหาที่หลากหลายในทางปฏิบัติและได้รับการพัฒนาอย่างแข็งขัน. ปัญหาของ Byzantine Generals ภาพโดย Debraj Ghosh Practical Byzantine Fault Tolerance (pBFT) เป็นหนึ่งในการเพิ่มประสิทธิภาพเหล่านี้และได้รับการแนะนำโดย Miguel Castro และ Barbara Liskov ในบทความวิชาการในปี 2542 หัวข้อ“ความคลาดเคลื่อนของไบแซนไทน์ในทางปฏิบัติ”. มีจุดมุ่งหมายเพื่อปรับปรุงตามกลไกฉันทามติ BFT ดั้งเดิมและได้รับการปรับใช้และปรับปรุงในระบบคอมพิวเตอร์แบบกระจายสมัยใหม่หลายระบบรวมถึงแพลตฟอร์มบล็อกเชนยอดนิยม. ภาพรวมของการยอมรับความผิดพลาดของไบแซนไทน์ในทางปฏิบัติ โมเดล pBFT มุ่งเน้นไปที่การจัดเตรียมการจำลองเครื่องของรัฐไบแซนไทน์ที่ใช้งานได้จริงซึ่งทนต่อความผิดพลาดของไบแซนไทน์ (โหนดที่เป็นอันตราย) ผ่านสมมติฐานที่ว่ามีความล้มเหลวของโหนดที่เป็นอิสระและข้อความที่ถูกจัดการที่เผยแพร่โดยเฉพาะโหนดอิสระ. อัลกอริทึมได้รับการออกแบบมาเพื่อทำงานในระบบอะซิงโครนัสและได้รับการปรับให้มีประสิทธิภาพสูงพร้อมกับรันไทม์เหนือศีรษะที่น่าประทับใจและเวลาแฝงที่เพิ่มขึ้นเพียงเล็กน้อย. โดยพื้นฐานแล้วโหนดทั้งหมดในแบบจำลอง pBFT จะเรียงลำดับตามลำดับโดยหนึ่งโหนดเป็นโหนดหลัก (ผู้นำ) และโหนดอื่น […]

More

การเงินแบบกระจายอำนาจ (DeFi) ได้สร้างกระแสในช่วงหลายเดือนที่ผ่านมาหลังจากการเพิ่มขึ้นของแพลตฟอร์มและผลิตภัณฑ์ที่ให้บริการ DeFi. แพลตฟอร์มการให้กู้ยืมแบบกระจายอำนาจ MakerDAO ได้ก้าวขึ้นสู่ความโดดเด่นท่ามกลาง การยอมรับที่น่าประทับใจ ของ stablecoin Dai แต่เป็นเพียงส่วนหนึ่งของระบบนิเวศที่กำลังเติบโตซึ่งขับเคลื่อนทางการเงินอย่างไม่หยุดยั้ง. โปรโตคอลการให้ยืมโทเค็นการรักษาความปลอดภัยอนุพันธ์การแลกเปลี่ยนและอื่น ๆ ภูมิทัศน์ DeFi ของ Ethereum กำลังเล่นเป็นหนึ่งในสภาพแวดล้อมแอปพลิเคชันที่ลึกซึ้งที่สุดจนถึงขณะนี้แม้จะมีปัญหาในการปรับขนาดของเครือข่ายก็ตาม. การทำความเข้าใจเกี่ยวกับ DeFi อาจกลายเป็นความซับซ้อนได้ด้วยนวัตกรรมมากมายที่กำลังดำเนินอยู่ในปัจจุบันดังนั้นเรามาดูองค์ประกอบที่สำคัญบางประการของระบบนิเวศที่กำลังเบ่งบาน. DeFi คืออะไร? DeFi เป็นเพียงเครื่องมือทางการเงินทั่วไปที่สร้างขึ้นบนบล็อคเชนโดยเฉพาะ Ethereum พวกเขาส่วนใหญ่กำหนดไว้ล่วงหน้าในโปรโตคอลโอเพ่นซอร์สหรือกรอบงานโมดูลาร์สำหรับการสร้างและออกสินทรัพย์ดิจิทัลและได้รับการออกแบบมาเพื่อมอบข้อได้เปรียบที่โดดเด่นของการดำเนินงานบนบล็อกเชนสาธารณะเช่นการต่อต้านการเซ็นเซอร์และการเข้าถึงบริการทางการเงินที่ดีขึ้น. การกระจายอำนาจทุกอย่างไม่ใช่การดำเนินการที่รอบคอบและแอปพลิเคชัน DeFi จำนวนมากคำนึงถึงสิ่งนี้ด้วยการนำเสนอสินทรัพย์ดิจิทัลแบบไฮบริด / บริการทางการเงินแบบดั้งเดิมเช่น BlockFi. คำทางเลือกที่ครอบคลุมมากขึ้นในการมุ่งเน้นไปที่ผลิตภัณฑ์ทางการเงินอย่างต่อเนื่องคือการเงินแบบเปิดซึ่งระบบนิเวศของสินทรัพย์ดิจิทัลแบบบูรณาการบล็อกเชนและโปรโตคอลแบบเปิดกำลังผสานเข้ากับโครงสร้างทางการเงินแบบเดิม. การเปลี่ยนแปลงที่โดดเด่นในการเล่าเรื่องแอปพลิเคชันของ Ethereum นั้นสอดคล้องกับความนิยมอย่างมากของเครื่องมือทางการเงินแบบเปิดในผลิตภัณฑ์ ตัวอย่างเช่นก รายงานล่าสุด โดย Bloqboard เกี่ยวกับโปรโตคอลการให้กู้ยืมแบบเปิดได้เน้นให้เห็นว่าสินเชื่อคงค้างที่ใช้งานอยู่จากโปรโตคอลการให้กู้ยืมแบบเปิด 4 รูปแบบ ได้แก่ MakerDAO, Dharma, dYdX และ Compound Finance เพิ่มขึ้น 1,200 เปอร์เซ็นต์ในปี […]

More

วิธีการใหม่ ๆ บางอย่างในการกำจัดการเปิดเผยชื่อผู้ใช้สกุลเงินดิจิทัลเกิดจากการทำแผนที่การรับส่งข้อมูลบนเครือข่ายเพื่อเปิดเผยที่อยู่ IP และการเชื่อมต่อระหว่างข้อมูลประจำตัว ความกังวลเกี่ยวกับความเป็นส่วนตัวเกี่ยวกับการติดตามเลเยอร์เครือข่ายโดยโปรแกรมการเฝ้าระวังของรัฐบาลและช่องทางอื่น ๆ ในการเปิดเผยตัวตนบนอินเทอร์เน็ตได้นำไปสู่การพัฒนาที่สำคัญหลายประการเพื่อรักษาความเป็นส่วนตัว. ทอร์เน็ตเวิร์ก และ โครงการอินเทอร์เน็ตล่องหน (I2P) เป็นเครือข่ายซ้อนทับชั้นนำสองเครือข่ายสำหรับผู้ใช้ในการปกป้องความเป็นส่วนตัวผ่านสื่อสาธารณะของอินเทอร์เน็ต โซลูชันอื่น ๆ ได้แก่ Mixnets ซึ่งเป็นโปรโตคอลการกำหนดเส้นทางโดยใช้พร็อกซีเซิร์ฟเวอร์ที่ถูกล่ามโซ่เพื่อผสมข้อความอินพุต. เกี่ยวกับ cryptocurrencies โครงการที่มุ่งเน้นความเป็นส่วนตัวหลายโครงการและการอัปเกรดเป็น Bitcoin มุ่งเน้นไปที่การเพิ่มการป้องกันในระดับเครือข่ายอย่างชัดเจน. การเปิดเผยล่าสุดในการโจมตีเลเยอร์เครือข่าย วิธีการทางนิติวิทยาศาสตร์ของ Blockchain ในการระบุผู้ใช้ส่วนใหญ่มุ่งเน้นที่ชั้นโปรโตคอลของการวิเคราะห์ขั้นตอนการทำธุรกรรมของสกุลเงินดิจิทัล. ตัวอย่างเช่น Bitcoin เป็นนามแฝงซึ่งหมายความว่าไม่ระบุชื่อจริงและสามารถเชื่อมโยงระหว่างที่อยู่ผู้ใช้ (คีย์สาธารณะ) และอินพุต / เอาต์พุตธุรกรรมได้. เทคโนโลยีการไม่เปิดเผยตัวตนส่วนใหญ่ที่รวมเข้ากับสกุลเงินดิจิทัลในปัจจุบัน (เช่น zk-SNARKS, bulletproofs และ Ring CTs) มุ่งเน้นไปที่รายละเอียดธุรกรรมที่ทำให้สับสนบนเครือข่ายสาธารณะเพื่อแยกความสามารถในการเชื่อมโยงธุรกรรมกับข้อมูลประจำตัวในระดับโปรโตคอล. RingCT ใน Monero และ zk-SNARK ใน ZCash ให้การบรรเทาที่สำคัญต่อผู้ใช้ที่ไม่เปิดเผยชื่อบุคคลที่สาม แต่ก็ยุ่งยากกว่าธุรกรรมการเข้ารหัสมาตรฐานเนื่องจากต้องมีการพิสูจน์ที่เกี่ยวข้องกับแต่ละธุรกรรม. อย่างไรก็ตามทั้ง Monero และ ZCash […]

More

ทฤษฎีเกมมีความเกี่ยวข้องอย่างมากกับสกุลเงินดิจิทัลและมักเป็นส่วนที่ถูกมองข้ามของแพลตฟอร์มแม้ว่าจะมีบทบาทสำคัญในด้านความปลอดภัยและความยั่งยืนก็ตาม. ความกระตือรือร้นในการพัฒนาและวิเคราะห์ทฤษฎีเกมได้เกิดขึ้นพร้อมกับความสนใจที่เพิ่มขึ้นและมุ่งเน้นไปที่การพัฒนาแพลตฟอร์ม cryptocurrency. สิ่งนี้นำไปสู่ฟิลด์ใหม่ที่น่าสนใจที่เรียกว่า cryptoeconomics และบทบาทพื้นฐานที่แบบจำลองทฤษฎีเกมคลาสสิกและร่วมสมัยมีความสำคัญต่อการทำความเข้าใจพลวัตหลักของการโต้ตอบระหว่างผู้เล่นในแพลตฟอร์ม cryptocurrency. เพื่อให้สามารถเข้าใจบทบาทของทฤษฎีเกมในแพลตฟอร์มสกุลเงินดิจิทัลได้อย่างสมบูรณ์คุณต้องเข้าใจว่าทฤษฎีเกมคืออะไรและจะนำไปใช้กับสถานการณ์ต่างๆได้อย่างไร. ทฤษฎีเกมคืออะไร? พูดง่ายๆก็คือทฤษฎีเกมคือการศึกษาการตัดสินใจเชิงตรรกะของผู้เล่นภายในพารามิเตอร์ที่กำหนดของระบบ (เกมสถานการณ์ ฯลฯ ) ใช้แบบจำลองทางคณิตศาสตร์และสามารถนำไปใช้กับเศรษฐศาสตร์จิตวิทยาตรรกะวิทยาการคอมพิวเตอร์ระบบกระจายและอื่น ๆ ทฤษฎีเกมสามารถมองได้ว่าเป็นจุดเล็ก ๆ ของพฤติกรรมมนุษย์ภายใต้สถานการณ์ที่กำหนดโครงสร้างและกลไกแรงจูงใจบางอย่างสามารถนำไปสู่พฤติกรรมที่สามารถคาดเดาได้และซื่อสัตย์โดยผู้เล่น. ในสถานการณ์สมมติทฤษฎีเกมทั่วไปมีองค์ประกอบหลัก 3 ส่วน. ผู้เล่น กลยุทธ์ ผลลัพธ์ ผู้เล่นคือผู้ใช้ที่ตัดสินใจ กลยุทธ์คือการซ้อมรบที่ผู้เล่นทำไปพร้อม ๆ กันโดยคำนึงถึงกลยุทธ์ที่เป็นไปได้ของผู้เล่นคนอื่น ๆ ผลลัพธ์เป็นผลมาจากการเคลื่อนไหวของผู้เล่นภายในระบบและด้วยกลไกการจูงใจที่เหมาะสมสามารถขับเคลื่อนไปยังทิศทางที่แน่นอนหรือเล่นซ้ำ ๆ ด้วยผลลัพธ์ที่คล้ายกัน. The Prisoner’s Dilemma เพื่อแสดงให้เห็นถึงสิ่งนี้ได้ดีขึ้นตัวอย่างต้นแบบของทฤษฎีเกมที่คุณอาจเคยได้ยินเรียกว่า Prisoner’s Dilemma. ในสถานการณ์นี้มีนักโทษสองคนถูกสอบสวนแยกกันสำหรับอาชญากรรมที่ทั้งคู่มีความผิดเท่ากัน. เรียกพวกเขาว่าอลิซและบ็อบ … ทั้งอลิซและบ็อบได้รับโอกาสให้สารภาพและได้รับการลดโทษ ผลลัพธ์ของสถานการณ์นี้สามารถเล่นได้ 4 วิธีโดยทั้งอลิซและบ็อบต้องตัดสินใจอย่างใดอย่างหนึ่งจากสองอย่างที่เป็นไปได้ไม่ว่าจะสารภาพหรือไม่สารภาพ สิ่งนี้ส่งผลให้ผลลัพธ์ที่เป็นไปได้ 4 ประการดังตารางด้านล่าง. The Prisoner’s Dilemma อย่างที่คุณเห็นวิธีแก้ปัญหาโดยรวมที่มีโทษจำคุกน้อยที่สุดสำหรับนักโทษทั้งสองคือให้นักโทษทั้งสองนิ่งเฉยและไม่รับสารภาพ ตัวเลือกนี้ไฮไลต์เป็นสีน้ำเงินที่มุมล่างขวา อย่างไรก็ตามผลลัพธ์นี้ถือว่าไม่แน่นอนเนื่องจากมีข้อสันนิษฐานว่านักโทษทั้งสองจะจงใจทิ้งข้อตกลงที่ดีกว่าไว้บนโต๊ะซึ่งพวกเขาอาจได้รับ 0 […]

More

การตรวจสอบสัญญาอัจฉริยะอย่างเป็นทางการเป็นแนวโน้มที่เกิดขึ้นใหม่ในพื้นที่ของสกุลเงินดิจิทัลที่มุ่งเน้นไปที่การลดอินสแตนซ์ของข้อบกพร่องและช่องโหว่ของสัญญาอัจฉริยะที่นำไปสู่การแฮ็กรายละเอียดสูงจำนวนมากและปัญหาด้านความปลอดภัยเฉพาะที่. การตรวจสอบอย่างเป็นทางการมีแอปพลิเคชันที่หลากหลายเกี่ยวกับระบบฮาร์ดแวร์และซอฟต์แวร์ มีความสำคัญอย่างยิ่งเมื่อความซับซ้อนของระบบเพิ่มขึ้นโดยเฉพาะกับฮาร์ดแวร์ ในเครือข่ายบล็อกเชนบทลงโทษของช่องโหว่และช่องโหว่ของสัญญาอัจฉริยะทำให้เกิดความจำเป็นในการปรับปรุงการเขียนโปรแกรมและการตรวจสอบสัญญาอัจฉริยะ. ความเป็นมาเกี่ยวกับการยืนยันอย่างเป็นทางการ ใช้การตรวจสอบอย่างเป็นทางการ วิธีการที่เป็นทางการ เพื่อตรวจสอบว่าการออกแบบฮาร์ดแวร์หรือระบบซอฟต์แวร์ตรงตามคุณสมบัติเฉพาะหรือไม่ วิธีการทางการเป็นเทคนิคทางคณิตศาสตร์ประเภทหนึ่งสำหรับข้อกำหนดการพัฒนาและการตรวจสอบทั้งระบบฮาร์ดแวร์และซอฟต์แวร์ การใช้วิธีการที่เป็นทางการเพื่อพิสูจน์หรือพิสูจน์ความถูกต้องของอัลกอริทึมที่ตั้งใจไว้เรียกว่าการตรวจสอบอย่างเป็นทางการ. มาร์ตินเดวิสได้รับเครดิตจากการพัฒนาหลักฐานทางคณิตศาสตร์ที่สร้างขึ้นด้วยคอมพิวเตอร์เครื่องแรกในปี 2497 แนวคิดนี้เริ่มได้รับความสนใจในทศวรรษที่ 1960 สำหรับการตรวจสอบความถูกต้องของโปรแกรมคอมพิวเตอร์ในภาษาต้น ๆ เช่นภาษาปาสคาลและภาษาจาวา ปฏิบัติตามข้อบกพร่องของคอมพิวเตอร์ที่มีรายละเอียดสูงเช่นไฟล์ ข้อผิดพลาด Pentium FDIV ในปี 1994 ความเชื่อมั่นที่ว่าการตรวจสอบอย่างเป็นทางการจำเป็นต้องมีอยู่ทั่วไปเริ่มที่การสโนว์บอล. การทดสอบซอฟต์แวร์หรือระบบฮาร์ดแวร์สามารถแบ่งออกเป็นสองขั้นตอนทั่วไป: การตรวจสอบ การยืนยัน การตรวจสอบความถูกต้องคือการพิจารณาว่าผลิตภัณฑ์ตรงตามความต้องการของผู้ใช้หรือไม่. Verification กำลังทดสอบว่าผลิตภัณฑ์เป็นไปตามข้อกำหนดหรือไม่. การตรวจสอบประกอบด้วยการสร้างแบบจำลองทางคณิตศาสตร์เชิงนามธรรมที่สัมพันธ์กับข้อกำหนดการออกแบบของผลิตภัณฑ์ (เช่นอัลกอริทึมชิปฮาร์ดแวร์) ในขณะที่วิธีการอย่างเป็นทางการที่ใช้ในการสร้างแบบจำลองส่วนใหญ่เกิดจากพื้นฐานทางวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี. การใช้การตรวจสอบอย่างเป็นทางการกลายเป็นสิ่งสำคัญอย่างยิ่งในระบบฮาร์ดแวร์ซึ่งผู้ผลิตฮาร์ดแวร์รายใหญ่เกือบทุกแห่งใช้เพื่อให้แน่ใจว่าผลิตภัณฑ์ของตนมีความทนทาน อย่างไรก็ตามการใช้งานยังไม่แพร่หลายในซอฟต์แวร์เหมือนกับที่ใช้ในฮาร์ดแวร์ซึ่งส่วนใหญ่เกิดจากลักษณะทางการค้าของการผลิตฮาร์ดแวร์. อย่างไรก็ตามไดนามิกดังกล่าวเริ่มเปลี่ยนไปตามการถือกำเนิดของ blockchains และ cryptocurrencies ซึ่งการถ่ายโอนมูลค่าจำนวนมากจะดำเนินการโดยอัตโนมัติผ่านเครือข่ายแบบกระจายอำนาจ ด้วยมูลค่าที่เป็นเดิมพันมากกว่าระบบแบบเดิมความถูกต้องของสัญญาอัจฉริยะจึงกลายเป็นปัญหาเร่งด่วน. ก ประวัติย่อ การใช้ประโยชน์จากสัญญาอย่างชาญฉลาดคือการทำความเข้าใจผลของช่องโหว่ง่ายๆในรหัสสัญญา. เหตุใดจึงควรใช้สำหรับสัญญาอัจฉริยะ? ตามล่าสุด ศึกษา ดำเนินการกับสัญญาอัจฉริยะ Ethereum เกือบ 1 ล้านสัญญาโดย 34,200 รายการถูกตั้งค่าสถานะว่ามีความเสี่ยงใน 10 […]

More

เมื่อคุณนึกถึง Ethereum คุณอาจนึกถึงระบบสัญญาอัจฉริยะที่ทรงพลัง สำหรับผู้ที่ไม่รู้สัญญาอัจฉริยะเป็นโปรแกรมที่มีอยู่ใน Ethereum blockchain พวกเขาดำเนินการต่างๆเช่นการส่งหรือรับ Ether หรือ ERC-20 โทเค็นและงานอื่น ๆ. อย่างไรก็ตามสิ่งที่คุณอาจไม่ทราบคือการรวมสัญญาอัจฉริยะเข้าด้วยกันอย่างไร เช่นเดียวกับโปรแกรมคอมพิวเตอร์ทั้งหมดสัญญา Ethereum เขียนด้วยภาษาโปรแกรม ในกรณีนี้ภาษานั้นมักเรียกว่า ความมั่นคง. ในขณะที่มีภาษาโปรแกรมอื่น ๆ ที่เข้ากันได้กับสัญญาอัจฉริยะ Solidity เป็นภาษาที่เลือกใช้ในปัจจุบัน ดังนั้นอ่านต่อไปเมื่อเราดูข้อมูลพื้นฐานบางอย่างของ Solidity และคุณจะพบแหล่งข้อมูลเกี่ยวกับวิธีการเรียนรู้ได้จากที่ใด. Solidity เป็นภาษาโปรแกรม โปรแกรมเมอร์มืออาชีพส่วนใหญ่ในปัจจุบันใช้ภาษาโปรแกรมสมัยใหม่ที่เป็นที่นิยมอย่างน้อยหนึ่งกลุ่ม ตัวอย่างบางส่วน ได้แก่ C (และ C ++, C # และอื่น ๆ ), Python, Java (และ JavaScript), Perl หรืออื่น ๆ อีกเล็กน้อย Solidity ได้รับการออกแบบมาเพื่อให้ง่ายต่อการเรียนรู้สำหรับโปรแกรมเมอร์ที่คุ้นเคยกับภาษาโปรแกรมสมัยใหม่อย่างน้อยหนึ่งภาษา. หากคุณได้เรียนรู้สิ่งต่างๆเช่น Visual Basic ในโรงเรียนมัธยมคุณอาจมีช่วงเวลาที่ยากลำบากในการหยิบ Solidity […]

More

การดูแล Cryptocurrency เมื่อไม่นานมานี้มันกลายเป็นคำที่นิยมมาก แต่มันคืออะไรและทำไมมันถึงสำคัญมาก? เข้าร่วมกับเราในขณะที่เรานำเสนอข้อเสนอใหม่ที่น่าตื่นเต้นนี้ซึ่งจะเพิ่มพลังให้กับการไหลเข้าของเงินสดจากสถาบันจำนวนมากเข้าสู่สินทรัพย์และตลาดสกุลเงินดิจิทัล นี่เป็นเรื่องใหญ่ดังนั้นอ่านต่อ. Lowdown เกี่ยวกับการดูแล เมื่อเร็ว ๆ นี้พวกเราที่ Blockonomi ได้เขียนบทความมากมายเกี่ยวกับการควบคุมตัว นั่นแสดงว่ามันสำคัญทีเดียว ตอนนี้เรามาดูข้อมูลพื้นฐานของการควบคุมดูแลและจากนั้นไปดูความหมายของสกุลเงินดิจิทัลในระยะยาว. คำจำกัดความที่ง่ายที่สุดของการควบคุมดูแล (ในแง่ของการเงิน) คือเมื่อสถาบันถือครองทรัพย์สินในนามของผู้อื่น ซึ่งแตกต่างจากการฝากเงินในบัญชีเช็คหรือบัญชีออมทรัพย์ ด้วยบัญชีเช็คหรือบัญชีออมทรัพย์ธนาคารมีอิสระที่จะให้ยืมเงินของคุณกับผู้กู้เพื่อพยายามหาดอกเบี้ย ในความสัมพันธ์ที่ถูกคุมขังธนาคารหรือผู้รับฝากทรัพย์สินไม่มีสิทธิ์ให้ใครยืมทรัพย์สินของคุณ แต่จะได้รับอนุญาตให้จัดเก็บและรักษาความปลอดภัยในนามของคุณเท่านั้น. สิ่งสำคัญอีกประการหนึ่งในการดูแลคือผู้ให้การดูแล (โดยปกติจะเป็นธนาคาร แต่ไม่เสมอไป) ต้องรับผิดชอบทรัพย์สินของคุณในกรณีที่สูญหายหรือถูกขโมย นั่นหมายความว่าหากผู้ดูแลถูกปล้นหรือพันธบัตรผู้ถือกระดาษของคุณถูกทำลายลงในกองเพลิงผู้ให้การดูแลจะต้องเรียกคืนทรัพย์สินของคุณเต็มจำนวนเนื่องจากพวกเขาต้องรับผิดชอบต่อการสูญเสีย ซึ่งหมายความว่าสถาบันที่ให้การดูแลมักจะมีนโยบายการประกันที่มีราคาแพงมากเพื่อป้องกันตนเองจากการสูญเสียประเภทนี้. ผู้เช่าขั้นพื้นฐานรายสุดท้ายของการดูแลคือเงินฝากที่ถูกคุมขังจะไม่ได้รับดอกเบี้ย เนื่องจากตามที่เราได้กล่าวไว้ข้างต้น บริษัท ที่รับฝากเงินของคุณไม่ได้รับอนุญาตให้ให้ผู้อื่นยืมเงิน ในทางตรงกันข้ามการจัดการดูแลโดยทั่วไปกำหนดให้ผู้ฝากจ่ายค่าธรรมเนียมที่เรียกว่าค่าธรรมเนียมการดูแลเพื่อแลกกับการให้ความปลอดภัยและการประกันในกรณีที่สูญหาย. ในการแปลสิ่งนั้นเป็นเงื่อนไขของสกุลเงินดิจิทัลตอนนี้มี บริษัท หลายแห่งที่ให้บริการดูแลรักษาสกุลเงินดิจิทัล นั่นหมายความว่าเหมือนกับการจัดเตรียมแบบดั้งเดิมพวกเขาจะปกป้องทรัพย์สินของคุณให้คุณและทำให้มั่นใจได้ในกรณีที่สูญหาย พวกเขามักจะเรียกเก็บค่าธรรมเนียมสำหรับบริการนี้ – และค่าธรรมเนียมนั้นอาจค่อนข้างหนัก. ความคิดที่ยิ่งใหญ่ ทั้งหมดนี้ฟังดูน่าฟังใช่มั้ย? แต่ถ้าเป็นเรื่องน่าขันขนาดนี้ทำไมคนถึงพูดถึงและให้ความสนใจมากขนาดนี้ คำตอบนั้นตรงไปตรงมา แต่เราต้องเข้าใจบางสิ่งก่อน. สถาบันต้องการสร้างรายได้ วิธีหนึ่งที่พวกเขาทำคือการรับความเสี่ยงที่พวกเขาคิดว่าเป็นการเดิมพันที่ดี Cryptocurrencies เช่น bitcoin เป็นทางออกที่ดีมานานแล้วแม้จะมีการขึ้นลงชั่วคราว แต่เนื่องจากสกุลเงินดิจิทัลยังคงเป็นพื้นที่ที่ยังไม่ถูกค้นพบสำหรับสถาบันการเงินที่มีแนวคิดอนุรักษ์นิยมมากเกินไปเช่นกองทุนเพื่อการลงทุนและผู้ถือบัญชีเพื่อการเกษียณอายุจึงทำให้เงินสถาบันหลายพันล้านบาทหลุดจากสกุลเงินดิจิทัล จนกระทั่งเมื่อไม่นานมานี้นั่นคือ. การดูแลเป็นวิธีแก้ปัญหาที่ดีเยี่ยม ช่วยให้ผู้เล่นรายใหญ่ที่ไม่ต้องการโต้ตอบโดยตรงกับสกุลเงินดิจิทัล […]

More