Vladislav Semkin

dev

[Succinct @SuccinctLabs]

https://t.co/kgKvzUY37I

[Vladislav Semkin @vasemkin]

BLS Signature Scheme Cheatsheet

https://t.co/IqfC8VcDuV

[Ipê City @ipecity]

Ipê News #7 is out! 🔥
https://t.co/yvBs6t34gp

This week we cover:
🏘️ Ipê City at @balajis' @thenetworkstate Conference with our founder @peerbase_ sharing the stage with @VitalikButerin and government leaders!

🏫 Zcash’s privacy-first Network State by @Zcash & @zashi_app

🌐 Base Network State: @XenBH how @buildonbase is growing a global builder network, and @gui_bettanin leads the Brazil arm

⚖️ @animocabrands & gaming nations from @ysiu's talk on games as proto-network states

🛠️ @telegram's TON Network State: over 1B users, crypto wallet adoption, and builders expanding on @ton_blockchain

🌍 Popup cities everywhere from @JoinEdgeCity, @infinitacity, @James_of_Arc, @zuitzerland and more

[ZuKaş 2026 | September @zuzalukas]

Building Network States with Statecraft w/ @vasemkin https://t.co/MqvB1a3dWq

[Almas | PuneDAO | almas.offline @titaniumals]

How to build Network states with @zuzalukas @Shakaleikaumaka @mbauwens @tarikcanaytac @ilaydatunabylu & Guzmet
https://t.co/l4z8nJhdXH

[Michel Bauwens @mbauwens]

* Statecraft ,

https://t.co/eL5KPr8Lj5

"is a pioneering digital solution that enables online communities to experiment with novel governance models, ultimately facilitating their evolution into Network States."

[Vladislav Semkin @vasemkin]

I was incredibly excited to share our vision with the Zuzalu Software community, looking forward to future townhalls!

[Zuzalu Software (Zuzalu.city) @Zuzalu_city]

https://t.co/Mn0tdcluDD: a modular governance platform for online communities enabling network states. It features a drag-and-drop State Builder, a Citizen app for on-chain voting and discussions, and a configurable voting module with privacy-focused encryption options, inviting collaborators and testers.
👥 @ Vladislav （TG: https://t.co/830kkRMheP）

[Vladislav Semkin @vasemkin]

@shikitashi We had a great time, my friend!

[Free Pertsev & Storm @FreeAlexeyRoman]

The US court ruled sanctions against Tornado Cash were unlawful. So what does this mean for Roman and Alexey? Here's what we still need clarity on:

1) Will the govt appeal or seek rehearing by the court?
2) What remedy will the trial court order when the case goes back there?
3) Will the other appeal in the Coin Center case reach the same decision?

While this is a major step forward for privacy, it does not give Roman or Alexey a get out of jail free card, and both developers still need funding for their upcoming trials.

[Vladislav Semkin @vasemkin]

@levelsio Robot waiters seem to be popular as well, I encountered them many times in Singapore restaurants

[Zatoshi @Zac_Aztec]

Gm noir gang. Guess what time it is? Its fresh-pressed organic handmade noir library dropping time.

Today for y’all we’ve got something really special; a fully-featured, efficient JSON parser.

https://t.co/YfkmCK3jQB

imma explain to y’all why this a big deal...

[Vladislav Semkin @vasemkin]

the zk book is truly a great dive not just into zk, but some of the important math concepts behind cryptography in general. will be happy to study the second one

[RareSkills @RareSkills_io]

Almost a year ago, we published the most approachable introduction to how production ZK-SNARKs work.

It's not just a theoretical or conceptual walkthrough.

Engineers with no cryptography background were able to take the resource and build the Groth16 algorithm from scratch using it.

We believe this resource has led to more learning-directed implementations of Groth16 than any other resource -- possibly all other resources combined.

It has also inspired several tutorials of engineers sharing what they've learned (though not all of them give credit to the original book 😎).

Best of all -- it has onboarded some very skilled security researchers into ZK so their talents can be leveraged to benefit the community even better.

A year later, we've heavily upgraded the book based on feedback and what we've learned teaching dozens of students in our bootcamp.

ZK Book 2.0 has been uploaded to Github as a late draft.

Pull requests are welcome!

Specifically:
- we've cut down on the math in some areas where it wasn't necessary
- we've added chapters and elaborated on concepts that were not adequately covered in the previous version
- we've incorporated explanations of concepts that we used in the bootcamp that we found to be more effective
- we've made the notation more internally consistent
- errata has been fixed
- images of formulas have been replaced by latex for faster loading time

This will be available on our new website one migration finishes, but you can get a sneak peak on Github now!

[bartek.eth @bkiepuszewski]

So @zircuit ("the first zkEVM built on Optimism Bedrock") launched on mainnet so clearly we are all interested in their proof system. However looking at proofs, this is not exactly what I expected. https://t.co/KUziqZlgIe. I assume this is temporary, for how long though ?

[Vladislav Semkin @vasemkin]

@VitalikButerin @danfinlay Has any consensus been reached whether Verkle Trees can be considered “SNARK-friendly”?

[Vladislav Semkin @vasemkin]

tfw rust-analyzer uses 7.28 GB of RAM

[Vladislav Semkin @vasemkin]

But effectively, since the constraint check has been executed successfully, the proof is valid, so for some cases this is ok (with better handling of course), if we don’t need to calculate it

[Vladislav Semkin @vasemkin]

Do you like this testing pattern?

[Vladislav Semkin @vasemkin]

After that, it tries to calculate the proof. However, WASM memory limit is 4gb, which is around 500k constraints.

When a proof has more constraints than WASM allows, it throws an “unreachable” error.

[Vladislav Semkin @vasemkin]

Catch me at #GlobalPizzaParty in Limassol!