当然，更有难度和创意的是 把证明过程，把算法，可以压缩成一个integer 可以 encode 可以decode