Chạy các chương trình có thể xác minh trên dữ liệu được mã hóa. Riêng tư. Có thể chứng minh. Có thể lập trình. Có thể di chuyển. Có thể cắm.