Liam Zebedee
@liamz
Blockchains: Verification cost: O(N) Communication cost: O(N^2) ZK: Verification cost: O(log N) Communication cost: O(log N)
2 replies
0 recast
0 reaction
Liam Zebedee
@liamz
I'm at the cusp of the ZK readings, because I'm an obsessive manic. Tech drawbacks atm: - proofs too large (20kB) - proofs too long to generate (5s-20mins) - no generally implemented recursion - dev tooling all still early We are on the cusp of a revolution.
1 reply
0 recast
0 reaction
Liam Zebedee
@liamz
Things have a strong path to getting better: - hardware accelerated provers are being built as we speak - new proving systems come out every day - tooling is always being improved - recursion is being implemented by every team atm
1 reply
0 recast
0 reaction
Liam Zebedee
@liamz
Recursion btw is what enables logarithmic communication cost. This is from the Goliath whitepaper- https://i.imgur.com/vRrdoUk.png
1 reply
0 recast
0 reaction