Ethereum fell below $1,600 (13-month low) after Shielded Labs disclosed a critical Zcash bug undetected for 4 years,
#ethereum #zcash #blockchainsecurity #cryptomarket #zksnark #defirisk #protocolvulnerability
Ethereum fell below $1,600 (13-month low) after Shielded Labs disclosed a critical Zcash bug undetected for 4 years,
#ethereum #zcash #blockchainsecurity #cryptomarket #zksnark #defirisk #protocolvulnerability
Модель находит баг в криптографии, а криптограф узнаёт от неё новую математику
Эта статья — ответ на критику: «перестаньте рассказывать сказки, как 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
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
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…
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:
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!
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
Health
#Nutrition #Fasting #Tabata
I’ll probably think of more later.