By now there are recursive proofs, and the blockchain could be a static size (couple KB) proof. So all you need for IBD is to download that tiny proof and run a quick validation, and that's equivalent to downloading and verifying the entire blockchain at the moment. So a smartly designed proof can be way smaller than raw transactions.

Zcash doesn't have these recursive proofs, and thus it suffered a massive transaction spam attack that made mobile wallets unusable, and all these transactions cost like 10k$ in fees or something like that.

It depends on the details of the base layer if it can support other layers. Monero for example can't support something like lightning network because it has no scripting. But darkfi is Turing complete, so that can do basically any second layer scheme.

Huge, I hope this will work much better, arti is great.

I'd love a crawler app on android that gets all my relevant events from other relays and puts them in the local relay, then the clients can always connect to the local relay, load feeds instantly and even offline.

Bullet proofs is ancient zero knowledge tech.
There was an insane amount of improvement with generalized zk proof systems, recursive proofs, reduced trust assumptions, more efficient circuit construction etc.

Maybe the best outcome of the shitcoin era is the reallocation of capital from meme chasers to cryptographers.

You get the same verification guarantees in all these systems.
The cost lies in generating the proof (signing the transaction), transmitting the proof (block space cost), and validating the proof (running a node).

Historically zero knowledge cryptography was more expensive on all fronts.
Recent advances reduced all those costs tho.

Love it, thanks!

Yeah, interoperability is amazing!

That's awesome!
How did it go with implementing this?
Anything missing in the tooling?

Don't do this with your own app, sign it yourself instead!
https://zapstore.dev/docs/publish

Dunno, @franzap?