การตรวจสอบสัญญาอัจฉริยะอย่างเป็นทางการเป็นแนวโน้มที่เกิดขึ้นใหม่ในพื้นที่ของสกุลเงินดิจิทัลที่มุ่งเน้นไปที่การลดอินสแตนซ์ของข้อบกพร่องและช่องโหว่ของสัญญาอัจฉริยะที่นำไปสู่การแฮ็กรายละเอียดสูงจำนวนมากและปัญหาด้านความปลอดภัยเฉพาะที่. การตรวจสอบอย่างเป็นทางการมีแอปพลิเคชันที่หลากหลายเกี่ยวกับระบบฮาร์ดแวร์และซอฟต์แวร์ มีความสำคัญอย่างยิ่งเมื่อความซับซ้อนของระบบเพิ่มขึ้นโดยเฉพาะกับฮาร์ดแวร์ ในเครือข่ายบล็อกเชนบทลงโทษของช่องโหว่และช่องโหว่ของสัญญาอัจฉริยะทำให้เกิดความจำเป็นในการปรับปรุงการเขียนโปรแกรมและการตรวจสอบสัญญาอัจฉริยะ. ความเป็นมาเกี่ยวกับการยืนยันอย่างเป็นทางการ ใช้การตรวจสอบอย่างเป็นทางการ วิธีการที่เป็นทางการ เพื่อตรวจสอบว่าการออกแบบฮาร์ดแวร์หรือระบบซอฟต์แวร์ตรงตามคุณสมบัติเฉพาะหรือไม่ วิธีการทางการเป็นเทคนิคทางคณิตศาสตร์ประเภทหนึ่งสำหรับข้อกำหนดการพัฒนาและการตรวจสอบทั้งระบบฮาร์ดแวร์และซอฟต์แวร์ การใช้วิธีการที่เป็นทางการเพื่อพิสูจน์หรือพิสูจน์ความถูกต้องของอัลกอริทึมที่ตั้งใจไว้เรียกว่าการตรวจสอบอย่างเป็นทางการ. มาร์ตินเดวิสได้รับเครดิตจากการพัฒนาหลักฐานทางคณิตศาสตร์ที่สร้างขึ้นด้วยคอมพิวเตอร์เครื่องแรกในปี 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

ผู้ค้าสกุลเงินดิจิทัลสามารถเลือกจากแพลตฟอร์มการซื้อขายอัตโนมัติที่มีประสิทธิภาพจำนวนมากขึ้นเรื่อย ๆ ซึ่งมีเป้าหมายเพื่อลดความซับซ้อนของกระบวนการทั้งหมดและอนุญาตให้ทุกคนได้รับประโยชน์สูงสุดจากโอกาสในการซื้อขาย. Coinrule เป็นโซลูชันการซื้อขายอัตโนมัติที่เกิดขึ้นใหม่และใช้งานง่ายโดยมีเป้าหมายเพื่อเป็น“ กล่องเครื่องมือเลโก้” สำหรับทั้งนักเทรดที่ใช้เทคนิคและไม่ใช่นักเทคนิค แพลตฟอร์มนี้เปิดโลกแห่งความเป็นไปได้ในการซื้อขายใหม่สำหรับผู้ค้า crypto ที่ใช้ในการจัดการกับอินเทอร์เฟซการซื้อขายที่ จำกัด มากขึ้นและ Coinrule ช่วยให้ทุกคนสามารถเลือกกลยุทธ์ที่กำหนดไว้มากมายซึ่งสามารถทดสอบย้อนกลับได้ก่อนที่จะนำไปใช้. ผู้ค้าที่มีประสบการณ์มากขึ้นสามารถสร้างกลยุทธ์ที่เป็นเอกลักษณ์ของตนเองได้และด้วยเหตุนี้ผู้ค้าทุกระดับจึงสามารถมีส่วนร่วมในตลาด crypto ที่เปิดอยู่ตลอดเวลาและซื้อขายได้ตลอด 24 ชั่วโมง. แพลตฟอร์มนี้รองรับการแลกเปลี่ยนยอดนิยมเช่น Binance, BitMEX, Coinbase Pro และ Kraken และสามารถเข้าถึงได้ฟรีโดยใช้บัญชี Starter. การสมัครสมาชิกแบบชำระเงินมีตั้งแต่ $ 29.99 ถึง $ 249.99 ต่อเดือนโดยระดับบัญชีที่แตกต่างกันซึ่งออกแบบมาเพื่อรองรับผู้ค้าที่มีประสบการณ์และระดับกิจกรรมที่แตกต่างกัน. เยี่ยมชม Coinrule ภาพรวม Coinrule ก่อตั้งขึ้นในเดือนมีนาคม 2018 โดย Gabriele Musella CEO คนปัจจุบันและ COO Oleg Giberstein Coinrule ก่อตั้งขึ้นในสหราชอาณาจักรและมีหมายเลข บริษัท 11265766 นอกจากนี้ Coinrule […]

