laser_hash
Member
3
Posts
87
Reputation
Feb 27, 2019
Joined
Recent posts
Yeah, In terms of the cost and programmability, it's very hard to run a zk-verify contract on Bitcoin directly now. And tbh, it's much harder to support these by changing the bitcoin. So We have to find another way to…
How to verify the computation happened in off-chain(ZKVM) is a problem. And now we would love to use a fraud-proof to solve it. A Bisection protocol used in Arbitrum. So, we could verify a single instruction of ZKVM on…
I got inspired by BitVM, which was created by @robin_linus, and after messing around with ZKVM, I put together some thoughts on how we could possibly integrate ZK-based programmability and privacy into Bitcoin at the…