አልፋፕሩፍ ኮድ እና ሲግናል፡ የተፈተሹ የማሽን-ኮድ ደህንነት ማረጋገጫዎች እና የታመኑ ግምቶች

ይህ ቪዲዮ ምን ይሸፍናል

• AI ወኪሎች ረቂቅ ማረጋገጫዎችን ያመነጫሉ፤ የሊን ከርነል የሰው ልጅ ያጸደቀውን መደበኛ የይገባኛል ጥያቄ ማቋቋማቸውን ይፈትሻል።
• የተረጋገጠው ኢላማ የተጠናቀረ የሊብሲግናል CLI ማሰሪያ ሲሆን፣ የታመኑ ትርጉሞች እና ክሪፕቶግራፊያዊ ኮንትራቶች አሉት።
• የተጠናቀረውን ሁለትዮሽ ማረጋገጥ የሩስት ማጠናቀሪያውን ለዚያ ሁለትዮሽ ከተገለጹት ንብረቶች የታመነ መሰረት ያስወግዳል።
• ተመራማሪዎቹ ቀደም ሲል የተስተካከሉ ሁለት ስህተቶችን በምሳሌያዊ የደህንነት ቲዎሬማቸውን የሚጥሱ ሁለት የተነጠሉ ዳግም መግቢያዎችን ሪፖርት አድርገዋል።
• ንጽጽር ሰጪው ቲዎሬሙን እና እያንዳንዱን ጥገኛ ፍቺ ከተጠበቀው የጸደቀ ዝርዝር ጋር ያወዳድራል፤ ማሻሻያዎች በተለየ በተገመገመ ሂደት ውስጥ ያልፋሉ።

የተተረጎመ ግልባጭ

ከዋናው የእንግሊዝኛ ትረካ የተተረጎመ። የሚገኙ ኦዲዮ እና መግለጫ ጽሑፎች በYouTube ቁጥጥር ስር ናቸው።

የAI ደህንነት ማረጋገጫን ማን ይፈትሻል?

0:00 የAI ደህንነት ኦዲት አሁንም ቻትቦትን እንደመታመን ይሰማል። የጎግል አዲሱ የሲግናል ውጤት ከተለየ የከርነል የሂሳብ ማረጋገጫዎች ጋር ይፈትሻል። በዚህ ቪዲዮ ጎግል ምን አረጋገጠ? እና ወኪል ኢላማውን እንዳይቀይር እንዴት ያቆማሉ? ጠቃሚው መልስ ይኸውና። ሞዴሎች ረቂቅ ማረጋገጫዎችን ይጽፋሉ፣ እና ሊን ማረጋገጫዎቹን ከ ሰው-የተፈቀደው የይገባኛል ጥያቄ በተመረጠው የተጠናቀረ ኮድ ላይ ይፈትሻል። ሰዎች አሁንም የይገባኛል ጥያቄውን እና ግምቶቹን ይቆጣጠራሉ።

0:21 የሞዴሉን የድል ንግግር ሳያምኑ ውጤቱን ማረጋገጥ ይችላሉ። የተለየ ፍተሻ ጥያቄውን በጸጥታ መቀየርን ይይዛል። ወደ ትርጓሜዎቹ እናስወርደዋለን። ማክሰኞ፣ ህዳር አስረኛ ነው፣ እና ይህ ዘ ዴይሊ ዲፍ ነው። አልፋፕሩፍ ኮድ ከሰው መመሪያ ጋር የሶፍትዌር ዝርዝሮችን ለመጻፍ የጎግል ማዕቀፍ ነው እና በAI ወኪሎች የተፈተሹ ማረጋገጫዎችን ለማመንጨት። ይህ ጥናት ሊብሲግናልን፣ የሲግናልን የመልእክት መላላኪያ ፕሮቶኮልን የሚተገብረውን የሩስት ቤተ-መጽሐፍት በተወሰነ የትእዛዝ-መስመር ፕሮግራም ውስጥ ኢላማ ያደርጋል።

0:45 ጎግል ዛሬ ስራውን አስታውቋል። ወረቀቱ አምስት ተመራማሪዎች ለአራት ሳምንታት እንደሰሩ ይናገራል። ወኪሎች ማረጋገጫዎቹን ሲጽፉ፣ ሰዎች አብዛኛውን ጥረታቸውን በ ዝርዝሮች ላይ አውለዋል። መስፈርቶች እንዲያውም የበለጠ ውድ ለመሆን መንገድ አግኝተዋል ስብሰባዎች። ዝርዝሩ ፕሮግራሙ ምን ማድረግ እንዳለበት፣

የይገባኛል ጥያቄ እንዴት የማረጋገጫ ኢላማ ይሆናል?

