untuk mengurangi total kewajiban bursa (Pengguna individu yang memiliki saldo negatif hanya dapat diterima jika nilai bersihnya di atas 0) Klaim 3: Total nilai yang diklaim oleh bursa diperhitungkan untuk setiap pengguna tunggal, sehingga setiap pengguna dapat memverifikasi nilai bersih yang didapat dari total nilai Untuk menguji dan memverifikasi klaim di atas, kami perlu membuat batasan seperti: Klaim 1: Batasan Total Saldo (Batasan total saldo yang benar) uts: besaran jejak pengguna (user trace size