Google DeepMind-ի արհեստական բանականությունը հաստատել է Signal-ի գաղտնագրման երաշխիքները

26 աղբյուր
businessinsider.com
  • WIRED-ի հաղորդմամբ, Google DeepMind-ի նոր AI շրջանակը՝ AlphaProof Code-ը, չորսշաբաթյա նախագծի ընթացքում մաթեմատիկորեն ապացուցել է Signal արձանագրության անվտանգության մի քանի հիմնական երաշխիքներ։
  • Գործիքը ճշգրտորեն հայտնաբերել է Signal-ի հին տարբերակներում առկա, վաղուց շտկված թերությունները. աշխատանքը չի ընդգրկել ամբողջ հավելվածը, և DeepMind-ը նախատեսում է հրապարակել իր ապացույցները։
  • Signal-ի տեխնիկական տնօրեն Էրեն Կրետը նշել է, որ այս աշխատանքը "նույնիսկ ավելի մեծ վստահություն" է ներշնչում, մինչդեռ Google-ը չի հայտնել, թե որքան է արժեցել այն կամ արդյոք նախատեսվում է առևտրային արտադրանք։
Աղբյուրներ (26)
  1. 1 A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure www.wired.com
  2. 2 Signal Shot: One Giant Lean for Protocol Security www.beneficialaifoundation.org
  3. 3 Signal Shot - Beneficial AI Foundation www.beneficialaifoundation.org
  4. 4 Google DeepMind's AI proves key Signal protocol guarantees in four weeks - Startup Fortune startupfortune.com
  5. 5 Google DeepMind usó IA para verificar matemáticamente la seguridad del cifrado de Signal www.infobae.com
  6. 6 DeepMind AI Verifies Signal Protocol in 4 Weeks, Finding No ... www.zetik.com
  7. 7 DeepMind’s AI tool formally verifies parts of the Signal protocol aiunderstanding.org
  8. 8 DeepMind proves Signal protocol cryptographic guarantees… | TLDR tldr.tech
  9. 9 Google DeepMind Proves Signal Protocol Security Using AI in ... www.contentbuffer.com
  10. 10 Google DeepMind’s new AI mathematically proved key parts… | TLDR tldr.tech
  11. 11 Google DeepMind’s new AI mathematically proved key parts of Signal’s encryption are secure madrobot.blog
  12. 12 Google AI News aiunderstanding.org
  13. 13 DeepMind Uses AI Tools to Formally Verify the Security of the Signal Protocol www.techflowpost.com
  14. 14 Lean: Extensible, Scalable, Trusted. leodemoura.github.io
  15. 15 BAIF Launches 'Signal Shot' to Verify Signal Protocol Using AI www.verity.news
  16. 16 The Lean Theorem Prover: Design, Evolution, and Impact leodemoura.github.io
  17. 17 Signal Shot: The Platform Is Ready - Leonardo de Moura leodemoura.github.io
  18. 18 SVIL 2026 · Fall beneficial-ai-foundation.github.io
  19. 19 Cryspen | Software Verification in Lean cryspen.com
  20. 20 Blog — Beneficial AI Foundation www.beneficialaifoundation.org
  21. 21 Leonardo de Moura leodemoura.github.io
  22. 22 Theorem Proving in Industry with Lean lean-lang.org
  23. 23 Signal — Blog — Beneficial AI Foundation www.beneficialaifoundation.org
  24. 24 Frontier models are failing one in three production attempts - LinkedIn www.linkedin.com
  25. 25 Software Verification in Lean leodemoura.github.io
  26. 26 Google DeepMind Used AlphaProof Code to Analyze the Signal Protocol mezha.net
Պիտակներ
Share

Related Posts