0:59 አጥቂ ምን እንደሚቆጣጠር፣ እና ክርክሩ የትኞቹ ግምቶች እንደሚፈልጉ ይናገራል። ገምጋሚዎች የደህንነት ሰዎችን የሚያስጨንቀውን ይይዛል ወይ ብለው ይጠይቃሉ። ለደካማ ጥያቄ በ beautifully የተፈተሸ መልስ ያንን ጥያቄ ሳይነካ ይተወዋል። ቡድኑ በሲግናል የእጅ መጨባበጥ እና የመልዕክት ቁልፍ ላይ ቀደም ባለው ጥናት ላይ የተገነባ ነው ራቼት። መደበኛ ትንታኔዎች እነዚያን ንድፎች አስቀድመው አጥንተዋል። የጎግል የይገባኛል ጥያቄ የደህንነት ክርክሮቻቸውን ከማይቀየረው የምርት የቤተ-መጻህፍት የተጠናቀረ ትግበራ ጋር ያገናኛል፣ ዲዛይኑ ግንኙነትን መቋቋም አለበት ትክክለኛ ኮድ። የሲግናል ዋና የቴክኖሎጂ ኦፊሰር፣ ኤህረን ክሬት፣

1:27 ከቀድሞው ማረጋገጫ አነስተኛ ወሰን በላይ መስፋፋትን ይገልጻል። የአተገባበር ዝርዝሮች ያለቅደም ተከተል መልዕክቶች እና የተቀመጡ ክፍለ ጊዜዎች ዘግይተው ለሚመጡ መልዕክቶች ያካትታሉ። እውነተኛ ሶፍትዌር የሚያምር ሥዕላዊ መግለጫዎ የጣላቸውን ደረሰኞች ይይዛል። ተመራማሪዎቹ ያልተሻሻለውን የሩስት ቤተ-መጻሕፍት ከመደበኛ

የተጠናቀረውን ሁለትዮሽ ማረጋገጥ ለምን ያስፈልጋል?

1:41 ማጠናቀሪያ ጋር ወደ አርም ስልሳ አራት ሊኑክስ ማስፈጸሚያ ይተረጉማሉ። ቲዎሬሞቻቸው ያንን ሁለትዮሽ መደበኛ የመመሪያ ሞዴል በመጠቀም ይገልጻሉ፣ በምንጭ እና በተመቻቸ የማሽን ኮድ መካከል ያለውን ክፍተት በማለፍ። የተገለጸ ንብረትን የሚያፈርስ የኮምፕሌተር ስህተት ቲዎሬሙን ውሸት ያደርገዋል። ስለዚህ ኮምፕሌተሩ ለዚህ ሁለትዮሽ የታመነውን መሰረት ይተዋለ። አሁንም የመመሪያ ሞዴሉን እና የሊን መቆጣጠሪያውን ታምነዋለህ። የእምነት ወሰን ተንቀሳቅሷል, እና አድራሻ አለው። ወደ ስድስት ሚሊዮን ተኩል የሚሆኑ የተፈተሹ ማረጋገጫዎች ከሃያ ስድስት ሺህ

2:06 በሚጠጉ የታመኑ ዝርዝሮች እና የመመሪያ-ትርጓሜ መስመሮች ላይ የተመሰረቱ ናቸው። እነዚህ ቅርሶች ቆጠራዎች ናቸው። እነሱን እንደ የማሰብ ችሎታ ውጤቶች መቁጠር ገንቢዎችን በ የኖድ ሞጁሎች አቃፊ መጠን እንደመመደብ ነው።

የትኞቹ የደህንነት ባህሪያት የአተገባበር ክፍተቱን አልፈዋል?

2:16 ክርክሮቹ የመልእክት ምስጢራዊነትን እና ማረጋገጫን ይሸፍናሉ፣ ከፊት ምስጢራዊነት እና ከስምምነት በኋላ ያለው ደህንነት ከተገለጹ ሞዴሎች በታች። እነዚያ የመጨረሻዎቹ ሁለት የተሰረቀ-ቁልፍ ጉዳት እና ከትኩስ ልውውጦች በኋላ ማገገምን ገደቦችን ይገልጻሉ። እያንዳንዱ ዋስትና በአጥቂው እና በክፍለ-ጊዜው ላይ ሁኔታዎች አሉት። ክሪፕቶግራፊያዊ የመጀመሪያ ደረጃዎች ከታመኑ ኮንትራቶች በስተጀርባ ይቀመጣሉ። ማረጋገጫው እነዚያ ልማዶች እንደተገለጹት ይሰራሉ ብሎ ይገምታል እና በክሪፕቶግራፊያዊ የደህንነት ግምቶች ላይ ይተማመናል። አንዱ ማረጋገጫ ክሪፕቶግራፊን ያሳያል፤ ሌላኛው ስለ አጥቂ የስኬት ዕድሎች ያስረዳል።

