So currently Zcash ZKPs circuit is mainly used to prove the user has knowledge of a private key. In Zcash wouldn’t a smart contract simply be a user defined circuit? And now that we have halo 2 (recursion) can’t the on-chain user defined circuit simply verify (recursively) that the user ran an more complex application locally?
In practice would this also make QEDIT’s task of supporting ZSAs simply a matter of deploying the new circuit on-chain. Maybe we should ask QEDIT about this when they are done (@LeCryptoMath) .
Doesn’t this also solve @zooko’s concerns about forking? Nobody would need to ever fork Zcash they could simply just deploy their new circuit .
It is true but it is quite an oversimplification of what was achieved by zcash. Yes, anyone could write halo circuits but not everyone can. I suggest you try your hands on implementing a smart contract. For example a sudoku verifier. It is the classic beginner project of zkp.
.
.