Wizard Glacier

Web3 builder.
Chief Architect of @pawket_app and @ChiaNameService.
Currently working on ZK projects. and

[Jet halo @jet_halo]

上周五，我在 MuShanghai 发起了一个slot
举办了一场Harness agent × zkVerify 技术工作坊。
在这次 Workshop 中，我主要分享了如何从零开始开发一个 zkApp，以及如何利用 Harness Agent 提升开发效率。
作为实践案例，我现场完整演示并开发了一个 Verifiable PnL Platform，展示如何通过 ZK 技术验证交易收益，而无需暴露用户的敏感账户信息。
这是我第一次在中国大陆举办面向开发者的 zkVerify 技术分享活动。
很高兴看到越来越多开发者开始关注 AI Agent 与零知识证明技术的结合。
很快 我还会持续举办更多技术分享、Workshop ，欢迎大家关注！！！

[Wizard Glacier @icerdesign]

@jet_halo 很有范嘛

[Aztec Labs @AztecLabs_]

Aztec Labs has acquired Obsidion, the team behind @ZKPassport.

The Obsidion team will continue to develop ZKPassport while also leading new consumer product developments.

The ZKPassport protocol will remain open source.

[Marvin Quevedo 🌱 @MarvinQ96]

New Ozone Wallet version 0.9.265:

⚙️ New Sage sync engine (Rust): faster P2P sync & balances
🎨 Full UI refresh & redesigned onboarding
📊 New Peers/Network & 'My Offers' screens
💱 In-app TibetSwap and DexieSwap
🔌 WalletConnect for Tangem wallets

🌐 https://t.co/F3UOP8cEbB

[Quang Dao @QuangVDao]

Cryptographic protocols should be formally verified

How do we do it in Lean, the fastest-growing proof assistant?