2:42 ሁለቱም የሚሸፍኑት ሁኔታዎች ላይ ገደቦች አሏቸው። የትኛው ግንባታ፣ የትኛው ንብረት፣ እና የትኞቹ ግምቶች እንደሆኑ ይጠይቁ። ይህ ውጤት የተመራማሪዎቹን የትእዛዝ-መስመር ማሰሪያ ይመለከታል። የቡድን መልእክት መላላክ የወደፊት ስራ ነው፣ እና የኮምፒዩተር ሞዴሉ ባለብዙ-መሳሪያ ሁኔታን አያካትትም። እያንዳንዱን የሲግናል መጫኛ ስህተት የለሽ ብሎ መጥራት ከቲዎሬሙ ውጭ ይንከራተታል። ተመራማሪዎቹ ቀደም ሲል የተስተካከሉ ሁለት የሲግናል ስህተቶችን ወደ

ዝርዝሩ የተበላሸ ኮድ ውድቅ ሊያደርግ ይችላል?

3:02 የተነጠሉ ቅጂዎች እንደገና አስገብተው አጠናቀሯቸው። የተፈተሹ ማረጋገጫዎች እነዚያ ሁለትዮሾች ምሳሌያዊውን የደህንነት ቲዎሬም እንደጣሱ አሳይተዋል። ይህ ዝርዝሩ እውነተኛ የተበላሹ አተገባበሮችን ውድቅ ማድረግ ይችል እንደሆነ ፈትሾ ነበር። አረንጓዴ የቼክ ምልክትዎ ቀይ ፈተና ይፈልጋል። ጎግል ዝርዝሮቹን እና ማረጋገጫዎቹን ከማረጋገጫ መመሪያዎች ጋር ያትማል። ማከማቻው ንጹህ ግንባታ ሰዓታትን እና ከፍተኛ ማህደረ ትውስታን እንደሚወስድ ይናገራል። ማስታወቂያውን ማንበብ በላፕቶፑ ላይ በጣም ቀላል ነው። የሃርድዌር ሞዴል እና የታመኑ ኮንትራቶች አሁንም ክለሳ ያስፈልጋቸዋል።

3:26 ለዚህ ክፍል ግዙፉን ቅርፅ እንደገና አልገነባሁም። የታተመውን ውጤት እና ወሰኖቹን ሪፖርት እያደረግን ነው። የውጭ ሰዎች ሊመረምሩት የሚችልበት መንገድ አላቸው፣ ይህም ከሌላ የAI ድል አድራጊ ጉዞ የበለጠ ለእኔ አስፈላጊ ነው። አሁን ወጥመዱ።

ትክክለኛ ማረጋገጫ የተሳሳተውን ጥያቄ ሊመልስ ይችላል?

3:36 ሊን ምንም የማያስፈልገውን መግለጫ ትክክለኛ ማረጋገጫ ሊቀበል ይችላል። የማይቻል ግምቶች ቲዎሬሙን ባዶ ሊያደርጉት ይችላሉ። ከዋናው ቲዎሬም በታች የተቀበረ ፍቺን መቀየር ኢላማውን ሊያዳክም ይችላል። ወረቀቱ በዚህ ላይ ምርመራዎችን ያዘጋጃል። ጠባቂው የማረጋገጫ ወኪሎች ሊጽፉበት የማይችሉትን የተጠበቀ የጸደቀ ዝርዝር ይይዛል። በተለየ ማሻሻያ ሂደት እርማቶችን ሊጠይቁ ይችላሉ። የደህንነት መዳከም እንደ ሊከሰት የሚችል ስህተት ይወሰዳል። የማረጋገጫ ሰጪው የስኬት መግለጫ እዚህ ላይ ስልጣን የለውም።

4:00 ሰዎች የታመኑ ግምቶች ላይ የሚደረጉ ለውጦችን ይወስናሉ፣ በቀጥታም ሆነ በፖሊሲያቸው፣ እና ከእያንዳንዱ ዘመቻ በኋላ ማሻሻያዎችን ይገመግማሉ። የባለሙያ ፍርድ ተጠያቂ ሆኖ ይቆያል። ወኪሉ የተለየ ምደባ ሊጠይቅ ይችላል። ራሱን የማለፊያ ነጥብ መስጠት አይችልም።

የሚንቀሳቀሰውን ኢላማ ምን ይይዛል?

