Nowy, kosmiczny odcinek mojego podcastu "What the Fox says" jest już dostępny!

Dzisiejsze wydanie zdominowały tematy pozaziemskie, ale nie zabrakło też twardych, ziemskich realiów technologicznych. Sprawdźcie, o czym opowiadam w tym odcinku:

* Rewolucja w astrofizyce: Przyglądam się nowym odkryciom Kosmicznego Teleskopu Jamesa Webba. Układ WL20 rzuca wyzwanie dotychczasowym modelom fizycznym, a nowe dane mogą w końcu wyjaśnić zagadkę powstawania supermasywnych czarnych dziur we wczesnym wszechświecie.
* Nowa era napędów i misji: Omawiam sukcesy testów zaawansowanego napędu plazmowego NASA (AEPS) oraz technologie kriogeniczne Blue Origin – to technologie, które skrócą podróż na Marsa i pomogą nam przetrwać księżycową noc.
* Bitwa o suwerenność cyfrową: Analizuję projekt rosyjskiej konstelacji satelitarnej Razvet, która ma być odpowiedzią na Starlinka, oraz przytaczam dramatyczny apel twórcy Mistral AI o przyszłość europejskiej sztucznej inteligencji.
* Technologiczny "deskilling": Zastanawiam się, czy bezkrytyczne poleganie na automatyzacji i AI nie prowadzi nas prostą drogą do erozji poznawczej i utraty zdolności krytycznej oceny sytuacji.
* Innowacje bliżej nas: Rozkładam na czynniki pierwsze Europejski Portfel Tożsamości Cyfrowej i kryptograficzne dowody wiedzy zerowej (Zero-Knowledge Proof), największy na kontynencie wanadowy magazyn energii w okolicach Manchesteru oraz medyczny przełom w badaniach nad niehormonalną antykoncepcją dla mężczyzn (białko ARRDC4).

Gdzie leży granica między automatyzacją a intelektualną kapitulacją? Zapraszam do słuchania i dyskusji!

https://wtfs.stream/@what_the_fox_says/episodes/odcinek-kosmiczny

#WhatTheFoxSays #Astrofizyka #NASA #BlueOrigin #Starlink #Razvet #MistralAI #AI #Deskilling #Kryptografia #ZKP #Vanadium #ARRDC4 #Nauka #Technologia

Using ZKP, an application can validate information mathematically without the user having to share their actual data 🧱EN

Mediante ZKP, una aplicación puede validar información de forma matemática sin que el usuario deba compartir sus datos reales 🧱ES

🔗 https://nubecolectiva.com/blog/implementar-zkp-nodejs/

#programming #coding #programación #code #webdevelopment #devs #softwaredevelopment #zkp

Cроки факторизации приватных ключей RSA и Bitcoin немного приблизились

В марте 2026 году криптографы из Google Quantum AI опубликовали доказательство , что сверхпроводящий квантовый компьютер с 500 000 физических кубитов (это 1200 кубитов с коррекцией ошибок) способен взломать приватные ключи Bitcoin максимум за 9 минут (быстрее, чем 10-минутное время генерации новых блоков). Хотя опасность квантовых вычислений для традиционных шифров известна давно, ранее для этого предполагалась более серьёзная конфигурация, чем 500 тыс. кубитов. Новое доказательство поднимает перед финансовой индустрией несколько вопросов. Самый главный — когда будут разработаны и поступят в продажу квантовые компьютеры на 500 тыс. кубитов, если сейчас у самого мощного около 150 кубитов? Исследователи Google Quantum AI в техническом отчёте дают рекомендации по минимизации ущерба.

https://habr.com/ru/articles/1028168/

#квантовый_компьютер #алгоритм_Шора #Ethereum #Bitcoin #ECDLP #ZKP #secp256k1 #приватные_мемпулы #постквантовая_криптография

Legislation like the Parents Decide Act (H.R. 8250) creates honeypots & privacy nightmares. It's labeled a "technical necessity", but I'm releasing phase 1 of my project to prove that decentralized, non-invasive verification is possible.

Phase 1: Position paper + ZKP demo.
Phase 2 : Auditing D-Bus vulnerabilities.
Phase 3: Creating a local parental control utility based on findings in phase 2.

