Valentinus Sofa 🎗

● Interested in distributed computing, cryptography, and cybersecurity
● Lelaki pecinta film kolosal (lagi melakukan riset untuk penulisan novel)

[Valentinus Sofa 🎗 @SofaValentinus]

If freedom = privacy, then we could rephrase this quote by Sigmund Freud as:
"Most people don't really want privacy, because privacy involves responsibility, and most people fear responsibility." 1/2
#Web3‌‌

[Ittai Abraham @ittaia]

Asynchronous DKG with O(n^2) communication and O(1) time, assuming only a plain PKI setup 🔥🔥🔥

With Renas Bacho and Gilad Stern:

https://t.co/CbjHxWuJPp

Previously, async DKG required either O(k) time and O(n^{2+1/k}) communication, or silent setup with a cubic-communication setup phase

And yes: running multiple instances concurrently is trivial :-)

[Schneier Blog @schneierblog]

Critical Zcash Vulnerability Found and Fixed https://t.co/lc1wBvaOEn

[zkSecurity @zksecurityXYZ]

Today, we're releasing version 1 of zkao. If you don't know what zkao is: it's deep research for finding bugs in codebases implementing cryptography. We're opening the tool to the public, but still gating it with a KYB to prevent people from scanning code they don't own. Link 👇🏼

[Ars Technica @arstechnica]

Meta alleges NSO violated spyware injunction with new WhatsApp attacks https://t.co/YkJddQqTgk

[Signal @signalapp]

Our statement on the UK government’s demand that all content on all devices sold or used in the country be scanned, on the presumption of nudity, using a dystopian combination of age verification and content scanning. This proposal will not safeguard children. It endangers us all.

https://t.co/VdWe9uhi8p

[Valentinus Sofa 🎗 @SofaValentinus]

Ini merupakan wake-up call bagi pemerintah untuk segera memberikan kepastian kebijakan (policy certainty) dan langkah konkret guna mengembalikan kepercayaan investor internasional sebelum situasi semakin memburuk.

https://t.co/19RLWNMJH7

[Quanta Magazine @QuantaMagazine]

Software like Lean, which allows mathematical proofs to be written and checked as computer code, could usher in a new, more collaborative era of problem solving. One of its most prominent supporters is mathematician Terence Tao.
https://t.co/alhsq5Mm8b

[Thomas Bloom @thomasfbloom]

I have started a collection of essays, blog posts, etc discussing AI in mathematics.

I do not agree with everything written, but all are valuable to read - the more different views the better!

Please reply with your own suggestions.

https://t.co/Pqk4WnkSis

[Tobias Rothmann @tobiasrth]

Just proved Function Binding for the KZG in Lean (in the Standard Model)!

The proof is based on ARSDH following the eprint 2025/902 (Fiat-Shamir security … from Functional Commitments).

Even better it’s part of Ethereum’s SNARK formal verification library ArkLib!

🧵/ n

[zooko🛡🦓🦓🦓 ⓩ @zooko]

I really enjoyed this conversation with Maxime Desalle. We recorded it May 7, 2026, so during the historical transitional period when AIs had just started getting really good at cybersecurity.

[Valentinus Sofa 🎗 @SofaValentinus]

Itulah mengapa jabatan politik seperti ini membutuhkan jabatan 'Wakil' di bawahnya.

https://t.co/tn5qNcbEag

[CNN @CNN]

Shoko Kawata, the 35-year-old mayor of Yawata city in Kyoto Prefecture, has announced she’ll be taking maternity leave around the coming birth of her child, putting herself at the forefront of a national debate and exposing a glaring gap in Japan’s historically patriarchal labor and political systems. https://t.co/DO7jCsC0cV

[Ariel Gabizon @rel_zeta_tech]

A new paper with Dmitry Krachun!
https://t.co/bF92RbpWzP

The basic idea: To randomly combine pedersen/KZG commitments, we usually choose λ-bit scalars for each one, and do an MSM - requiring roughly λn adds. This can be a bit better with pippenger; but in this paper we completely eliminate the multiplicative dependence between the two parameters - getting n^2+λ adds.

How do we do it?
- First encode the commitments in a code requiring few adds for encoding. Here there is much room for improvement if someone can analyze codes like RAA with O(n) adds over a large prime field.
Currently we use an RS code, with evaluation domain 1,2,..2n rather than roots of unity. The cool thing is that for this domain the encoding can be computed in n^2 adds via "forward differencing".

-Second, do λ steps of "double and random add" - at each iteration we double the current point and add a random index of the codeword. We use Fourier analysis to show if we started with a non-zero vector, the result is non-zero with high probability.

[Murat Demirbas (Distributolog) @muratdemirbas]

[new blog post]

A Case for Simulation-Driven Resilience in Agentic Data Systems

https://t.co/ETbboTLDbz

[Valentinus Sofa 🎗 @SofaValentinus]

@VanzerW25531 @mahakersa Homogenisasi makanan pokok ke beras dan tepung gandum mmng jd kesalahan terbesar era ORBA (sponsor dan subsidi khusus bg beras dan penetrasi mie instan), nmn jg tdk trlepas dr stigma sosial (tdk makan nasi dianggap miskin). Utk membalikkannya tdk mudah.

https://t.co/hwDPj8z2Fo

[Alexander John Lee @alexanderlee314]

I've been thinking about the Grand List Decoding (GLD) problem, from Boneh et al. and the Ethereum Foundation. Wrote a hackMD post (primarily to teach myself what the problem is about) explaining it from scratch. Read it here: https://t.co/84s5ByPKgu

[Valentinus Sofa 🎗 @SofaValentinus]

@IDS12TV Mohon maaf, Timnas U-19 ini koordinasi permainannya masih buruk. Banyak pemain jg yg perlu belajar lagi teknik dribbling dan passing. Dan yg terpenting mainnya harus lebih tenang.

[Mike Schmidt @bitschmidty]

sedited (@sedited_), Bitcoin Kernel developer and Bitcoin Core maintainer, blog post on validation logic in Bitcoin Core:

"Block validation logic in Bitcoin Core is surprisingly complex. After more than a decade of engineering towards improving performance, Bitcoin Core has accumulated many caching layers, sub-steps, and optimizations before the node even calls the script interpreter. In the following, I’ll describe in broad strokes what these are, first roughly describing what validation is done in which order, then explaining why it was implemented in the way it is and the tradeoffs involved"...

https://t.co/uffITGS7Wu

[Valentinus Sofa 🎗 @SofaValentinus]

@atokdalangs4 Selama sistem perekrutan aparatur negara kita masih akrab dengan sistem ordal dan uang pelicin, maka pola lingkaran setan ini akan terus menghasilkan orang-orang dan sistem yang korup dalam institusi negara. Analoginya sungai, kalau di hulunya kotor pasti di hilirnya juga kotor.

[Valentinus Sofa 🎗 @SofaValentinus]

Bahasa pemrograman Rust menggunakan metafora visual yang disebut sebagai "The Law of the Sigil" (Hukum Segel). "Kepemilikan data adalah tentang arsitektur, bukan hambatan."
https://t.co/aSM3qnZjp6