More

โซเชียลมีเดียควรจะเป็นวิธีที่มีความเป็นประชาธิปไตยสูงสำหรับเราทุกคนในการสื่อสารทั้งในหมู่เพื่อนและกับสาธารณชน แพลตฟอร์มเช่น Twitter และ YouTube สัญญากับเราในการพูดฟรี นโยบายการเซ็นเซอร์ที่รุนแรง กับประเภทเนื้อหาและแนวคิดมากมาย. เมื่อมีคนเข้าร่วมเป็นผู้สร้างเนื้อหาแบบเต็มเวลามากขึ้นคนเหล่านี้จึงต้องการวิธีที่จะสนับสนุนการดำรงอยู่ของตน แพลตฟอร์มเช่น YouTube เสนอช่องทางในการแบ่งปันรายได้จากโฆษณา แต่ผู้สร้างเนื้อหารู้สึกว่าเป็นเช่นนั้น ถูกคุกคามอย่างต่อเนื่อง กับการสูญเสียรายได้เนื่องจากความเหมาะสมและความไม่มั่นคงของโครงการแบ่งปันรายได้. จะเป็นอย่างไรหากมีโซลูชันบล็อกเชนที่โปร่งใสและสัญญาว่าจะไม่เซ็นเซอร์เนื้อหา นั่นคือสิ่งที่ LBRY สตาร์ทอัพด้านเทคโนโลยีอายุ 3 ปีหวังว่าจะประสบความสำเร็จด้วยแพลตฟอร์มของพวกเขา. เราได้พูดคุยกับหนึ่งในผู้ร่วมก่อตั้งของ LBRY และ Jeremy Kauffman ซีอีโอคนปัจจุบันเพื่อรับทราบความคิดเห็นของเขาเกี่ยวกับการเซ็นเซอร์การพูดอย่างเสรีและลักษณะการต่อต้านการเซ็นเซอร์ของเทคโนโลยีบล็อกเชนเช่น LBRY. LBRY คืออะไร? LBRY เป็นโปรโตคอลแบบกระจายอำนาจที่ออกแบบมาเพื่อให้ผู้คนสามารถแบ่งปันข้อมูลซึ่งกันและกันได้ฟรีหรือในราคา โดยเฉพาะอย่างยิ่ง LBRY เป็นส่วนหนึ่งของคู่แข่งของ YouTube คู่แข่งของผู้ขาย e-book ของ Amazon และเป็นส่วนหนึ่งของคู่แข่งในการขายเพลง iTunes แพลตฟอร์มนี้อนุญาตให้บุคคลทั่วไปอัปโหลดเนื้อหาและเรียกเก็บเงินตามราคาเพื่อปลดล็อกที่จ่ายเป็นสกุลเงินดิจิทัล นอกจากนี้ยังอนุญาตให้ผู้สร้างเนื้อหาเผยแพร่เนื้อหาได้ฟรีและยอมรับเคล็ดลับ. ปัจจุบัน LBRY ทำงานผ่านโปรแกรมที่ผู้ใช้ต้องติดตั้งลงในคอมพิวเตอร์. บทสัมภาษณ์ของเรากับ Jeremy Kauffman ซีอีโอของ LBRY พูดกับ Jeremy Kauffman […]

More