Link to GitHub: https://github.com/Tori-Tech/Mandating-Honeypots-Project

@eff #ParentsDecideAct #HR8250 #zkp #infosec #privacy

New breakthrough results for quantum attack resource estimates against 256-bit elliptic curves: most ECC-based applications including ECDSA and Bitcoin could be at risk way sooner than expected:

https://research.google/blog/safeguarding-cryptocurrency-by-disclosing-quantum-vulnerabilities-responsibly/

We estimate that these circuits can be executed on a superconducting qubit CRQC with fewer than 500,000 physical qubits in a few minutes [...] This is an approximately 20-fold reduction in the number of physical qubits required to solve ECDLP-256"

Interestingly, Google and friends did not release the blueprint for the attack circuit. In the name of "responsible disclosure", they only provided a zero-knowledge proof (ZKP) proving that the circuit works. This is, I think , a first in the realm of cryptanalysis disclosure.

The statement that our ZK proof demonstrates is the following: we possess a classical reversible circuit of a specified size which on most inputs correctly computes point addition on the elliptic curve secp256k. This is the primary bottleneck in Shor’s quantum algorithm

I have been saying this since the 2010s: quantum cryptanalysis is one of those non-linear technology progresses that will take everyone by surprise when it arrives. Qubits quality and numbers go up, error-correction and attacks improve, investments scale up accordingly. It's a perfect storm of compound factors. Folks didn't listen, now time is ticking.

More context at: https://gagliardoni.net/#20260331_new_quantum_estimates

#quantum #quantumcomputing #cryptography #security #cybersecurity #infosec #google #bitcoin #blockchain #ethereum #zkp #zeroknowledge

The #privacy paradox: regulating zero-knowledge finance in the #EU and beyond https://www.coindesk.com/opinion/2026/03/19/the-privacy-paradox-regulating-zero-knowledge-finance-in-the-eu-and-beyond

#ZKP #ZeroKnowledgeProof #blockchain #crypto

#ZKP Achievement unlocked! We're using 100% of the crates providing Tom-256 curves (https://crates.io/search?q=t256, ignoring `uint256`):

Our

https://crates.io/crates/ark-tom256

based on arkworks, to make noir produce circuits based on the T-256 curve, and

https://crates.io/crates/halo2curves

in the MS Crescent implementation to use Spartan as a prover backend...

And Clément proved that `1 == 1`, and he cannot prove that `2 == 1`, because the circuit constraints are not met!

I’ve been analyzing the current state of "secure" messaging, and my recent tests with Signal have highlighted some persistent vulnerabilities inherent to any stack relying on standard TCP/IP. Even with strong encryption, metadata leakage at the ISP/CDN level and the reliance on kernel-level interfaces like TUN/TAP remain significant privacy bottlenecks.

I’m curious to discuss the feasibility of a user-space only stack built in Rust that completely decouples identity, addressing, and transport to mitigate these leaks. My current architectural hypothesis involves an identity layer using hardware-backed Zero-Knowledge Proofs—via TEE or zkVM—to handle authentication without persistent identifiers or central registries. For addressing and routing, I'm thinking of a minimal RINA overlay where Distributed IPC Facilities (DIF) allow us to route between processes rather than nodes, effectively moving away from traditional IP-based addressing. This would all be wrapped in a "blind" transport, such as Ockam or shadowsocks-rust, to make the traffic indistinguishable from generic noise to any external observer.

I’m still weighing the practical hurdles, especially how to best bridge RINA's recursive logic with a user-space transport like Ockam without requiring root privileges. I'm open to suggestions on alternative technologies or implementations that might achieve this same level of isolation. If anyone has thoughts on the practical hurdles or existing foundations that could be leveraged here, I’d really value your perspective. Definitely feels like there's a lot to dig into.

#Rust #Rustlang #Infosec #Cryptography #Networking #Privacy #DistributedSystems #RINA #ZKP

I'm interested in learning about formal methods and zero-knowledge proofs, particularly for their use in verifying software. I know very, very little about this, but it would be very useful if I knew more.

What are some good basic introductions?

I'm going to poke around a bit with Lean and Dafny. What else might I look at to get, at least, what you might call a "dinner party level" of understanding -- enough so that I can follow and basically participate in a conversation about those in a not-so-formal situation?

#cs #formalmethods #zkp