Saat Senja berkembang menjadi arsitektur modular, ia memperkenalkan Hedger, mesin privasi baru yang dirancang khusus untuk lapisan eksekusi EVM
Seorang provisioner adalah pengguna yang mengunci sejumlah DUSK sebagai jaminan. Setiap pengguna dapat melakukannya dengan menyiarkan transaksi jaminan. Secara formal, jaminan S terdiri dari pasangan
S = (jumlah, tinggi), di mana jumlah adalah jumlah DUSK yang dijamin dan tinggi adalah tinggi blok saat transaksi jaminan dimasukkan. Terdapat jaminan minimum yang ditetapkan oleh parameter global minStake (saat ini diatur menjadi 1000 DUSK). Provisioner dapat membuka jaminan mereka dengan menyiarkan transaksi pembatalan jaminan.
Epoch dan kelayakan. Hanya jaminan yang layak yang dapat berpartisipasi dalam algoritma DS. Untuk itu, kita mengaitkan setiap jaminan S = (jumlah, tinggi) dengan periode kematangan M yang didefinisikan sebagai
M = 2 × epoch − (tinggi mod epoch),
di mana epoch adalah parameter global yang sesuai dengan jumlah blok tetap (saat ini diatur menjadi 2160 blok). Jaminan S layak dalam putaran R jika memenuhi dua syarat berikut:
jumlah ≥ minStake dan R > tinggi + M.
Artinya, jaminan menjadi layak pada awal epoch baru, setelah periode kematangan yang mencakup sisa epoch di mana transaksi jaminan dimasukkan dan satu epoch penuh lainnya. Akibatnya, semua jaminan baru menjadi layak pada awal epoch.
