Cointime

Cointime

Download App
iOS & Android
หน้าแรก / โครงการ

Certora ร่วมมือกับทีม Vyper เพื่อให้ผู้ใช้สามารถปรับปรุงความปลอดภัยของรหัส Vyper ด้วยเครื่องมือ Prover

ตามข่าวอย่างเป็นทางการ Certora บริษัทรักษาความปลอดภัย Web3 กำลังทำงานร่วมกับทีม Vyper ภาษาสัญญาอัจฉริยะเพื่อเปิดเครื่องมือ Prover ให้กับผู้ใช้ทุกคน เพื่อช่วยเสริมสร้างความปลอดภัยของรหัส Vyper ในฐานะผู้ถือคีย์ชุมชน Vyper ผู้ใช้จะสามารถใช้ Certora Prover เพื่อตรวจสอบรหัส Vyper ได้จนถึงวันที่ 31 ธันวาคม 2023

เว็บ3
ความคิดเห็น

ความคิดเห็นทั้งหมด

Recommended for you

  • XEX เปิดตัวสัญญาไม่จำกัดระยะเวลา Slerf/USDT อย่างเป็นทางการในเวลา 19:00 น. ของวันที่ 22 พฤศจิกายน (UTC+8)

    ตามข่าวเมื่อวันที่ 22 พฤศจิกายน XEX ได้เปิดตัวสัญญาถาวรของ Slerf/USDT อย่างเป็นทางการในเวลา 19:00 น. ของวันที่ 22 พฤศจิกายน (UTC+8)

  • Binance จะเปิดตัวสัญญาไม่จำกัดระยะเวลา SLERFUSDT และ SCRTUSDT

    Binance จะเปิดตัวสัญญาไม่จำกัดระยะเวลา SLERFUSDT และ SCRTUSDT เวลา 11:30 น. ของวันที่ 21 พฤศจิกายน 2024 (UTC) โดยรองรับเลเวอเรจสูงถึง 75 เท่า

  • MARA Holdings, Inc. ประกาศการวางตลาดเฉพาะเจาะจงสำหรับตราสารหนี้ไม่ด้อยสิทธิแปลงสภาพมูลค่า 700 ล้านดอลลาร์

    วันนี้ MARA Holdings, Inc. ได้ประกาศความตั้งใจที่จะออกหุ้นกู้ไม่ด้อยสิทธิแปลงสภาพมูลค่า 700 ล้านดอลลาร์สหรัฐเป็นการส่วนตัว ซึ่งจะครบกำหนดในปี 2573 ("หมายเหตุ") โดยรายได้ส่วนใหญ่จะใช้เพื่อซื้อ Bitcoin และซื้อคืนหุ้นกู้ไม่ด้อยสิทธิแปลงสภาพที่มีอยู่ครบกำหนดในปี 2569 บันทึกย่อและเพื่อวัตถุประสงค์ทั่วไปขององค์กร MARA คาดว่าจะใช้รายได้สุทธิสูงสุดถึง 200 ล้านดอลลาร์จากการขายหุ้นกู้เพื่อซื้อคืนส่วนหนึ่งของหุ้นกู้แปลงสภาพที่มีอยู่ครบกำหนดในปี 2569 ("หุ้นกู้แปลงสภาพที่มีอยู่ปี 2569") ในธุรกรรมที่มีการเจรจาแบบส่วนตัว โดยรายได้สุทธิที่เหลือ ใช้เพื่อซื้อ Bitcoin มากขึ้นและเพื่อวัตถุประสงค์ทั่วไปขององค์กร ซึ่งอาจรวมถึงเงินทุนหมุนเวียน การเข้าซื้อกิจการเชิงกลยุทธ์ การขยายสินทรัพย์ที่มีอยู่ และการชำระหนี้เพิ่มเติม และหนี้คงค้างอื่น ๆ

  • กระทรวงประสิทธิภาพของรัฐบาลสหรัฐฯ นำโดย Musk วางแผนที่จะสำรวจการสร้างระบบการเลือกตั้งแบบบล็อคเชน "eVote"

    Shytoshi Kusama หัวหน้านักพัฒนานิรนามของ Shiba Inu ส่งต่อข้อมูลเกี่ยวกับ X (ชื่อเดิม Twitter) และแพลตฟอร์มบล็อกเชน เช่น Cardano, Hyperledger, Hedera ฯลฯ กำลังร่วมมือกันเพื่อสร้างโซลูชันการลงคะแนนทางอิเล็กทรอนิกส์และการยืนยันตัวตนทั่วประเทศ นักวิเคราะห์เชื่อว่าสิ่งนี้เกิดขึ้นแล้ว สอดคล้องกับการเน้นย้ำจุดยืนในการเลือกตั้งของทรัมป์มายาวนาน Shytoshi Kusama เชื่อว่าความสำเร็จของระบบขึ้นอยู่กับการบูรณาการการเข้ารหัสแบบโฮโมมอร์ฟิก (FHE) อย่างสมบูรณ์ ในขณะที่เรียกร้องให้ทรัมป์แต่งตั้งที่ปรึกษาบล็อคเชนมืออาชีพ

  • จีนและเปรูตกลงที่จะกระชับความร่วมมือในด้านเศรษฐกิจดิจิทัลและสาขาอื่นๆ และส่งเสริมการพัฒนาเทคโนโลยีแบบก้าวกระโดด เช่น AI และบล็อกเชน

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

  • AxiomNet เปิดตัวแผนการขยายตลาดที่สำคัญเพื่อเจาะลึกสถานการณ์การใช้งานบล็อกเชน

    เมื่อวันที่ 15 พฤศจิกายน AxiomNet ได้ประกาศเปิดตัวแผนการขยายตลาดหลัก โดยมีเป้าหมายเพื่อส่งเสริมโซลูชันข้อมูลบล็อกเชนที่ขับเคลื่อนด้วย AI ให้กับอุตสาหกรรมและตลาดหลักๆ มากขึ้น และส่งเสริมการประยุกต์ใช้บล็อกเชนในระดับโลกต่อไป AxiomNet มุ่งเน้นไปที่การนำเสนอโซลูชันข้อมูลอัจฉริยะสำหรับการเงินแบบกระจายอำนาจ (DeFi), Internet of Things (IoT), การจัดการห่วงโซ่อุปทาน และสาขาอื่นๆ แผนการขยายตลาดนี้จะช่วยให้ AxiomNet สามารถเจาะเข้าไปในภูมิภาคและอุตสาหกรรมต่างๆ ได้มากขึ้น ช่วยให้องค์กรและนักพัฒนาได้รับการสนับสนุนข้อมูลคุณภาพสูง แม่นยำ และเรียลไทม์ และปรับปรุงประสิทธิภาพและความปลอดภัยของแอปพลิเคชันบล็อกเชน

  • Binance จะเปิดตัวสัญญาถาวร DEGENUSDT

    ตามประกาศอย่างเป็นทางการ Binance จะเปิดตัวสัญญาถาวร DEGENUSDT โดยมีเลเวอเรจสูงสุดถึง 75 เท่า

  • ผลิตภัณฑ์การแปลงสินทรัพย์เป็นหลักทรัพย์ทางปัญญาตัวแรกของประเทศในรูปแบบ RMB ดิจิทัลได้รับการออกเรียบร้อยแล้ว

    "แผนพิเศษการสนับสนุนทรัพย์สินทางปัญญา Yongxing-Guofu-Ningbo ระยะที่ 1 (เฉพาะทาง พิเศษ และใหม่)" โดยมีบริษัทหลักทรัพย์จัดการกองทุน Yongzheng เป็นผู้จัดการ และมีบริษัทหลักทรัพย์ Yongxing เป็นตัวแทนขาย ได้จัดพิธีจดทะเบียนในตลาดหลักทรัพย์เซี่ยงไฮ้ เฟสแรก ขนาดการออก 138 ล้านหยวน ระยะเวลาการออก 1 ปี อัตราคูปอง 2.2% และอันดับเครดิตลำดับความสำคัญของผลิตภัณฑ์คือ AAA เป็นผลิตภัณฑ์การแปลงสินทรัพย์เป็นหลักทรัพย์ทางปัญญาตัวแรกที่เปิดตัวในรูปแบบของเงินหยวนดิจิทัล และยังเป็นโครงการแปลงสินทรัพย์เป็นหลักทรัพย์ทางปัญญาโครงการแรกในหนิงโปอีกด้วย

  • OpenAI วางแผนที่จะเปิดตัวเครื่องมือตัวแทน AI ชื่อรหัสว่า "Operator" ในเดือนมกราคมปีหน้า

    ตามข่าวเมื่อวันที่ 14 พฤศจิกายน OpenAI กำลังเตรียมที่จะเปิดตัวเครื่องมือตัวแทนปัญญาประดิษฐ์ใหม่ชื่อรหัสว่า "Operator" ซึ่งมีกำหนดจะเปิดตัวในเดือนมกราคม 2568 เครื่องมือนี้ทำงานอัตโนมัติบนคอมพิวเตอร์ของผู้ใช้ เช่น การเขียนโค้ดหรือการจองการเดินทาง ผู้นำ OpenAI ประกาศในการประชุมภายในเมื่อวันพุธว่าเครื่องมือนี้จะเปิดตัวเป็นตัวอย่างการวิจัย และเปิดให้นักพัฒนาใช้งานได้ผ่าน API ตามที่ผู้คนคุ้นเคยกับเรื่องนี้ ความคิดริเริ่มนี้เป็นส่วนหนึ่งของการผลักดันในวงกว้างโดยอุตสาหกรรม AI ในการพัฒนาซอฟต์แวร์ "ตัวแทน" ที่ช่วยให้ตัวแทน AI สามารถทำงานหลายขั้นตอนได้สำเร็จโดยมีการควบคุมดูแลน้อยที่สุด ก่อนหน้านี้ Microsoft ซึ่งเป็นผู้ลงทุนใน Anthropic และ OpenAI ได้เปิดตัวเครื่องมือตัวแทน AI ที่คล้ายกัน และ Google ก็กำลังพัฒนาผลิตภัณฑ์ที่คล้ายคลึงกันเช่นกัน

  • Atlas เปิดตัวโหมดซ่อนตัว และได้รับเงินทุน 6 ล้านดอลลาร์เพื่อเร่งการพัฒนาเนื้อหา 3 มิติที่สมจริง

    Atlas สตูดิโอออกแบบ 3D generative AI เปิดตัวจากการลักลอบ โดยระดมเงินทุนได้ทั้งหมด 6 ล้านเหรียญสหรัฐ ในบรรดานั้น การจัดหาเงินทุนรอบแรกมูลค่า 4.5 ล้านดอลลาร์สหรัฐนำโดย Man Ventures ครั้งที่ 6 ในขณะที่ Collab+Currency เป็นผู้นำการจัดหาเงินทุน 1.5 ล้านดอลลาร์สหรัฐ นักลงทุนรายอื่น ได้แก่ Contango, Gaingels, GFR Fund, New Renaissance Ventures, Square Enix, Wagmi Ventures และ A16z ผ่าน Shrapnel Atlas ยังประกาศความร่วมมือหลายครั้งกับผู้พัฒนาเกม Web3 ชั้นนำ บริษัทจะใช้เงินทุนเพื่อเร่งการพัฒนาชุดโซลูชันสำหรับนักพัฒนา และสร้างแพลตฟอร์ม 3D AI

ต้องอ่านทุกวัน

กิจกรรมยอดนิยม

Delysium $AGI & AI Private Yacht Party

Delysium $AGI & AI Private Yacht Party

March 27 - March 27
Seoul
Cointime
เนื้อหา
บริษัท