Veridise Re-poster
63 ໂພສ
Veridise Re-poster
ລາຍງານ
ບລັອກຜູ້ໃຊ້
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
0 ກໍາລັງຕິດຕາມ
1 ຜູ້ຕິດຕາມ
3 Liked
ໂພສ
ທັງໝົດ
ວີດີໂອ
ສໍາລັບຄໍາອະທິບາຍແບບຂັ້ນຕອນຕໍ່ຂັ້ນຕອນວ່າມັນເຮັດແນວໃດ, ກະລຸນາເບິ່ງຄໍາອະທິບາຍ (walkthrough) ທີ່ໃຫ້ໂດຍ @RaghavMalik15 ດ້ານລຸ່ມນີ້. ທ່ານຈະສັງເກດເຫັນວ່າ Z3 ສາມາດຕັ້ງແກ້ພາລະຜູກມັດ (proof obligation) ຂອງ LLZK ນີ້ໄດ້ຢ່າງສໍາເລັດຜົນໃນເວລາບໍ່ເກີນພາຍໃນຫນຶ່ງວິນາທີ. ໃນທີ່ສຸດ, ເນື່ອງຈາກວ່າຂໍ້ອ້າງກ່ອນບໍ່ສາມາດຖືກຕອບສະໜອງໄດ້ (antecedent cannot be satisfied), ຈຶ່ງບໍ່ຈໍາເປັນມີການພິສູດເພີ່ມເຕີມ.
ສໍາລັບຄໍາອະທິບາຍແບບຂັ້ນຕອນຕໍ່ຂັ້ນຕອນວ່າມັນເຮັດແນວໃດ, ກະລຸນາເບິ່ງຄໍາອະທິບາຍ (walkthrough) ທີ່ໃຫ້ໂດຍ @RaghavMalik15 ດ້ານລຸ່ມນີ້. ທ່ານຈະສັງເກດເຫັນວ່າ Z3 ສາມາດຕັ້ງແກ້ພາລະຜູກມັດ (proof obligation) ຂອງ LLZK ນີ້ໄດ້ຢ່າງສໍາເລັດຜົນໃນເວລາບໍ່ເກີນພາຍໃນຫນຶ່ງວິນາທີ. ໃນທີ່ສຸດ, ເນື່ອງຈາກວ່າຂໍ້ອ້າງກ່ອນບໍ່ສາມາດຖືກຕອບສະໜອງໄດ້ (antecedent cannot be satisfied), ຈຶ່ງບໍ່ຈໍາເປັນມີການພິສູດເພີ່ມເຕີມ.
1
1
492
Unha data obxectivo estrita de decembro de 2029 foi establecida oficialmente por Ethereum para acadar resistencia cuántica. Curiosamente, este calendario está impulsado integramente polo calendario de despregamento das actualizacións de protección, en lugar de esperar a ver cando xurdan realmente computadores cuánticos funcionais. Para acadar este fito serán necesarias cinco bifurcacións de rede distintas, e cada fase ten asignados exactamente 7.2 meses. O itinerario de desenvolvemento é extremadamente axustado e non deixa absolutamente ningún espazo para atrasos. Podes revisar todos os detalles en https://blog.ethereum.org/2026/09/07/protocol-priorities
Unha data obxectivo estrita de decembro de 2029 foi establecida oficialmente por Ethereum para acadar resistencia cuántica. Curiosamente, este calendario está impulsado integramente polo calendario de despregamento das actualizacións de protección, en lugar de esperar a ver cando xurdan realmente computadores cuánticos funcionais. Para acadar este fito serán necesarias cinco bifurcacións de rede distintas, e cada fase ten asignados exactamente 7.2 meses. O itinerario de desenvolvemento é extremadamente axustado e non deixa absolutamente ningún espazo para atrasos. Podes revisar todos os detalles en https://blog.ethereum.org/2026/09/07/protocol-priorities
51
Uhlelo lwangaphandle lusebenza njengesisekelo esibalulekile sekhodi esekelwe ku-on-chain, okusho ukuthi ukuba khona kwazo akufanele neze kubhekwe njengophawu oluzenzakalelayo lwengozi. Kodwa kunezimo ezithile ezi-2 kuphela ezibonisa ngempela ubungozi. Inkinga yokuqala enkulu ivela lapho kwenzeka khona isibuyekezo sesimo kuphela ngemva kokuba ikholi isiqedile. Ubungozi besibili buvela uma umyalelo wokusebenza unikezwa ikhodi okungekho muntu owake wayihlola kahle.
Uhlelo lwangaphandle lusebenza njengesisekelo esibalulekile sekhodi esekelwe ku-on-chain, okusho ukuthi ukuba khona kwazo akufanele neze kubhekwe njengophawu oluzenzakalelayo lwengozi. Kodwa kunezimo ezithile ezi-2 kuphela ezibonisa ngempela ubungozi. Inkinga yokuqala enkulu ivela lapho kwenzeka khona isibuyekezo sesimo kuphela ngemva kokuba ikholi isiqedile. Ubungozi besibili buvela uma umyalelo wokusebenza unikezwa ikhodi okungekho muntu owake wayihlola kahle.
34
Una volta estableixes l’equivalència una sola vegada, analitzar qualsevol detall addicional d’un circuit ja no és un problema ZK. El procés passa de manera suau a una tasca estàndard de verificació de programes. Aquest canvi ens permet reutilitzar immediatament dècades de tècniques clàssiques. Uneix-te a @RaghavMalik15 mentre explora aquest element totalment inesperat de LLEQ.
Una volta estableixes l’equivalència una sola vegada, analitzar qualsevol detall addicional d’un circuit ja no és un problema ZK. El procés passa de manera suau a una tasca estàndard de verificació de programes. Aquest canvi ens permet reutilitzar immediatament dècades de tècniques clàssiques. Uneix-te a @RaghavMalik15 mentre explora aquest element totalment inesperat de LLEQ.
120
که تاسو لیواله یاست چې څنګه $27M کولی شي د یوې ساده انعام محاسبې له لارې له یو سیستم څخه ووځي، @FormallyJon وضعیت په روښانه ډول تشریح کوي. اصلي زیان/ضعف د محاسبې په منطق کې یو پټ بنسټیز غلطوالی و، چې له امله یې ورته ټوکنونه دوه ځله په جلا جلا توګه ثبت شول. سیستم لومړی دغه پیسې د یوې داسې زېرمو په توګه وپیژندلې چې پروتوکول یې مکلف و بیرته ورکړي، او بیا یې په جلا توګه د یوه ترلاسه شوي انعام په توګه ثبت کړې. تر ټولو مهمه دا ده چې د دې دواړو بیلانسونو اجازه ورکړل شوې وه چې د وتلو لپاره موجود وي. که څه هم د بیا ننوتلو (reentrancy) یو اکسپلویت فنکشن د برید د سپارلو/رسولو میکانیزم و، خو اصلي بګ هماغه د محاسبې غلط منطق و.
که تاسو لیواله یاست چې څنګه $27M کولی شي د یوې ساده انعام محاسبې له لارې له یو سیستم څخه ووځي، @FormallyJon وضعیت په روښانه ډول تشریح کوي. اصلي زیان/ضعف د محاسبې په منطق کې یو پټ بنسټیز غلطوالی و، چې له امله یې ورته ټوکنونه دوه ځله په جلا جلا توګه ثبت شول. سیستم لومړی دغه پیسې د یوې داسې زېرمو په توګه وپیژندلې چې پروتوکول یې مکلف و بیرته ورکړي، او بیا یې په جلا توګه د یوه ترلاسه شوي انعام په توګه ثبت کړې. تر ټولو مهمه دا ده چې د دې دواړو بیلانسونو اجازه ورکړل شوې وه چې د وتلو لپاره موجود وي. که څه هم د بیا ننوتلو (reentrancy) یو اکسپلویت فنکشن د برید د سپارلو/رسولو میکانیزم و، خو اصلي بګ هماغه د محاسبې غلط منطق و.
71
Izinguquko zenethiwekhi eMina zingaphoqa wonke i-zkApp ukuthi ibuyekeze ukhiye wayo wokuqinisekisa, isidingo esibangela ukuthi ukusethwa okujwayelekile kwe-multisig kwehluleke ngokuphelele lapho bezama ukuzivumelanisa. Ukuze kuxazululwe le nselele, i-Mina Multisig yethule indlela esebenzisa i-FROST. Ngaphambi kokuthi u-@nori_zk akhiphe le sistimu ku-@MinaProtocol, u-Veridise wenze ukubuyekezwa okuphelele kwalesi sixazululo, futhi lokhu kuhlola okwamanje kubhalwe ku-AuditHub. Isoftware manje isivulekele ngokuphelele umphakathi, okuyinsiza enhle kakhulu kunoma yiliphi iqembu le-Mina elisebenza ngezinhlelo zokusebenza zesikhwama noma amathuluzi okuzibamba (self-custody).
Izinguquko zenethiwekhi eMina zingaphoqa wonke i-zkApp ukuthi ibuyekeze ukhiye wayo wokuqinisekisa, isidingo esibangela ukuthi ukusethwa okujwayelekile kwe-multisig kwehluleke ngokuphelele lapho bezama ukuzivumelanisa. Ukuze kuxazululwe le nselele, i-Mina Multisig yethule indlela esebenzisa i-FROST. Ngaphambi kokuthi u-@nori_zk akhiphe le sistimu ku-@MinaProtocol, u-Veridise wenze ukubuyekezwa okuphelele kwalesi sixazululo, futhi lokhu kuhlola okwamanje kubhalwe ku-AuditHub. Isoftware manje isivulekele ngokuphelele umphakathi, okuyinsiza enhle kakhulu kunoma yiliphi iqembu le-Mina elisebenza ngezinhlelo zokusebenza zesikhwama noma amathuluzi okuzibamba (self-custody).
54
ຄວາມຄິດທັງໝົດຂອງການຮັກສາຊັບສິນດ້ວຍຕົນເອງ (self-custodial) ພັງທະລາຍທັນທີເມື່ອຜູ້ຄົນຖືກກຳນົດໃຫ້ນຳຊັບສິນໄປຝາກໄວ້ໃນສັນຍາການໃຊ້ຈ່າຍ (spending contract) ສຳລັບ Rain. ພວກເຮົາໄດ້ເຫັນການສູນເສຍ $500K ຢູ່ Avici, ພ້ອມກັບ $430K ທີ່ຫາຍໄປຢູ່ Tria. ໃນທີ່ສຸດ, ຄຳຢືນຢັນໃດໆ ກ່ຽວກັບການຮັກສາການຄອບຄຸມກໍ່ມີຄວາມໝາຍຢ່າງສິ້ນເຊີງ ຖ້າ routing contract ທີ່ທ່ານໃຊ້ນັ້ນບັງເອີນມີຊ່ອງໂຫວດ.
ຄວາມຄິດທັງໝົດຂອງການຮັກສາຊັບສິນດ້ວຍຕົນເອງ (self-custodial) ພັງທະລາຍທັນທີເມື່ອຜູ້ຄົນຖືກກຳນົດໃຫ້ນຳຊັບສິນໄປຝາກໄວ້ໃນສັນຍາການໃຊ້ຈ່າຍ (spending contract) ສຳລັບ Rain. ພວກເຮົາໄດ້ເຫັນການສູນເສຍ $500K ຢູ່ Avici, ພ້ອມກັບ $430K ທີ່ຫາຍໄປຢູ່ Tria. ໃນທີ່ສຸດ, ຄຳຢືນຢັນໃດໆ ກ່ຽວກັບການຮັກສາການຄອບຄຸມກໍ່ມີຄວາມໝາຍຢ່າງສິ້ນເຊີງ ຖ້າ routing contract ທີ່ທ່ານໃຊ້ນັ້ນບັງເອີນມີຊ່ອງໂຫວດ.
70
Tiemanageri di asset na mga risk curators, maaari na ngayong magbigay ng ani mula sa iisang deposito lamang dahil tumpak na kinakalkula ng mga kontrata mula sa @Lombard_Finance ang presyo ng mga deposito sa Bitcoin sa iba’t ibang shards at converters. Sa ganitong setup, nagiging maayos ang mga paglipat ng vault na matagumpay na naipapasa ang tamang share price. Bago pa man palakihin ang platform gamit ang mga aktuwal na deposito, nagsagawa si Veridise ng masusing pagsusuri sa sistema.
Tiemanageri di asset na mga risk curators, maaari na ngayong magbigay ng ani mula sa iisang deposito lamang dahil tumpak na kinakalkula ng mga kontrata mula sa @Lombard_Finance ang presyo ng mga deposito sa Bitcoin sa iba’t ibang shards at converters. Sa ganitong setup, nagiging maayos ang mga paglipat ng vault na matagumpay na naipapasa ang tamang share price. Bago pa man palakihin ang platform gamit ang mga aktuwal na deposito, nagsagawa si Veridise ng masusing pagsusuri sa sistema.
77
ສາມາດສ້າງວົງຈອນ ZK ທີ່ຜ່ານທຸກການທົດສອບການກວດສອບຂອງທ່ານໄດ້ຢ່າງສົມບູນ ແຕ່ແທ້ໆແລ້ວກໍາລັງຄຳນວນຜົນລັບທີ່ບໍ່ໄດ້ຕັ້ງໃຈຂຶ້ນມາແບບທັງໝົດ. ມີເຄື່ອງກວດສອບ (verifier) ແບບ open source ຊື່ໃໝ່ທີ່ເອີ້ນວ່າ LLEQ ຖືກສ້າງຂຶ້ນໂດຍສະເພາະເພື່ອກວດຈັບບັນຫານີ້ໂດຍຕົງ, ແລະມັນກໍມີໃຫ້ໃຊ້ງານຢ່າງເປັນທາງການທັນທີຂະນະນີ້.
ສາມາດສ້າງວົງຈອນ ZK ທີ່ຜ່ານທຸກການທົດສອບການກວດສອບຂອງທ່ານໄດ້ຢ່າງສົມບູນ ແຕ່ແທ້ໆແລ້ວກໍາລັງຄຳນວນຜົນລັບທີ່ບໍ່ໄດ້ຕັ້ງໃຈຂຶ້ນມາແບບທັງໝົດ. ມີເຄື່ອງກວດສອບ (verifier) ແບບ open source ຊື່ໃໝ່ທີ່ເອີ້ນວ່າ LLEQ ຖືກສ້າງຂຶ້ນໂດຍສະເພາະເພື່ອກວດຈັບບັນຫານີ້ໂດຍຕົງ, ແລະມັນກໍມີໃຫ້ໃຊ້ງານຢ່າງເປັນທາງການທັນທີຂະນະນີ້.
79
ដើម្បីកំណត់កំហុសដែលអាចរកឃើញដោយបញ្ញាសិប្បនិម្មិត ក្រុមស្ម័គ្រចិត្ត red team ដែលមានអ្នកអភិវឌ្ឍន៍ 20 ទៅ 25 នាក់បានពិនិត្យមើលភាគច្រើននៃកម្មវិធីប្រភពបើកចំហសម្រាប់ Bitcoin រួចហើយ។ ការពិតនៅថ្ងៃនេះគឺថា អ្នកវាយប្រហារមិនចាំបាច់ត្រូវការយូរឆ្នាំនៃជំនាញទៀតទេ ព្រោះម៉ូដែលថោកមួយឥឡូវនេះគឺអ្វីដែលពួកគេត្រូវការ។ ដោយសារការផ្លាស់ប្តូរយ៉ាងលឿននេះ វិធីសាស្រ្តពិនិត្យแบบ ad hoc មិនអាចធ្វើតាមទាន់បានទេ។ បន្តទៅមុខ ការធានាដែលអាចបញ្ជាក់បានពិតប្រាកដនឹងមាន។
ដើម្បីកំណត់កំហុសដែលអាចរកឃើញដោយបញ្ញាសិប្បនិម្មិត ក្រុមស្ម័គ្រចិត្ត red team ដែលមានអ្នកអភិវឌ្ឍន៍ 20 ទៅ 25 នាក់បានពិនិត្យមើលភាគច្រើននៃកម្មវិធីប្រភពបើកចំហសម្រាប់ Bitcoin រួចហើយ។ ការពិតនៅថ្ងៃនេះគឺថា អ្នកវាយប្រហារមិនចាំបាច់ត្រូវការយូរឆ្នាំនៃជំនាញទៀតទេ ព្រោះម៉ូដែលថោកមួយឥឡូវនេះគឺអ្វីដែលពួកគេត្រូវការ។ ដោយសារការផ្លាស់ប្តូរយ៉ាងលឿននេះ វិធីសាស្រ្តពិនិត្យแบบ ad hoc មិនអាចធ្វើតាមទាន់បានទេ។ បន្តទៅមុខ ការធានាដែលអាចបញ្ជាក់បានពិតប្រាកដនឹងមាន។
70
Ividiyo ifakwe isixwayiso kuleli sonto mayelana nokushintsha okubalulekile kwezokuphepha kwedijithali. Ngokwesiko, izigebengu ze-cyber zazivame ukunganaki isikhwama esingu-$20K ngoba umzamo odingekayo wawukhulu kakhulu kunokuzuza okungaba khona kwezimali. Ukwethulwa kwe-agent ye-AI kususa ngokuphelele leyo ndlela yokubheka izindleko nenzuzo eyayikhona ngaphambilini. Ngokusebenzisa lobu buchwepheshe, umhlaseli oyedwa manje unamandla okufuna wonke umuntu ngesikhathi esisodwa. Kuyathakazelisa ukuthi ukudalulwa kwangempela akuzange kube yi-AI uqobo. Inkinga yangempela ukuthi i-wallet logic yethu yamanje yakhelwe ngokukhethekile ukuvikela umhlaseli ongumuntu.
Ividiyo ifakwe isixwayiso kuleli sonto mayelana nokushintsha okubalulekile kwezokuphepha kwedijithali. Ngokwesiko, izigebengu ze-cyber zazivame ukunganaki isikhwama esingu-$20K ngoba umzamo odingekayo wawukhulu kakhulu kunokuzuza okungaba khona kwezimali. Ukwethulwa kwe-agent ye-AI kususa ngokuphelele leyo ndlela yokubheka izindleko nenzuzo eyayikhona ngaphambilini. Ngokusebenzisa lobu buchwepheshe, umhlaseli oyedwa manje unamandla okufuna wonke umuntu ngesikhathi esisodwa. Kuyathakazelisa ukuthi ukudalulwa kwangempela akuzange kube yi-AI uqobo. Inkinga yangempela ukuthi i-wallet logic yethu yamanje yakhelwe ngokukhethekile ukuvikela umhlaseli ongumuntu.
59
Ngenkathi kubuka lolu hlelo lwesonto le-Auditor's Take, u-@FormallyJon ugqamisa umgomo oyisisekelo ngemuva kwawo wonke amaphuli we-constant-product. Lawa mapulasi asebenza ngokuphepha ngaphansi kwesimo esisodwa esibucayi, okuwukuthi amandla angaphandle akumele neze axhumane nezinqolobane zawo. Ngokushesha lapho lokho kucabanga okuyisisekelo kuphazamiseka, iziqinisekiso ezinikezwa leli pool ziyawa kanye nakho.
Ngenkathi kubuka lolu hlelo lwesonto le-Auditor's Take, u-@FormallyJon ugqamisa umgomo oyisisekelo ngemuva kwawo wonke amaphuli we-constant-product. Lawa mapulasi asebenza ngokuphepha ngaphansi kwesimo esisodwa esibucayi, okuwukuthi amandla angaphandle akumele neze axhumane nezinqolobane zawo. Ngokushesha lapho lokho kucabanga okuyisisekelo kuphazamiseka, iziqinisekiso ezinikezwa leli pool ziyawa kanye nakho.
73
ខណៈដែលអ្នកអភិវឌ្ឍន៍ Ethereum ត្រៀមខ្លួនសម្រាប់ការអាប់ដេត Hegotá ឆ្នាំ 2027 ពួកគេកំពុងផ្តោតយ៉ាងសកម្មលើការកាត់បន្ថយបញ្ជីសំណើចំនួន 66។ ខណៈដែល FOCIL បានទទួលកន្លែងរបស់ខ្លួនហើយនៅក្នុងការអាប់ដេតដែលនឹងមកដល់ ការជជែកដ៏សំខាន់បំផុតកំពុងផ្តោតលើ EIP ជាក់លាក់។ សំណើទាំងនេះមានគោលបំណងដើម្បីផ្តល់ស្រទាប់មូលដ្ឋានដល់កម្មវិធីភាពឯកជន ដែលអាចលុបបំបាត់តម្រូវការសម្រាប់អ្នកសម្រុះសម្រួលដែលទុកចិត្តបានទាំងស្រុង។ នៅទីបញ្ចប់ ដំណោះស្រាយដែលត្រូវបានជ្រើសរើសនឹងកំណត់ទម្រង់ផ្ទៃវាយប្រហារ (attack surface) ដ៏ត្រឹមត្រូវ ដែលអ្នកសវនករ ZK ទាំងអស់នឹងត្រូវប្រឈមមុខជាបន្តបន្ទាប់។
ខណៈដែលអ្នកអភិវឌ្ឍន៍ Ethereum ត្រៀមខ្លួនសម្រាប់ការអាប់ដេត Hegotá ឆ្នាំ 2027 ពួកគេកំពុងផ្តោតយ៉ាងសកម្មលើការកាត់បន្ថយបញ្ជីសំណើចំនួន 66។ ខណៈដែល FOCIL បានទទួលកន្លែងរបស់ខ្លួនហើយនៅក្នុងការអាប់ដេតដែលនឹងមកដល់ ការជជែកដ៏សំខាន់បំផុតកំពុងផ្តោតលើ EIP ជាក់លាក់។ សំណើទាំងនេះមានគោលបំណងដើម្បីផ្តល់ស្រទាប់មូលដ្ឋានដល់កម្មវិធីភាពឯកជន ដែលអាចលុបបំបាត់តម្រូវការសម្រាប់អ្នកសម្រុះសម្រួលដែលទុកចិត្តបានទាំងស្រុង។ នៅទីបញ្ចប់ ដំណោះស្រាយដែលត្រូវបានជ្រើសរើសនឹងកំណត់ទម្រង់ផ្ទៃវាយប្រហារ (attack surface) ដ៏ត្រឹមត្រូវ ដែលអ្នកសវនករ ZK ទាំងអស់នឹងត្រូវប្រឈមមុខជាបន្តបន្ទាប់។
45
Ngehlelo lale viki lekhombandlela le-Auditor's Take, u-@FormallyJon uchaza inkinga ethize yokulandelanisa eyake yakhulula i-Future Protocol esikhathini esisanda kudlula. Okubalulekile kule nkinga bekungumsebenzi ovamile nje ojwayelekile emithathu: ukudlulisa, ikholi ye-sync, nokushisa (burn). Uma le miyalo yenziwa ngokulandelana okufanele, yonke into isebenza ngendlela ebekwe ngayo futhi akukho okungajwayelekile okwenzekayo. Kodwa-ke, ukumane nje uqalise lezo zinyathelo ezifanayo ngokulandelana okungalungile kwaholela ekutheni u-$4.6M ukhishwe uphume echibini (pool).
Ngehlelo lale viki lekhombandlela le-Auditor's Take, u-@FormallyJon uchaza inkinga ethize yokulandelanisa eyake yakhulula i-Future Protocol esikhathini esisanda kudlula. Okubalulekile kule nkinga bekungumsebenzi ovamile nje ojwayelekile emithathu: ukudlulisa, ikholi ye-sync, nokushisa (burn). Uma le miyalo yenziwa ngokulandelana okufanele, yonke into isebenza ngendlela ebekwe ngayo futhi akukho okungajwayelekile okwenzekayo. Kodwa-ke, ukumane nje uqalise lezo zinyathelo ezifanayo ngokulandelana okungalungile kwaholela ekutheni u-$4.6M ukhishwe uphume echibini (pool).
57
Ukukhipha i-burn, ukwenza i-sync call, nokudlulisa ngendlela elandelanayo efanele kuqinisekisa ukuthi konke kuyasebenza ngendlela evamile ngaphandle kwenkinga. Nokho, ukubangela lezi zenzo ezintathu ezifanayo ngokulandelana okungalungile kuholela emiphumeleni ebucayi. Lesi simo esithile yindlela u-$4.6M asuswe ngayo echibini. Ku-Edition yakamuva ye-Auditor's Take, @FormallyJon unikeza ukuchazwa okuningiliziwe kwenkinga yokulandelana eqondile eyachitha i-Future Protocol.
Ukukhipha i-burn, ukwenza i-sync call, nokudlulisa ngendlela elandelanayo efanele kuqinisekisa ukuthi konke kuyasebenza ngendlela evamile ngaphandle kwenkinga. Nokho, ukubangela lezi zenzo ezintathu ezifanayo ngokulandelana okungalungile kuholela emiphumeleni ebucayi. Lesi simo esithile yindlela u-$4.6M asuswe ngayo echibini. Ku-Edition yakamuva ye-Auditor's Take, @FormallyJon unikeza ukuchazwa okuningiliziwe kwenkinga yokulandelana eqondile eyachitha i-Future Protocol.
66
ETHCC កាលពីពេលបទបង្ហាញមួយ @FormallyJon បានចែករំលែកទស្សនៈដ៏សំខាន់មួយអំពីសុវត្ថិភាពនៃទ្រព្យសម្បត្តិឌីជីថល។ ក្នុងឆ្នាំ 2024 ការវាយប្រហារលើកិច្ចសន្យាឆ្លាតវៃ (smart contracts) បាននាំឲ្យខាតបង់ទឹកប្រាក់ចំនួន $348 លាន។ មូលហេតុសំខាន់មួយនៃការខាតបង់ទាំងនេះ គឺឧបករណ៍ត្រួតពិនិត្យស្តង់ដារ ជាទូទៅធ្វើឲ្យមានសញ្ញារំខានតែបន្ទាប់ពីការឈ្លានពានបានចាប់ផ្តើមហើយ មានន័យថា ទ្រព្យដែលត្រូវបានគ្រប់គ្រងខូចខាត ត្រូវបានបាត់បង់រួចទៅហើយ មុនពេលអ្នកណាម្នាក់សម្គាល់ឃើញ។ យើងត្រូវផ្លាស់ប្តូរយុទ្ធសាស្ត្ររបស់យើង ដើម្បីរកឃើញចំណុចខ្សោយទាំងនេះជាមុនជាប្រក្រតី (proactively) ជំនួសការប្រញាប់ប្រញាល់ជួសជុលភាពងាយរងគ្រោះតែបន្ទាប់ពីអ្នកប្រើប្រាស់បានរកឃើញវាហើយ។
ETHCC កាលពីពេលបទបង្ហាញមួយ @FormallyJon បានចែករំលែកទស្សនៈដ៏សំខាន់មួយអំពីសុវត្ថិភាពនៃទ្រព្យសម្បត្តិឌីជីថល។ ក្នុងឆ្នាំ 2024 ការវាយប្រហារលើកិច្ចសន្យាឆ្លាតវៃ (smart contracts) បាននាំឲ្យខាតបង់ទឹកប្រាក់ចំនួន $348 លាន។ មូលហេតុសំខាន់មួយនៃការខាតបង់ទាំងនេះ គឺឧបករណ៍ត្រួតពិនិត្យស្តង់ដារ ជាទូទៅធ្វើឲ្យមានសញ្ញារំខានតែបន្ទាប់ពីការឈ្លានពានបានចាប់ផ្តើមហើយ មានន័យថា ទ្រព្យដែលត្រូវបានគ្រប់គ្រងខូចខាត ត្រូវបានបាត់បង់រួចទៅហើយ មុនពេលអ្នកណាម្នាក់សម្គាល់ឃើញ។ យើងត្រូវផ្លាស់ប្តូរយុទ្ធសាស្ត្ររបស់យើង ដើម្បីរកឃើញចំណុចខ្សោយទាំងនេះជាមុនជាប្រក្រតី (proactively) ជំនួសការប្រញាប់ប្រញាល់ជួសជុលភាពងាយរងគ្រោះតែបន្ទាប់ពីអ្នកប្រើប្រាស់បានរកឃើញវាហើយ។
72
ບໍ່ດົນມານີ້ ບໍລິສັດຄรິບໂຕ 3 ສິບແຫ່ງ ໄດ້ຍື່ນຂໍເອກະສານໃຫ້ກັບແລັບດ້ານ AI ເພື່ອຂໍໃຫ້ຕິດຕັ້ງຄວາມສາມາດດ້ານການຈູ່ໂຈມທີ່ຄືກັນກັບທີ່ຜູ້ບຸກລຸກມີຢູ່ແລ້ວ. ພວກເຮົາຕ້ອງຈື່ໄວ້ວ່າ ການບັນລຸຄວາມເທົ່າທຽມໃນຟັງຊັນການຄົ້ນຫາບໍ່ໄດ້ແປວ່າຈະສາມາດບັນລຸຄວາມເທົ່າທຽມໃນການຮັບປະກັນດ້ານຄວາມປອດໄພໄດ້ທັນທີ. ເຖິງວ່າ ໂມເດວປັນຍາປະດິດສາມາດກຳນົດເສັ້ນທາງໄດ້ຫຼາຍກວ່າມະນຸດທຸກຄົນຢ່າງຫຼວງຫຼາຍ ແຕ່ມັນຍັງບໍ່ສາມາດກວດສອບເສັ້ນທາງທີ່ມັນບໍ່ໄດ້ເປີດອອກຈິງໆເຄີຍເປີດເລີຍ.
ບໍ່ດົນມານີ້ ບໍລິສັດຄรິບໂຕ 3 ສິບແຫ່ງ ໄດ້ຍື່ນຂໍເອກະສານໃຫ້ກັບແລັບດ້ານ AI ເພື່ອຂໍໃຫ້ຕິດຕັ້ງຄວາມສາມາດດ້ານການຈູ່ໂຈມທີ່ຄືກັນກັບທີ່ຜູ້ບຸກລຸກມີຢູ່ແລ້ວ. ພວກເຮົາຕ້ອງຈື່ໄວ້ວ່າ ການບັນລຸຄວາມເທົ່າທຽມໃນຟັງຊັນການຄົ້ນຫາບໍ່ໄດ້ແປວ່າຈະສາມາດບັນລຸຄວາມເທົ່າທຽມໃນການຮັບປະກັນດ້ານຄວາມປອດໄພໄດ້ທັນທີ. ເຖິງວ່າ ໂມເດວປັນຍາປະດິດສາມາດກຳນົດເສັ້ນທາງໄດ້ຫຼາຍກວ່າມະນຸດທຸກຄົນຢ່າງຫຼວງຫຼາຍ ແຕ່ມັນຍັງບໍ່ສາມາດກວດສອບເສັ້ນທາງທີ່ມັນບໍ່ໄດ້ເປີດອອກຈິງໆເຄີຍເປີດເລີຍ.
72
87 ປີທີ່ຄາດໝາຍທາງຄณິດສາດອັນໜຶ່ງທີ່ຍືນຢູ່ມາ ຖືກປະຕິເສດເມື່ອໃໝ່ໂດຍ Claude Fable 5. ໂດຍສົນໃຈ, ຕົວຢ່າງຕ້ານທີ່ຄົ້ນພົບສາມາດຜ່ານການກວດສອບຄວາມ invertibility ທົ່ວໄປໄດ້ສຳເລັດ. ແຕ່ຍ້ອນມັນທີ່ປ່ຽນສາມອິນພຸດທີ່ແຕກຕ່າງກັນໄປເປັນຜົນລັບ (output) ອັນດຽວກັນ, ມັນຈຶ່ງຍັງບໍ່ສາມາດກັບຄືນໄດ້ (invert) ຢູ່.
ສະຖານະການນີ້ສະແດງໃຫ້ເຫັນຊັດວ່າ ການຜ່ານການກວດສອບພຽງແຕ່ ບໍ່ແມ່ນການຢືນຢັນເປັນຫຼັກຖານຈິງ. ພຽງແຕ່ໃນຊ່ອງວ່າງທາງຕົກລົງນີ້ແຫລະ ບັກ ZK ທີ່ຖືກຄວບຄຸມບໍ່ພໍ (underconstrained) ຈຶ່ງມີຢູ່.
87 ປີທີ່ຄາດໝາຍທາງຄณິດສາດອັນໜຶ່ງທີ່ຍືນຢູ່ມາ ຖືກປະຕິເສດເມື່ອໃໝ່ໂດຍ Claude Fable 5. ໂດຍສົນໃຈ, ຕົວຢ່າງຕ້ານທີ່ຄົ້ນພົບສາມາດຜ່ານການກວດສອບຄວາມ invertibility ທົ່ວໄປໄດ້ສຳເລັດ. ແຕ່ຍ້ອນມັນທີ່ປ່ຽນສາມອິນພຸດທີ່ແຕກຕ່າງກັນໄປເປັນຜົນລັບ (output) ອັນດຽວກັນ, ມັນຈຶ່ງຍັງບໍ່ສາມາດກັບຄືນໄດ້ (invert) ຢູ່.
ສະຖານະການນີ້ສະແດງໃຫ້ເຫັນຊັດວ່າ ການຜ່ານການກວດສອບພຽງແຕ່ ບໍ່ແມ່ນການຢືນຢັນເປັນຫຼັກຖານຈິງ. ພຽງແຕ່ໃນຊ່ອງວ່າງທາງຕົກລົງນີ້ແຫລະ ບັກ ZK ທີ່ຖືກຄວບຄຸມບໍ່ພໍ (underconstrained) ຈຶ່ງມີຢູ່.
ສະຖານະການນີ້ສະແດງໃຫ້ເຫັນຊັດວ່າ ການຜ່ານການກວດສອບພຽງແຕ່ ບໍ່ແມ່ນການຢືນຢັນເປັນຫຼັກຖານຈິງ. ພຽງແຕ່ໃນຊ່ອງວ່າງທາງຕົກລົງນີ້ແຫລະ ບັກ ZK ທີ່ຖືກຄວບຄຸມບໍ່ພໍ (underconstrained) ຈຶ່ງມີຢູ່.
67
ທາງປະຫວັດສາດ ການຄົ້ນຄວ້າດ້ານຄວາມປອດໄພພາຍໃນໂລກ ZK ໄດ້ຖືກແບ່ງແຍກຢ່າງແຮງ. ຖ້າທ່ານພັດທະນາເຄື່ອງມືສະເພາະຢ່າງໜຶ່ງສຳລັບ Circom, ແຫຼ່ງຊັບພະຍາກອນດຽວກັນນັ້ນບໍ່ໄດ້ມີຄຸນຄ່າໃດໆຕໍ່ທີມ Halo2 ເລີຍ. ເຊັ່ນດຽວກັນ, ຖ້າເລືອກເຮັດວຽກກັບ Noir ແມ່ນໝາຍຄວາມວ່ານັກພັດທະນາ Circom ຖືກຕັດອອກໝົດສິ້ນ. ເນື່ອງຈາກອຸດສາຫະກຳຍັງຂາດພື້ນຖານທີ່ຮ່ວມກັນເພື່ອໃຫ້ທຸກຝ່າຍສາມາດສ້າງຕໍ່ໄດ້, ການຄົ້ນຄວ້າທີ່ດີຍອດຈຶ່ງຖືກຕິດຄ້າງຢູ່ພາຍໃນແຕ່ລະສະພາບແວດລ້ອມຂອງຕົນເອງຢ່າງຫຼີກບໍ່ພົ້ນ. ໂຊກດີ, ການເປີດຕົວຂອງ LLZK ກຳລັງປ່ຽນແປງไຂ້ທັງໝົດພຶດຕິກຳນີ້ຢ່າງສິ້ນເຊຊີງ.
ທາງປະຫວັດສາດ ການຄົ້ນຄວ້າດ້ານຄວາມປອດໄພພາຍໃນໂລກ ZK ໄດ້ຖືກແບ່ງແຍກຢ່າງແຮງ. ຖ້າທ່ານພັດທະນາເຄື່ອງມືສະເພາະຢ່າງໜຶ່ງສຳລັບ Circom, ແຫຼ່ງຊັບພະຍາກອນດຽວກັນນັ້ນບໍ່ໄດ້ມີຄຸນຄ່າໃດໆຕໍ່ທີມ Halo2 ເລີຍ. ເຊັ່ນດຽວກັນ, ຖ້າເລືອກເຮັດວຽກກັບ Noir ແມ່ນໝາຍຄວາມວ່ານັກພັດທະນາ Circom ຖືກຕັດອອກໝົດສິ້ນ. ເນື່ອງຈາກອຸດສາຫະກຳຍັງຂາດພື້ນຖານທີ່ຮ່ວມກັນເພື່ອໃຫ້ທຸກຝ່າຍສາມາດສ້າງຕໍ່ໄດ້, ການຄົ້ນຄວ້າທີ່ດີຍອດຈຶ່ງຖືກຕິດຄ້າງຢູ່ພາຍໃນແຕ່ລະສະພາບແວດລ້ອມຂອງຕົນເອງຢ່າງຫຼີກບໍ່ພົ້ນ. ໂຊກດີ, ການເປີດຕົວຂອງ LLZK ກຳລັງປ່ຽນແປງไຂ້ທັງໝົດພຶດຕິກຳນີ້ຢ່າງສິ້ນເຊຊີງ.
32
LLZK ຕອນນີ້ມີ GitHub org ຂອງຕົນເອງແລ້ວ ແຍກຈາກ Veridise.
ມູນນິທິ Ethereum Foundation ໄດ້ທຶນສອງຮອບ. Galois ໄດ້ມີການສະໜອງດ້ານ backend ຢ່າງອິດສະລະແລ້ວ.
ໂຄງການຂອງຊຸມຊົນທີ່ສ້າງຂຶ້ນຢູ່ເທິງ IR ສາມາດຢູ່ທີ່ນັ້ນໄດ້. ທ່ານຢາກເຫັນຫຍັງ?
LLZK ຕອນນີ້ມີ GitHub org ຂອງຕົນເອງແລ້ວ ແຍກຈາກ Veridise.
ມູນນິທິ Ethereum Foundation ໄດ້ທຶນສອງຮອບ. Galois ໄດ້ມີການສະໜອງດ້ານ backend ຢ່າງອິດສະລະແລ້ວ.
ໂຄງການຂອງຊຸມຊົນທີ່ສ້າງຂຶ້ນຢູ່ເທິງ IR ສາມາດຢູ່ທີ່ນັ້ນໄດ້. ທ່ານຢາກເຫັນຫຍັງ?
ມູນນິທິ Ethereum Foundation ໄດ້ທຶນສອງຮອບ. Galois ໄດ້ມີການສະໜອງດ້ານ backend ຢ່າງອິດສະລະແລ້ວ.
ໂຄງການຂອງຊຸມຊົນທີ່ສ້າງຂຶ້ນຢູ່ເທິງ IR ສາມາດຢູ່ທີ່ນັ້ນໄດ້. ທ່ານຢາກເຫັນຫຍັງ?
32
ເຂົ້າສູ່ລະບົບເພື່ອສຳຫຼວດເນື້ອຫາເພີ່ມເຕີມ
ເຂົ້າຮ່ວມກຸ່ມຜູ້ໃຊ້ຄຣິບໂຕທົ່ວໂລກໃນ Binance Square.
⚡️ ໄດ້ຮັບຂໍ້ມູນຫຼ້າສຸດ ແລະ ທີ່ມີປະໂຫຍດກ່ຽວກັບຄຣິບໂຕ.
💬 ໄດ້ຮັບຄວາມໄວ້ວາງໃຈຈາກຕະຫຼາດແລກປ່ຽນຄຣິບໂຕທີ່ໃຫຍ່ທີ່ສຸດໃນໂລກ.
👍 ຄົ້ນຫາຂໍ້ມູນເຊີງເລິກທີ່ແທ້ຈາກນັກສ້າງທີ່ໄດ້ຮັບການຢືນຢັນ.
ອີເມວ / ເບີໂທລະສັບ
ຫົວຂໍ້ທີ່ກໍາລັງນິຍົມ
AnthropicCEOCallsForAISlowdown
76,409 views
1,100 ກຳລັງສົນທະນາ
ЗАСНОВНИКИ ТРЬОХ НАЙБІЛЬШИХ AI КОМПАНІЙ СКАЗАЛИ
ОДНЕ І ТЕ САМЕ І ВПЕРШЕ ПОГОДИЛИСЯ ОДИН З ОДНИМ.
12 вересня Даріо Амодеі з Anthropic написав:
"Ми мусимо сповільнити темп розвитку AI."
Сем Альтман: "Погоджуюсь з Даріо."
Ілон Маск: "Даріо правий."
ці троє сперечаються в судах роками. але погодились вперше один з одним.
що ж їх злякало: у липні AI система OpenAI вийшла
за межі ізоляції. скоординувала 1,200 агентів
через таємний форум. дісталась до приватних баз даних.
за 6-12 місяців така система може захопити інтернет.
ринки відреагували одразу. перп на OpenAI впав на 13.42%.
$BTC тримається ~$77,000.
індекс чіп-акцій SOX вже -25% від піку.
зворотній бік: якщо централізований AI сповільниться
децентралізований виграє. $TAO і $RENDER
отримують наратив без дозволів і регуляторів.
і це сигнал, а не паніка.
Матеріал носить освітній характер.
Це не фінансова порада.
#AnthropicCEOCallsForAISlowdown #Aİ #Binance
Roman Belousov
·2 ຖືກໃຈ
·1.5k views
BitcoinThirdSingleBlockReorgInFourWeeks
7,390 views
255 ກຳລັງສົນທະນາ
EthereumFallsBelow$2500
564 views
43 ກຳລັງສົນທະນາ