การขุด Bitcoin ควรนำโดย บริษัท ในสหรัฐอเมริกา นั่นเป็นไปตาม Layer1 ในซานฟรานซิสโกซึ่งเป็น บริษัท ขุดคริปโตเคอเรนซี (cryptocurrency) ที่เพิ่งได้รับเงิน 50 ล้านดอลลาร์จากนักลงทุนรวมถึง Peter Thiel ซึ่งเป็นที่รู้จักในการร่วมก่อตั้ง PayPal. บริษัท วางแผนที่จะจัดตั้งการดำเนินการขุดใหม่ในเวสต์เท็กซัสซึ่งพวกเขาจะใช้เทคโนโลยีการระบายความร้อนด้วยฮาร์ดแวร์ที่เป็นกรรมสิทธิ์ซึ่งพวกเขาแนะนำว่าจะทำให้การขุดในเท็กซัส (สถานที่ที่มีฤดูร้อนที่ร้อนแผดเผา) ไม่มีปัญหาเลย. แต่มันสำคัญหรือไม่หากการขุด bitcoin นำโดยสหรัฐอเมริกาและเป็นไปได้หรือไม่? จะเป็นปัญหาหรือไม่หากการขุด bitcoin นำโดยจีน? ภูมิทัศน์การขุดในปัจจุบัน ในช่วงไม่กี่ปีที่ผ่านมา บริษัท ในประเทศจีนเป็นผู้นำในการขุด bitcoin ตั้งค่าการดำเนินงานในระดับอุตสาหกรรมขนาดใหญ่และอ้างว่าบล็อก Bitcoin ส่วนใหญ่ที่ขุดได้. ยิ่งไปกว่านั้นกลุ่มการขุดที่ได้รับความนิยมมากที่สุดส่วนใหญ่ดำเนินการโดยองค์กรในประเทศจีน และอย่าลืมว่าอุปกรณ์ขุด ASIC ชั้นนำเกือบทั้งหมดผลิตในประเทศจีนหรืออย่างน้อยที่สุดก็ต้องพึ่งพาชิ้นส่วนและส่วนประกอบต่างๆที่ผลิตในประเทศ. สถานการณ์นี้ทำให้เกิดการถกเถียงกันอย่างมากในโลก bitcoin บางคนแย้งว่าตราบใดที่จีนยังควบคุมอัตราแฮชการขุด bitcoin ส่วนใหญ่ bitcoin ก็ตกอยู่ในความเสี่ยง. อย่างไรก็ตามคนอื่น ๆ ให้เหตุผลว่าทุกที่ที่มีการขุด bitcoin จะไม่ส่งผลกระทบอย่างมีนัยสำคัญต่อสกุลเงินหรือเสรีภาพในการเติบโตและพัฒนา Andreas Antonopoulos นักเขียนที่มีชื่อเสียงและผู้วิจารณ์ […]

More

การตรวจสอบใหม่โดยกลุ่มรายงานที่ไม่เปิดเผย Project Veritas อ้างว่า Chase Bank จงใจ “ยกเลิกธนาคาร” ลูกค้าบางรายโดยพิจารณาจากท่าทีทางการเมืองและการเป็นพันธมิตรของพวกเขา การสืบสวนเกิดขึ้นเมื่อ Enrique Tarrio พบว่าบัญชี Chase ของเขาถูกปิดใช้งานโดยไม่มีเหตุผลชัดเจน Tarrio ดำเนินการร้านค้าออนไลน์ที่ ขาย “ สินค้าอนุรักษ์นิยมที่ยั่วยุ” ดูเหมือนว่าไม่ใช่แค่ บริษัท ยักษ์ใหญ่ด้านเทคโนโลยีและโซเชียลมีเดียเท่านั้นที่คุณมีส่วนร่วมในการเซ็นเซอร์ cryptocurrency สามารถเสนอทางเลือกสำหรับไม่ใช่แค่การไม่แถเท่านั้น แต่ยังไม่แถด้วย? Skinny ในโครงการ Veritas Project Veritas นำโดย James O’Keefe มักจะเป็นข่าวพาดหัวที่สำคัญในช่วงไม่กี่ปีที่ผ่านมา พวกเขาเป็นที่รู้จักกันดีที่สุดจากแบรนด์ที่เป็นเอกลักษณ์ของการรายงานแบบเปิดเผยโดยที่พวกเขาทำให้คนวงในยอมรับการกระทำที่ขี้ขลาดทุกประเภท. ตัวอย่างบางส่วน ได้แก่ ไฟล์ การตรวจสอบ Twitter โดยที่พนักงานยอมรับว่าพวกเขามีส่วนร่วมในการห้ามที่มีแรงจูงใจในเชิงอุดมคติการห้ามเงาและสิ่งที่เรียกว่า ผู้บริหารของ Twitter ในภายหลัง ปฏิเสธสิ่งนี้, และบอกว่าบุคคลในกล้องไม่ได้พูดแทน บริษัท. Project Veritas เป็นหน่วยงานที่ค่อนข้างแตกแยกและไม่ใช่ทุกคนที่เห็นด้วยกับจุดมุ่งหมายของตน โดยทั่วไปองค์กรของพวกเขามีแนวโน้มที่จะกำหนดเป้าหมายไปที่บุคคลและกลุ่มที่ต่อต้านอนุรักษ์นิยมและต่อต้านการพูดโดยเสรี ด้วยเหตุนี้เรามาดูตัวอย่างกระสุนล่าสุดที่ออกโดยโครงการกัน. Chase Representative: […]

More

جستجوی “Altcoins” ، عبارت بومی رمزنگاری شده برای ارزهای رمزپایه که بیت کوین نیستند (BTC) ، از اواخر سال اخیر جذابیت جدیدی پیدا کرده است ، Google Trends. این پویایی باعث شده است که برخی از صاحبنظران در فضا به دلیل استقبال ، احتمالاً زودرس ، ورود به فصل آلتکوین همانطور که در سال 2017 […]

More