Одни считают, что для системы важна лишь верификация подлинности входящей информации, а не сами вычисления, другие предлагают рассматривать именно сами вычисления как главный элемент. Так как мы говорим про Бутерина, то его точка зрения — разделять простые и сложные вычисления, аргументирует он это тем, что сами смарт-контракты тоже можно разделить по сложности, и игнорировать нельзя ни элементарные смарт-контракты, ни сложные.