Veridise
236 ໂພສ
Veridise
ລາຍງານ
ບລັອກຜູ້ໃຊ້
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 ກໍາລັງຕິດຕາມ
135 ຜູ້ຕິດຕາມ
89 Liked
ໂພສ
ທັງໝົດ
ວີດີໂອ
·
--
Picus ຮັບຄວາມຮັກນ້ອຍໆຈາກ @ethereum’s Ethproofs Call #3 👀 ຂອບໃຈ @drakefjustin!
Picus ຮັບຄວາມຮັກນ້ອຍໆຈາກ @ethereum’s Ethproofs Call #3 👀 ຂອບໃຈ @drakefjustin!
1
605
·
--
ZK အမျိုးအစားထဲက အများဆုံးတွေ့ရတဲ့ bug နှစ်မျိုးက ဘာတွေပါလဲ? ပြီးတော့ အဲဒါတွေကို ဘယ်လိုရှောင်နိုင်မလဲ? @FormallyJon က @HouseofZK podcast မှာ ပြောထားတာ
ZK အမျိုးအစားထဲက အများဆုံးတွေ့ရတဲ့ bug နှစ်မျိုးက ဘာတွေပါလဲ? ပြီးတော့ အဲဒါတွေကို ဘယ်လိုရှောင်နိုင်မလဲ? @FormallyJon က @HouseofZK podcast မှာ ပြောထားတာ
3
767
·
--
Ixenye ziphi zomqulu wekhodi eziba yizindawo eziphambili ekuhlolweni kwezokuphepha kwe-ZK? U-@FormallyJon wabelana ngakho ku-podcast ye-@HouseofZK.
Ixenye ziphi zomqulu wekhodi eziba yizindawo eziphambili ekuhlolweni kwezokuphepha kwe-ZK? U-@FormallyJon wabelana ngakho ku-podcast ye-@HouseofZK.
3
789
·
--
ພວກເຮົາດີໃຈປະກາດວ່າພວກເຮົາໄດ້ດຳເນີນການກວດກາຄວາມປອດໄພກັບ @Monero ເຊິ່ງເປັນໂຄງການທີ່ມາດົນນານໃນວົງການຄວາມເປັນສ່ວນຕົວ.
ນອກຈາກນັ້ນ, ພວກເຮົາຢາກຊີແຈ້ງແລະຕອບຄຳເຫັນບາງຢ່າງທີ່ກ່າວອ້າງ ແລະການສະແດງເກີນຄວາມຈິງກ່ຽວກັບວຽກງານຂອງພວກເຮົາ.
1/8
ພວກເຮົາດີໃຈປະກາດວ່າພວກເຮົາໄດ້ດຳເນີນການກວດກາຄວາມປອດໄພກັບ @Monero ເຊິ່ງເປັນໂຄງການທີ່ມາດົນນານໃນວົງການຄວາມເປັນສ່ວນຕົວ.
ນອກຈາກນັ້ນ, ພວກເຮົາຢາກຊີແຈ້ງແລະຕອບຄຳເຫັນບາງຢ່າງທີ່ກ່າວອ້າງ ແລະການສະແດງເກີນຄວາມຈິງກ່ຽວກັບວຽກງານຂອງພວກເຮົາ.
1/8
ນອກຈາກນັ້ນ, ພວກເຮົາຢາກຊີແຈ້ງແລະຕອບຄຳເຫັນບາງຢ່າງທີ່ກ່າວອ້າງ ແລະການສະແດງເກີນຄວາມຈິງກ່ຽວກັບວຽກງານຂອງພວກເຮົາ.
1/8
222
·
--
Тែវលអំពីការលួចចូលប្លុកឆេន (blockchain) កំពូលទាំង 3 ក្នុងរយៈពេល 2 សប្ដាហ៍ចុងក្រោយទេ? នេះណា:
រឿងរ៉ាវបន្តខាងក្រោម 🧵
Тែវលអំពីការលួចចូលប្លុកឆេន (blockchain) កំពូលទាំង 3 ក្នុងរយៈពេល 2 សប្ដាហ៍ចុងក្រោយទេ? នេះណា:
រឿងរ៉ាវបន្តខាងក្រោម 🧵
រឿងរ៉ាវបន្តខាងក្រោម 🧵
171
·
--
ການກວດ ZK ≠ ການກວດ smart contract. ມັນແຕກຕ່າງກັນຢູ່ບ່ອນໃດ? @FormallyJon ອະທິບາຍໃຫ້ເບິ່ງໃນພອດແຄສ @HouseofZK.
ການກວດ ZK ≠ ການກວດ smart contract. ມັນແຕກຕ່າງກັນຢູ່ບ່ອນໃດ? @FormallyJon ອະທິບາຍໃຫ້ເບິ່ງໃນພອດແຄສ @HouseofZK.
1
400
·
--
ບລັອກໃໝ່: ທ່ານສ້າງແອັບ zkVM ທີ່ປອດໄພແນວໃດ—ແລະທ່ານຈະອອດິດມັນແນວໃດ? (ພາກທີ III ໃນຊຸດຄວາມປອດໄພຂອງ zkVM).
ພວກເຮົາສຳຫຼວດຕົວຢ່າງທີ່ເປັນຮູບປະຈຳໂດຍໃຊ້ @RiscZero ແລະສະແດງຂໍ້ພິຈາລະນາດ້ານຄວາມປອດໄພທີ່ສຳຄັນໃນການພັດທະນາແອັບ ZK ໃນໂລກຈິງ.
Thread 🧵
1/6
ບລັອກໃໝ່: ທ່ານສ້າງແອັບ zkVM ທີ່ປອດໄພແນວໃດ—ແລະທ່ານຈະອອດິດມັນແນວໃດ? (ພາກທີ III ໃນຊຸດຄວາມປອດໄພຂອງ zkVM).
ພວກເຮົາສຳຫຼວດຕົວຢ່າງທີ່ເປັນຮູບປະຈຳໂດຍໃຊ້ @RiscZero ແລະສະແດງຂໍ້ພິຈາລະນາດ້ານຄວາມປອດໄພທີ່ສຳຄັນໃນການພັດທະນາແອັບ ZK ໃນໂລກຈິງ.
Thread 🧵
1/6
ພວກເຮົາສຳຫຼວດຕົວຢ່າງທີ່ເປັນຮູບປະຈຳໂດຍໃຊ້ @RiscZero ແລະສະແດງຂໍ້ພິຈາລະນາດ້ານຄວາມປອດໄພທີ່ສຳຄັນໃນການພັດທະນາແອັບ ZK ໃນໂລກຈິງ.
Thread 🧵
1/6
48
·
--
Tān pēhea kākou e hoʻomaka ai e hana ma nā mea hana ZK, ʻaʻohe mea i loaʻa. Hāʻawi ʻo @FormallyJon i kā kākou huakaʻi i nā mea hana zero-knowledge ma ka nīnauele ma @HouseofZK.
Tān pēhea kākou e hoʻomaka ai e hana ma nā mea hana ZK, ʻaʻohe mea i loaʻa. Hāʻawi ʻo @FormallyJon i kā kākou huakaʻi i nā mea hana zero-knowledge ma ka nīnauele ma @HouseofZK.
1
113
·
--
Nalika nagsimula kaming gumawa ng ZK tooling, wala pang available. Ibinabahagi ni @FormallyJon ang aming paglalakbay sa zero-knowledge tooling.
Nalika nagsimula kaming gumawa ng ZK tooling, wala pang available. Ibinabahagi ni @FormallyJon ang aming paglalakbay sa zero-knowledge tooling.
2
844
·
--
Chì chii tinisira kami nga nagpalambo sa Vanguard, ang among static analyzer, ug giunsa namo kini pagpalapdan sa gawas pa sa Solidity? Ipangayog kana ni @FormallyJon sa podcast nga @HouseofZK.
Chì chii tinisira kami nga nagpalambo sa Vanguard, ang among static analyzer, ug giunsa namo kini pagpalapdan sa gawas pa sa Solidity? Ipangayog kana ni @FormallyJon sa podcast nga @HouseofZK.
1
1.5k
·
--
Cannes, euphuma kakhulu! Siyabonga kuwo wonke umuntu owaze wavakashela idokodo lethu, naku-@EthCC ngokusiphathela. Nazi izithombe ezinhle zalesi sonto 🌞
Cannes, euphuma kakhulu! Siyabonga kuwo wonke umuntu owaze wavakashela idokodo lethu, naku-@EthCC ngokusiphathela. Nazi izithombe ezinhle zalesi sonto 🌞
1
43
·
--
Ngena ezindabeni ezi-3 eziphezulu zokuphepha kwe-blockchain kusukela emasontweni amabili adlule!
Indaba iyaqhubeka ngezansi 🧵
Ngena ezindabeni ezi-3 eziphezulu zokuphepha kwe-blockchain kusukela emasontweni amabili adlule!
Indaba iyaqhubeka ngezansi 🧵
Indaba iyaqhubeka ngezansi 🧵
26
·
--
Missed @KFerles’s @EthCC talk, “zkVM determinism that lasts: From audits to continuous verification”? Vaʻai i le fa’aaliga atoa iinei, sa tumu le potu!
Missed @KFerles’s @EthCC talk, “zkVM determinism that lasts: From audits to continuous verification”? Vaʻai i le fa’aaliga atoa iinei, sa tumu le potu!
2
12
·
--
Chiwrnod 1 yn @EthCC wedi cau — a’r holl nwyddau swag yn y llun? Weg. Roedd y racŵn yn ffefryn gan y dorf 🦝
Rydyn ni dal heb orffen—mae gennym ychydig yn ôl o hyd, felly daliwch ati i ddod yfory os ydych chi o gwmpas!
Chiwrnod 1 yn @EthCC wedi cau — a’r holl nwyddau swag yn y llun? Weg. Roedd y racŵn yn ffefryn gan y dorf 🦝
Rydyn ni dal heb orffen—mae gennym ychydig yn ôl o hyd, felly daliwch ati i ddod yfory os ydych chi o gwmpas!
Rydyn ni dal heb orffen—mae gennym ychydig yn ôl o hyd, felly daliwch ati i ddod yfory os ydych chi o gwmpas!
10
·
--
សូមស្វាគមន៍ពី @EthCC — CTO របស់យើង @KFerles កំពុងចែករំលែកពីរបៀបដែលយើងផ្តល់នូវភាពកំណត់លទ្ធផលយូរអង្វែងសម្រាប់ zkVMs ដូចជា @RiscZero
សូមស្វាគមន៍ពី @EthCC — CTO របស់យើង @KFerles កំពុងចែករំលែកពីរបៀបដែលយើងផ្តល់នូវភាពកំណត់លទ្ធផលយូរអង្វែងសម្រាប់ zkVMs ដូចជា @RiscZero
1
10
·
--
ການໂພສ blog ໃໝ່! ການລະບຸຊ່ອງໂຫວ່ທົ່ວໄປໃນ zkVMs
(ນີ້ແມ່ນພາກທີ II ຂອງຊຸດຄວາມປອດໄພ zkVM ຂອງພວກເຮົາ)
ໃນຂະນະທີ່ zkVMs ຊ່ວຍລົດທອນຄວາມຊັບຊ້ອນຂອງ ZK ອອກໄປ, ແຕ່ມັນບໍ່ໄດ້ກຳຈັດຂໍ້ພິກດັນທັງໝົດ 🧵
ການໂພສ blog ໃໝ່! ການລະບຸຊ່ອງໂຫວ່ທົ່ວໄປໃນ zkVMs
(ນີ້ແມ່ນພາກທີ II ຂອງຊຸດຄວາມປອດໄພ zkVM ຂອງພວກເຮົາ)
ໃນຂະນະທີ່ zkVMs ຊ່ວຍລົດທອນຄວາມຊັບຊ້ອນຂອງ ZK ອອກໄປ, ແຕ່ມັນບໍ່ໄດ້ກຳຈັດຂໍ້ພິກດັນທັງໝົດ 🧵
(ນີ້ແມ່ນພາກທີ II ຂອງຊຸດຄວາມປອດໄພ zkVM ຂອງພວກເຮົາ)
ໃນຂະນະທີ່ zkVMs ຊ່ວຍລົດທອນຄວາມຊັບຊ້ອນຂອງ ZK ອອກໄປ, ແຕ່ມັນບໍ່ໄດ້ກຳຈັດຂໍ້ພິກດັນທັງໝົດ 🧵
1
17
·
--
Vaka no vaipariiti ni veiliwaitaki (overview) ni veiuta e ZK a Veridise kei na kena vakasama vinaka mo raica sara tale ga na ka sa tarava. E tukuna ko @IsilDillig na kedra isoqosoqo na noda i tovo ni lomalagi (future directions) ena itukutuku ni @a16zcrypto.
Vaka no vaipariiti ni veiliwaitaki (overview) ni veiuta e ZK a Veridise kei na kena vakasama vinaka mo raica sara tale ga na ka sa tarava. E tukuna ko @IsilDillig na kedra isoqosoqo na noda i tovo ni lomalagi (future directions) ena itukutuku ni @a16zcrypto.
671
·
--
ບົດມືການກວດພົບ ZK ຂອງພວກເຮົາກ່ອນໜ້ານີ້ເຄີຍເຮັດໃຫ້ເວລາຕົວ (timeout) ສູງເຖິງ 30% ຂອງວົງຈອນ ZK. ພວກເຮົາແກ້ໄຂແນວໃດ? @IsilDillig ແບ່ງປັນຂໍ້ຄິດເຫັນຈາກບົດຄົ້ນຄວ້າລ້າສຸດຂອງພວກເຮົາ.
ບົດມືການກວດພົບ ZK ຂອງພວກເຮົາກ່ອນໜ້ານີ້ເຄີຍເຮັດໃຫ້ເວລາຕົວ (timeout) ສູງເຖິງ 30% ຂອງວົງຈອນ ZK. ພວກເຮົາແກ້ໄຂແນວໃດ? @IsilDillig ແບ່ງປັນຂໍ້ຄິດເຫັນຈາກບົດຄົ້ນຄວ້າລ້າສຸດຂອງພວກເຮົາ.
2
707
·
--
Còmo bidh sinn a’ cumail cuairtean ZK ro-bhonaid agus ro-innseach rè sgrùdaidhean? Tha ar co-stèidheadair @IsilDillig a’ roinn bheachdan air mar a chuireas sinn anailis statach agus luchd-fuasglaidh SMT còmhla anns na h-innealan ZK againn.
Còmo bidh sinn a’ cumail cuairtean ZK ro-bhonaid agus ro-innseach rè sgrùdaidhean? Tha ar co-stèidheadair @IsilDillig a’ roinn bheachdan air mar a chuireas sinn anailis statach agus luchd-fuasglaidh SMT còmhla anns na h-innealan ZK againn.
2
1.1k
·
--
Ngaba ngaba iisekethe ezixhomekeke kakhulu (over-constrained) ziyingxaki kwiisekethe ze-zero-knowledge?
Yeyiphi emele umngcipheko omkhulu: iisekethe ezingaxhomekekanga ngokwaneleyo (under-constrained) okanye ezixhomekeke kakhulu (over-constrained)? U-IsilDillig uyayichaza.
Ngaba ngaba iisekethe ezixhomekeke kakhulu (over-constrained) ziyingxaki kwiisekethe ze-zero-knowledge?
Yeyiphi emele umngcipheko omkhulu: iisekethe ezingaxhomekekanga ngokwaneleyo (under-constrained) okanye ezixhomekeke kakhulu (over-constrained)? U-IsilDillig uyayichaza.
Yeyiphi emele umngcipheko omkhulu: iisekethe ezingaxhomekekanga ngokwaneleyo (under-constrained) okanye ezixhomekeke kakhulu (over-constrained)? U-IsilDillig uyayichaza.
1
1.2k
ເຂົ້າສູ່ລະບົບເພື່ອສຳຫຼວດເນື້ອຫາເພີ່ມເຕີມ
ເຂົ້າຮ່ວມກຸ່ມຜູ້ໃຊ້ຄຣິບໂຕທົ່ວໂລກໃນ Binance Square.
⚡️ ໄດ້ຮັບຂໍ້ມູນຫຼ້າສຸດ ແລະ ທີ່ມີປະໂຫຍດກ່ຽວກັບຄຣິບໂຕ.
💬 ໄດ້ຮັບຄວາມໄວ້ວາງໃຈຈາກຕະຫຼາດແລກປ່ຽນຄຣິບໂຕທີ່ໃຫຍ່ທີ່ສຸດໃນໂລກ.
👍 ຄົ້ນຫາຂໍ້ມູນເຊີງເລິກທີ່ແທ້ຈາກນັກສ້າງທີ່ໄດ້ຮັບການຢືນຢັນ.
ອີເມວ / ເບີໂທລະສັບ
ຫົວຂໍ້ທີ່ກໍາລັງນິຍົມ
AIStocksWhatNext
243,645 views
2,524 ກຳລັງສົນທະນາ
Пាចែក ແລະ ຮັບຮາງວັນຈາກການແຂ່ງຂັນ Trending Hashtag ຂອງພວກເຮົາ
✨ຫົວຂໍ້: ມີໂອກາດການລົງທຶນອື່ນໃດອີກ ຍັງເຫຼືອບໍ ໃນເວລາທີ່ຫຸ້ນ AI ຍັງຂຶ້ນຢ່າງຕໍ່ເນື່ອງ?
👉ວິທີເຂົ້າຮ່ວມ:
ໂພດຂໍ້ຄວາມສັ້ນຫຼືບົດຄວາມພ້ອມ hashtag #AIStocksWhatNext
ແບ່ງປັນວ່າທ່ານເບີກບວກ (bullish) ຫຼືຂາດບວກ (bearish) ແລະ ໂພດການຖືຫຸ້ນ AI ຫຼືການຊື້ຂາຍຂອງທ່ານ — ການໃຊ້ trade widget ອາດຊ່ວຍໃຫ້ມີສິດກໍານົດໄດ້ດີຂຶ້ນ.
ທ່ານຍັງສາມາດເສີມໃຫ້ໂພດຂອງທ່ານໂດຍການແບ່ງປັນຂໍ້ມູນ ຫຼື ກຣາຟ, ແລະຫຼີກລ້ຽງຮູບພາບທີ່ສ້າງຈາກ AI.
✍️ສ້າງເນື້ອຫາຕາມມຸມມອງດ້ານລຸ່ມນີ້:
- Nvidia ກ່າວວ່າຍອດຂາຍຊິບຈະເພີ່ມເປັນສອງເທົ່າໃນປີໜ້າ, ແລະ ບໍລິສັດ AI ຊັ້ນນໍາຍັງຕີຍອດລາຍຮັບສູງສຸດຕໍ່ເນື່ອງ—ການໃຊ້ຈ່າຍດ້ານ compute ທີ່ຢູ່ຫຼັງມັນກໍ່ຊັດເຈນຫຼາຍ. ຄວາມຕ້ອງການຂອງ AI ຈິງໆກໍາລັງຂຶ້ນບໍ? ແລະ ມັນຈະຢູ່ໄດ້ດົນປານໃດ? ຫຸ້ນ AI ຂຶ້ນທົ່ວກະດານ. ນີ້ແມ່ນການປະຕິບັດສະລຸດຈິງ (real breakout) ຫຼືແພ້ແຄ່ການເດັ້ງກັ້ນໄລຍະສັ້ນ?
- ຜູ້ນໍາໃນອຸດສາຫະກໍາເອີ້ນໃຫ້ຊະລໍການພັດທະນາ AI, ໃນຂະນະທີ່ Trump ວາງແຜນຈະສ້າງ “AI Force” ໂດຍອ້າງວ່າ AI ອາດຈະກວມ 25% ຂອງ GDP ຂອງສະຫະລັດ ໃນອະນາຄົດ. ທ່ານຢູ່ຝ່າຍໃດ? ການໜູນຊ່ວຍຈາກລະດັບລັດ (state-level backing) ຈະເປັນໄຊຊະນະໄລຍະຍາວສໍາລັບຫຸ້ນ AI ບໍ?
- ທ່ານກໍ່າລັງຊື້ຫຸ້ນ AI ບໍ? ແບ່ງປັນການຊື້ຂາຍ/ການຖືຄອງທີ່ກ່ຽວຂ້ອງກັບ AI ຂອງທ່ານຜ່ານ trade sharing widget ຂອງພວກເຮົາ.
⏰ໄລຍະການແຄມເປນ:
- 2026-09-22 7:00 - 2026-09-24 4:00 UTC
🎁ລາງວັນ:
- ໂພດທີ່ມີຄຸນສົມບັດຕາມກົດລະບຽບຂ້າງເທິງ ແລະ ມີຫຼາຍກວ່າ 100 ຄໍາຈະຖືກທວດສອບ ແລະ ອາດຈະໄດ້ຮັບການເພີ່ມເຂົ້າເບິ່ງແບບສຸ່ມ 500 ຫາ 3,000 ຄັ້ງ. ທ່ານຈະໄດ້ຮັບແຈ້ງເຕືອນຈາກເຈົ້າໜ້າທີ່ຂອງ feed ຂອງພວກເຮົາ ຖ້າໂພດຂອງທ່ານຖືກເລືອກ.
- ມີໂອກາດໃຫ້ບົດຄວາມຂອງທ່ານຖືກນໍາໄປສະແດງໃນ Binance Square Official
ຕ້ອງການໄອເດຍສໍາລັບໂພດຂອງທ່ານບໍ? ເຂົ້າໄປທີ່ໜ້າຫົວຂໍ້ #AIStocksWhatNext ຫຼື Square Guide on How to Post for Better Reach.
Binance Square Official
·323 ຖືກໃຈ
·710.7k views
BitcoinBreaksAboveMayHighNears$86K
8,852 views
152 ກຳລັງສົນທະນາ
DogecoinRises15%
23,041 views
801 ກຳລັງສົນທະນາ