[wycs]

There is very active work on using STARKS for this purpose. In the long term this is the plan for both Tezos and Ethereum.