home.social
Sign in Create account

#zksnark — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #zksnark, aggregated by home.social.

  1. Habr @[email protected] ·

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

    Эта статья — ответ на критику: «перестаньте рассказывать сказки, как 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 — и магически получили решение. Или контрпример. Или указание на теорему из совершенно другой области математики, о которой они никогда не слышали. Некоторые истории оттуда заслуживают отдельного разговора. Интересно! Читать далее

    habr.com/ru/companies/bar/arti

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

    #google_research #peer_review #reasoning #дерево_штейнера #верификация_доказательств #lwe
  2. blake shaw 🇵🇸 @[email protected] ·

    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

    research.protocol.ai/publicati

    with an implementation in #rust

    #lisp #zksnark #lurk #zeroknowledge #rust