Verifiable RPC

Currently, most applications rely on centralized RPC providers. Verifiable RPC is a mechanism to remove the need to trust an RPC provider by having the RPC provider generate a proof that the data being served is correct. These proofs can be outsourced to Gevulot.