4:13 የተስፋው ፍተሻ ይኸውና። የሊን ንጽጽር ሰጪው ቲዎሬሙን እና እሱ የሚመረኮዝባቸውን ሁሉንም ፍቺዎች ከዚያ የተጠበቀ የጸደቀ ቅጂ ጋር ያወዳድራል። የተፈቀዱ አክሲዮሞችንም ይፈትሻል እና ማረጋገጫውን በአዲስ ከርነል ውስጥ እንደገና ይጫወታል። ስለዚህ ረዳት ፍቺን በጸጥታ ማዳከም የሚነጻጸረውን ነገር ይለውጣል። የተቀበለ ማረጋገጫ የጸደቀውን ኢላማ ማቋቋም አለበት። ይህ አሁንም ጠንካራ ኢላማ እና ሐቀኛ ግምቶችን የመምረጥ ኃላፊነት የሰዎችን ያደርጋል። ለራስዎ የAI የስራ ፍሰት፣ የመቀበል መስፈርቶችን ከሰራተኛው አርትዕ ፍቃዶች ውጪ ያድርጉ

4:37 እና የታቀዱ ለውጦችን በተናጥል ይገምግሙ። የጎግል ውጤት ያንን መለያየት ተጨባጭ ያደርገዋል። ማረጋገጫ ጸሐፊው ስራውን ይሰራል። የማረጋገጫ ወሰን ዋጋ እንዳለው ይወስናል። ይህን ከመስማት ይልቅ ማንበብ ከፈለጉ፣ ልዩነቱ በየማለዳው ወደ የገቢ መልዕክት ሳጥንዎ በነጻ በ daily diff dot dev ላይ ያርፋል፣ ሊንኩ ከታች። ስለዚህ የዛሬው ፍርድ SHIP IT ነው።

ይህንን የማረጋገጫ የስራ ፍሰት እልክ ነበር?

4:54 ይህንን የተፈተሸ-ማረጋገጫ የስራ ፍሰት እልክ ነበር ምክንያቱም የጸደቀው የይገባኛል ጥያቄ መልሱን ከሚያመነጨው ወኪል ተለይቶ ስለሚቆይ። ወሰን እና ግምቶችን ከእያንዳንዱ ውጤት ጋር አያይዤ እይዝ ነበር። ሰብስክራይብ ያድርጉ፣ ደውሉን ይምቱ፣ እና በተለየ መንገድ ማተም ከነበረብዎት በአስተያየቶቹ ውስጥ ይንገሩኝ። እና የዛሬው ልዩነት ይሄው ነው። እኔ ኒኮ ከአክሲሲ ነኝ። በኃላፊነት ያዋህዱ።

ምንጮች

1. AlphaProof Code: Verifying Signal's Security at the Machine-Code Level — technical scope, trusted base and gatekeepingSwarat Chaudhuri and colleagues / Google DeepMind and Google
2. Introducing AlphaProof Code — November 10 announcement and attributed Signal CTO responsePushmeet Kohli and Swarat Chaudhuri / Google DeepMind
3. Code-verification repository — initial commit, public artifacts and checking instructionsGoogle DeepMind / GitHub
4. The PQXDH Key Agreement Protocol — older official specification and prior-analysis contextEhren Kret and Rolfe Schmidt / Signal
5. The Double Ratchet Algorithm — Triple Ratchet sectionTrevor Perrin, Moxie Marlinspike and Rolfe Schmidt / Signal
6. Google DeepMind leadership — Demis Hassabis's relevant lab identityGoogle DeepMind
7. Demis Hassabis in 2025 — authentic portrait, cropped/resized/compressed and unflipped; no background removal or generated expression/detail; lab identity only, no authorship, proof writing, current reaction or endorsementChristopher P. Michel / Cmichel67 / Wikimedia Commons
8. Portrait licence — CC BY-SA 4.0; attribution, adaptation disclosure and ShareAlikeCreative Commons
9. Expanding Brain template — cropped/captioned artifact-count satire, brief transformed <=2s commentary; no benchmark, hosting licence, legal-clearance or blanket reuse claimImgflip / user-uploaded meme template
10. Tom and Jerry — Boomerang Official actual animated reaction, silent resized/captioned 1.875s excerpt; brief transformed process commentary, no actual researcher or executive reaction, hosting licence, legal-clearance or blanket reuse claimBoomerang Official / GIPHY / Tom and Jerry
11. Boomerang GIF source link — uploader-provided provenanceBoomerang
12. AlphaProof Code discussion — attention context, anonymous opinions excluded from factual proof claimsHacker News
13. Code-verification licence — Apache 2.0 for Google code, third-party licences retainedGoogle / GitHub