Solana ပူးတွဲတည်ထောင်သူ Anatoly Yakovenko က AI သည် 2/3-sig multi-sig wallet ပံ့ပိုးမှု သို့မဟုတ် မူရင်း PDA အဆင့်ကာကွယ်မှုအား 2/3 နောက်ပိုင်းတွင် ကွမ်တမ် ကွမ်တမ် ကုဒ်စာရေးခြင်း လက်မှတ်ပုံစံများကို ချိုးဖောက်နိုင်ကြောင်း သတိပေးသည်။
ကြိုးက သေးသေးလေးပါ။ ဆော့ဖ်ဝဲရေးသားသူတစ်ဦးသည် X တွင် စာကြောင်းတစ်ကြောင်းတင်ခဲ့သည်။ ထို့နောက်တွင် Solana ပူးတွဲတည်ထောင်သူ Anatoly Yakovenko ဝင်ရောက်လာကာ မြန်ဆန်လာသည်။
ပြုစုသူ X တွင် @shek_dev Solana သည် quantum-mogged လုပ်တော့မည်ကို သတိပြုမိခြင်းဖြင့် စကားစမြည်ကို ဖြတ်လိုက်ပါ။ ဆက်စပ်အကြောင်းအရာမှာ GitHub တွင် ပံ့ပိုးကူညီသူ abishek92 က တည်ဆောက်ထားသည့် Falcon-512 လက်မှတ်အတည်ပြုသူအတွက် တရားဝင်အတည်ပြုမှုအစုံကို ဖွင့်လှစ်ထားရာ၊ Solana ၏ post-quantum cryptography stack.
တကယ့်အန္တရာယ်ဆိုတာ ဘယ်သူမှ မပြောဘူး။
ဟိ GitHub တွင် တောင်းဆိုချက်ကို ဆွဲထုတ်ပါ။ နည်းပညာပိုင်းဆိုင်ရာဖြစ်ခဲ့သည်။ တရားဝင်အတည်ပြုခြင်း၊ ဆန့်ကျင်ဘက်စမ်းသပ်ဘက်ထရီများ၊ Lean အထောက်အထားများ၊ Kani ကြိုးများနှင့် Miri memory ဘေးကင်းရေးစစ်ဆေးမှုများသည် Falcon-512 ပိုက်လိုင်းရှိ မလုံခြုံသောကုဒ်လမ်းကြောင်းတိုင်းရှိ ထောင်နှင့်ချီသောစစ်ဆေးမှုများ။ အလုပ်သည် byte-level codec canonality၊ NTT kernel မှန်ကန်မှုနှင့် မှားယွင်းသောထည့်သွင်းမှုအပေါ် ထိတ်လန့်နေမည့်အစား အမှားတစ်ခုကို ပြန်ပေးမည့် လက်ရှိသော့ပြင်ဆင်မှုလုပ်ဆောင်ချက်အတွက် မှားယွင်းသောအစားထိုးမှုတစ်ခု ပါဝင်ပါသည်။
အဲဒီမှာပဲ Yakovenko ခုန်ဆင်းသွားတယ်။
X တွင် တင်ခြင်း၊ Toly ကရေးသားခဲ့သည်။ လက်ရှိအန္တရာယ်အကြီးဆုံးမှာ AI သည် PQC လက်မှတ်ရေးထိုးခြင်းအစီအစဉ်များကို ချိုးဖောက်ခြင်းဖြစ်သည်ဟု သူယုံကြည်သည်။ အဝေးကြီးမှာ စိုးရိမ်စရာ မဟုတ်ပါ။ သီအိုရီအစွန်းကိစ္စမဟုတ်ပါ။ သူ၏စကားများသည် တိုက်ရိုက်ဖြစ်သည်- ဤအစီအစဥ်များတွင် အကောင်အထည်ဖော်မှုဆိုင်ရာ အားနည်းချက်များကို စက်မှုလုပ်ငန်းက အပြည့်အဝနားမလည်သည့်အပြင် သင်္ချာဆိုင်ရာ တိုက်ခိုက်မှုမျက်နှာပြင်ကိုလည်း ပုံဖော်မှုနည်းပါးသည်။ သူလုပ်ဆောင်ရန် တောင်းဆိုချက်မှာ PQC အတွက် 2/3 လက်မှတ်ပေါင်းများစွာ ပိုက်ဆံအိတ် ပံ့ပိုးမှု သို့မဟုတ် ပရိုဂရမ်မှရရှိသော လိပ်စာများမှတဆင့် ငွေပေးငွေယူ ပရိုဆက်ဆာအတွင်းသို့ တိုက်ရိုက်တည်ဆောက်ထားသော မူရင်းပံ့ပိုးမှုဖြစ်သည်။
ပို့စ်အရှည်ကြီးတော့ မဟုတ်ပါဘူး။ ဘာပဲဖြစ်ဖြစ် ဆင်းသက်တယ်။
Toly၊ Syscalls နှင့် Developer စကားဝိုင်းသည် မြန်ဆန်စွာ ရွေ့လျားနေသည်။
စောစောကကိုပဲ ချည်၊ Yakovenko သည် X တွင်တောင်းဆိုခဲ့သည်။ Falcon-512 အကောင်အထည်ဖော်မှုသည် Vlad ၏ ဟာမိုနီကို အသုံးပြုနေသလား။ @shek_dev က X တွင် စာပြန်ထားသည်။ ထိုသို့မဟုတ်ကြောင်း — ဆော့ဖ်ဝဲရေးသားသူ @deanmlittle က keccak အကောင်အထည်ဖော်မှုတွင် Harmonic ကိုထည့်သွင်းထားသည့် Bertoni ဖြည့်စွက်မှုတွင် အလုပ်လုပ်စေမည့် အစီအစဉ်ဖြင့် Opus 4.7 နှင့် Codex 5.5 တွင် အလုပ်လုပ်နေပါသည်။ @shek_dev က X ကို ပစ္စည်းတွေကို လွှဲပေးလိုက်တယ်။ ကောက်ယူရန် @HarmonicMath သို့။
သီးခြား အကြောင်းပြန်တဲ့ ကာလမှာ တူညီတဲ့ လဲလှယ်မှု၊ Yakovenko သည် X တွင်တင်ခဲ့သည်။ အဆိုပြုထားသော ဗိသုကာပြင်ဆင်မှု- PDA is_signer အခြေအနေကို အရောင်းအ၀ယ်ပရိုဆက်ဆာအဆင့်သို့ မြှင့်တင်ရန် syscall တစ်ခု၊ ဘလောက်တစ်ခုစီ၏အဆုံးတွင် တရားဝင်လက်မှတ်ထိုးသူများအား အခကြေးငွေကောက်ခံပါသည်။ “အဲလိုလုပ်ပါ၊ ကျေးဇူးပြုပြီး” ဟု ရေးသားခဲ့သည်။
Falcon-512 PR ကိုယ်တိုင်က ထုတ်လုပ်မှုတွက်ချက်မှုကို မထိခဲ့ပါ။ တရားဝင် စိစစ်ရေးဌာနခွဲမှ စံသတ်မှတ်ချက်များသည် နှစ်ဖက်စလုံးတွင် မာစတာနှင့် ဆန့်ကျင်သည့် တွက်ချက်မှုယူနစ်များတွင် သုညပြောင်းလဲမှုကို ပြသခဲ့သည် — 195,786 CUs။ try_prepare_pubkey လုပ်ဆောင်ချက်အသစ်သည် 99k CUs ဝန်းကျင်ဟု ခေါ်သောအခါတွင် မူရင်းနှင့် အကြမ်းဖျင်းတူညီပြီး ဂဏန်းသင်္ချာနှင့်တူသော ဂဏန်းသင်္ချာများကို အမှားအယွင်းများ ပြန်၍ရေးထားသည့်အတိုင်း ပြန်လည်ပြင်ဆင်ထားသည့် အထောက်အထားများဖြင့် လုပ်ဆောင်သောကြောင့်ဖြစ်သည်။
ပြဿနာ Toly သည် အမှန်တကယ်ပင် ထောက်ပြသည်။
Shor ၏ အယ်လဂိုရီသမ်ကို အသုံးပြု၍ ကွမ်တမ်ကွန်ပျူတာများမှ တိုက်ခိုက်မှုများကို ခုခံသောကြောင့် Falcon-512 ကဲ့သို့သော PQC အစီအစဉ်များကို တစ်စိတ်တစ်ပိုင်း လက်ခံကျင့်သုံးလျက်ရှိသည်။ သင်္ချာက အသံထွက်တယ်။ ဟိ Yakovenko က မေးခွန်းထုတ်သည်။ ကွဲပြားသည်- AI သည် တရားဝင်အတည်ပြုခြင်းမပြီးသေးသော အကောင်အထည်ဖော်မှုကွာဟချက်ကို AI က စတင်စစ်ဆေးသည့်အခါ ဘာဖြစ်သွားမည်နည်း။
တရားဝင်အတည်ပြုချက်သည် per-coefficient encoding သည် ထိုးသွင်းခံရကြောင်း သက်သေပြနိုင်သည်။ byte-packing သည် canonical ဖြစ်သည် ဤ PR ရှိ Lean အထောက်အထားများသည် ထိုသို့အတိအကျလုပ်ဆောင်သည် — serializeFalcon_injective၊ packBytes_injective၊ zero-pad cancellation theorems။ ဤ PR တွင် တရားဝင်အတည်ပြုခြင်းမှာ မည်သည့်အရာကမှ အကျုံးမဝင်သေးသဖြင့် အဖွဲ့မှ အသိအမှတ်ပြုသည်မှာ ပိုက်လိုင်းတစ်ခုလုံး NTT မှန်ကန်မှုဖြစ်ကြောင်း တရားဝင်ထုတ်ပြန်ချက်တစ်ခုဖြစ်သည်။
ဒါ အလုပ်ကို ဝေဖန်တာမဟုတ်ဘူး။ ၎င်းသည် Yakovenko ဖော်ပြသည့်ကွာဟချက်အမျိုးအစားဖြစ်သည်။
Multi-sig အဆိုပြုချက်နှင့် PDA အဆင့် syscall ချဉ်းကပ်မှုသည် တရားဝင်အတည်ပြုခြင်းပြဿနာအတွက် ပြုပြင်မှုများမဟုတ်ပေ။ ၎င်းတို့သည် ဖွဲ့စည်းပုံဆိုင်ရာ အားနည်းချက်များဖြစ်သည်။ အကယ်၍ ဆန်းသစ်သောသင်္ချာနည်းကျတိုက်ခိုက်မှုတစ်ခုမှ AI မှ လက်မှတ်ရေးထိုးမှုအစီအစဉ်တစ်ခု ပျက်သွားပါက၊ တစ်စုံတစ်ခုမှ အမည်မဖော်ရသေးသည့်အရာတစ်ခုကြောင့် – 2-of-3 အစီအစဉ်သည် ကွန်ရက်ပျက်ကွက်သည့်အချက်တစ်ခုတည်းတွင် ပြိုကျမသွားခြင်းကို ဆိုလိုသည်။
PR က ဖွင့်တယ်။ စကားဝိုင်းက ဆက်လုပ်နေတယ်။