Introducing VCVio (https://t.co/j51Xh0vVU3), a base layer for crypto proofs in Lean

Joint work with @dtumad, @alexanderlhicks, James Waters & Nick Hopper

🧵/n

[Wizard Glacier @icerdesign]

@steppsr Cool! Thanks 🌱

[Alloc Init @alloc_init_]

Today we announce: AADP WE Open Challenges.

Recently we proposed a new witness encryption scheme based on Arithmetic Affine Determinant Programs which we intend to use in Bitcoin PIPEs v2, unlocking a wide range of applications and eliminating the need for trusted parties.

Now we invite anyone to break small instances of our new scheme or to discover structural properties that were unknown before.

Details here:
https://t.co/IfK5x3G3cb

Special thanks to @zeroknowledgefm @zkproof @IACReurocrypt for organizing the conference week in Rome that we're announcing these at in person.

[Wizard Glacier @icerdesign]

I’m in Barcelona, posting my work, great to see new friends here.

[L2BEAT 💗 @l2beat]

Over $50k were paid on @Scroll_ZKP in excess of due fees over just a few days

Here's what happened and who suffered the most:

[Wizard Glacier @icerdesign]

@fede_intern Waiting for some details

[Hiya @hiya1024]

Tea time with @Rigidity16 and @icerdesign 😉

[Steve Stepp🌱 @steppsr]

🧩 Not all puzzles look like puzzles. Some look like news. Some look like updates. Some quietly hint at what’s next. This Week In Chia has a few pieces you might recognize later. 😉🌾 https://t.co/tUXxXB9D2X

Last week's Weekly Donation was to @icerdesign and Mixch (https://t.co/30WFr5Xa5Q) your all-in-one web toolkit to build, debug, and simulate XCH coins—featuring CLVM tools, spend bundle inspection, coin utilities, and more.

And big thank you to last week's advertiser @theNamesdao! Claim your identity on Chia 🌱✨ with Namesdao and turn your name into a powerful NFT—use it as a simple wallet address, a personal payment page, or even a decentralized website via .xch.limo. 💚

Movie Poster is minted! https://t.co/HX1e7kh9rd

Check out the Weekly Recap in the following Tweet Thread!

[Hiya @hiya1024]

Tea time with @icerdesign and @yakuhito in Tokyo

[Hiya @hiya1024]

来东京参加的第一场活动。

[Wizard Glacier @icerdesign]

@steppsr Aha, so cool!💚

[vitalik.eth @VitalikButerin]

I was recently at Real World Crypto (that's crypto as in cryptography) and the associated side events, and one thing that struck me was that it was a clarifying experience in terms of understanding *what blockchains are for*.

We blockchain people (myself included) often have a tendency to start off from the perspective that we are Ethereum, and therefore we need to go around and find use cases for Ethereum - and generate arguments for why sticking Ethereum into all kinds of places is beneficial.

But recently I have been thinking from a different perspective. For a moment, let us forget that we are "the Ethereum community". Rather, we are maintainers of the Ethereum tool, and members of the {CROPS (censorship-resistant, open-source, private, secure) tech | sanctuary tech | non-corposlop tech | d/acc | ...} community. Going in with zero attachment to Ethereum specifically, and entering a context (like RWC) where there are people with in-principle aligned values but no blockchain baggage, can we re-derive from zero in what places Ethereum adds the most value?

From attending the events, the first answer that comes up is actually not what you think. It's not smart contracts, it's not even payments. It's what cryptographers call a "public bulletin board".

See, lots of cryptographic protocols - including secure online voting, secure software and website version control, certificate revocation... - all require some publicly writable and readable place where people can post blobs of data. This does not require any computation functionality. In fact, it does not directly require money - though it does _indirectly_ require money, because if you want permissionless anti-spam it has to be economic. The only thing it _fundamentally_ requires is data availability.

And it just so happened that Ethereum recently did an upgrade (PeerDAS) to increase the amount of data availability it provides by 2.3x, with a path to going another 10-100x higher!

Next, payments. Many protocols require payments for many reasons. Some things need to be charged for to reduce spam. Other things because they are services provided by someone who expends resources and needs to be compensated. If you want a permissionless API that does not get spammed to death, you need payments. And Ethereum + ZK payment channels (eg. https://t.co/1Q2Hqg0DZg ) is one of the best payment systems for APIs you can come up with.

If you are making a private and secure application (eg. a messenger, or many other things), and you do not want to let people to spam the system by creating a million accounts and then uploading a gigabyte-sized video on each one, you need sybil resistance, and if you care about security and privacy, you really should care about permissionless participation (ie. don't have mandatory phone number dependency). ETH payment as anti-sybil tool is a natural backstop in such use cases.

Finally, smart contracts. One major use case is _security deposits_: ETH put into lockboxes that provably get destroyed if a proof is submitted that the owner violated some protocol rule. Another is actually implementing things like ZK payment channels. A third is making it easy to have pointers to "digital objects" that represent some socially defined external entity (not necessarily an RWA!), and for those pointers to interact with each other.

*Technically*, for every use case other than use cases handling ETH itself, the smart contracts are "just a convenience": you could just use the chain as a bulletin board, and use ZK-SNARKs to provide the results of any computations over it. But in practice, standardizing such things is hard, and you get the most interoperability if you just take the same mechanism that enables programs to control ETH, and let other digital objects use it too.

And from here, we start getting into a huge number of potential applications, including all of the things happening in defi.

---

So yes, Ethereum has a lot of value, that you can see from first principles if you take a step back and see it purely as a technical tool: global shared memory.

I suspect that a big bottleneck to seeing more of this kind of usage is that the world has not yet updated to the fact that we are no longer in 2020-22, fees are now extremely low, and we have a much stronger scaling roadmap to make sure that they will continue to stay low, even if much higher levels of usage return. Infrastructure for not exposing fee volatility to users is much more mature (eg. one way to do this for many use cases is to just operate a blob publisher).

Ethereum blobs as a bulletin board, ETH as an asset and universal-backup means of payment, and Ethereum smart contracts as a shared programming layer, all make total sense as part of a decentralized, private and secure open source software stack. But we should continue to improve the Ethereum protocol and infrastructure so that it's actually effective in all of these situations.

[Wizard Glacier @icerdesign]

@Rigidity16 Yes, however, only affected the last (find) coin panel.

[Wizard Glacier @icerdesign]

I think almost no one uses Pawket on testnet anymore, so I'm shutting it down. It takes up twice as much space as mainnet, so I'm freeing up some room on my server.

[Wizard Glacier @icerdesign]

@ClydeWallace22 Good news! When? Does the plan decided?

[OtterSec @osec_io]

We found the same Fiat-Shamir bug in six independent zkVMs.

The result: an attacker can bypass the cryptography entirely and prove mathematically impossible statements (like minting $1M out of thin air).

Full breakdown ↓