CRYPTO NEWS

Solidity class inherit an interface but doesn’t implement all its function

I have an interface IA and a contract A which inherit IA. Now if there’s a function a() in IA, but I don’t implement a() in A. Is there a default behavior when calling A.a()?

Verifiable computation examples where verification is much faster than re-execution

Verifiable computation (VC) has been practical since Pinocchio and the field has evolved significantly since. What are some of the best examples today where computation is significantly faster than the verification, for VC to make sense? Are there examples where computation is astronomically slow, but verification is lightning fast?

Verifiable computation (VC) has been practical since Pinocchio and the field has evolved significantly since.
What are some of the best examples today where computation is significantly faster than the verification, for VC to make sense? Are there examples where computation is astronomically slow, but verification is lightning fast?