Модель находит баг в криптографии, а криптограф узнаёт от неё новую математику

Эта статья — ответ на критику: «перестаньте рассказывать сказки, как AI помогает в науке, покажите примеры!». Действительно, без примеров, рассказы об успешном успехе AI выглядят как сектантский бред. В феврале 2026-го Google выложил на arXiv препринт на 151 страницу. Пятьдесят авторов из Carnegie Mellon, Harvard, MIT, EPFL и ещё дюжины институтов. Документ называется скромно: «Accelerating Scientific Research with Gemini: Case Studies and Common Techniques». Скромное название, но реально очень крутой контент. Препринты о возможностях AI выходят каждый день. Большинство — бенчмарки: модель набрала 94.7% вместо прошлогодних 93.2%, поаплодируем. Здесь же, вполне конкретные исследователи рассказывают, как они месяцами бились над открытой проблемой, а потом загрузили её в Gemini Deep Think — и магически получили решение. Или контрпример. Или указание на теорему из совершенно другой области математики, о которой они никогда не слышали. Некоторые истории оттуда заслуживают отдельного разговора. Интересно! Читать далее

https://habr.com/ru/companies/bar/articles/993300/

#Gemini #LLM #SNARG #zkSNARK #LWE #верификация_доказательств #дерево_Штейнера #reasoning #peer_review #Google_Research

Модель находит баг в криптографии, а криптограф узнаёт от неё новую математику

Эта статья — ответ на критику: «перестаньте рассказывать сказки, как AI помогает в науке, покажите примеры!». Действительно, без примеров, рассказы об успешном успехе AI выглядят как сектантский бред....

Хабр

LURK: Lambda, The Ultimate Recursive Knowledge

"We introduce Lurk, a new #LISP-based programming language for #zkSNARK. Traditional approaches to programming over zero-knowledge proofs require compiling the desired computation into a flat circuit, imposing serious constraints on the size and complexity of computations that can be achieved in practice. #Lurk programs are instead provided as data to the universal Lurk interpreter circuit, allowing the resulting language to be Turing-complete without compromising the size of the resulting proof artifacts. Our work describes the design and theory behind Lurk, along with detailing how its implementation of content addressing can be used to sidestep many of the usual concerns of programming #ZeroKnowledge proofs"

NADA AMIN, JOHN BURNHAM, FRANÇOIS GARILLOT, ROSARIO GENNARO, CHHI’MÈD KÜNZANG, DANIEL ROGOZIN, CAMERON WONG 2023

https://research.protocol.ai/publications/lurk-lambda-the-ultimate-recursive-knowledge/amin2023.pdf

with an implementation in #rust

Today we release zekrom, a library of #zkSNARK-oriented constructions. This was a project that Laurent Thoeny worked on for his master’s thesis. Read the post and download the code here: https://research.kudelskisecurity.com/2023/05/30/presenting-zekrom-a-library-of-arithmetization-oriented-constructions-for-zksnark-circuits-part-1-arkworks-rs/
Presenting zekrom: a library of arithmetization-oriented constructions for zkSNARK circuits. Part 1: arkworks-rs

zekrom is an open-source library of arithmetization-oriented constructions for zkSNARK circuits. It was created as part of the MSc thesis work of Laurent Thoeny on the Kudelski Security Research te…

Kudelski Security Research

Part 1: Response. (Part 2: Request for Comments. Part 3: Tags of Interest.)

For those whom reside behind restrictive firewalls or whose Internet Provider eavesdrops and manipulates content, every installation of @i2p or @Tor becomes a secured Internet connection.

I implore readers to visit https://geti2p.net/download 📄 and to install #i2p 🗃️ on a device—as many as feasible‼ Then install the Blizzard extension ❄️ mentioned by @i2p.

I2P is a fabulous addition to efforts of the Tor Network, but not by replacing it: #i2p complements #tor (see @i2p and @torproject). Tor currently reigns superior with TCP, which is in use at large by that “http(s)://“ scheme at the beginning of URLs; I2P supports TCP and UDP, which offers a broader range of applications—reliable downloads over a few kilobytes, video streaming, IRC and FTP, to name a few.

[N.B. This has been a major oversimplification; forgive me.]

As your devices enable I2P, both #I2P and #Tor are made accessible to at-risk persons internationally and are made more resilient to attack as we grow.

Help to keep the Internet open when you install #i2p on your devices. Go to https://geti2p.net/download now!

And continue below for even more juicy bits. ;)

Part 2: Request for Comments.

A note to those more knowledgeable than I am on technical topics:

  • Are there any #mastodon or #pleroma instances on #i2p ?
  • I2P allows many domains to an individual; can this be leveraged to somehow bridge the “user” and “server” parts of a handle? I could see a Public Key Infrastructure #PKI leveraging this to create a Peer-to-Peer #P2P Web-of-Trust #WoT on a user-instance basis. (I’m a noob, so I may not understand the scope of the issue thoroughly.) A user-instance (U.-I.) could “vouch for” other U.-I.s so that others might differently (how?) engage with content.
  • In regard to the previous point: could this trust become delegated with a fall-off? (Keep in mind that Kevin Bacon is never far away.)

Part 3: Tags of Interest.

If you know of projects which take advantage of #i2p and/or 1 or more of the below, please let me know!

Download - I2P

...
2/2
2- #MantaNetwork : se enfoca en construir una mejor #Web3 con garantías de privacidad diseñadas a partir del primer principio: aplicar construcciones criptográficas de vanguardia como #zkSNARK para brindar garantías de privacidad de extremo a extremo para las aplicaciones de cadena de bloques. Lo que esto se traduce para el usuario es la #privacidad en la cadena al realizar transacciones e intercambiar cualquier activo de #parachains.
Sin dudas estos do son una gran apuesta.
Zero-knowledge proofs

Cryptography

#Introduction

I am a #lawyer, #father, and observant Roman #Catholic. I am interested in many topics.

Catholic
#CatholicSocialTeaching #CST #Subsidiarity #SaintAugustine

Society
#Urbanism #Decentralization #privacy #transit #SelfDrivingCars

Technology
#Bitcoin #Filecoin #zkSNARK #SpaceX #BlueOrigin #3Dprinting #Renewable power

Gaming
#DnD #DnD5E

Health
#Nutrition #Fasting #Tabata

I’ll probably think of more later.