detail Phoenix mudah terlewat:
catatan yang sudah dibelanjakan tetap berada di dalam pohon Merkle.
pertama kali saya memperlakukan pohon itu seperti kumpulan UTXO pribadi. begitu sebuah catatan dibelanjakan, saya mengira catatan itu akan menghilang.
tapi whitepaper mengatakan sebaliknya.
saat sebuah catatan Phoenix dibelanjakan, pemiliknya menurunkan nullifier dari kunci rahasia catatan tersebut. jaringan mencatat nullifier itu agar catatan tidak bisa dibelanjakan lagi.
namun jaringan tidak mempelajari catatan mana yang menjadi milik nullifier tersebut.
jadi catatannya tetap ada. pohonnya terus bertambah.
hal itu menciptakan perbedaan yang belum pernah saya pikirkan:
tercatat tidak sama dengan dapat dibelanjakan.
sebuah root Merkle terbaru memungkinkan jaringan memverifikasi bahwa sebuah catatan input termasuk dalam pohon tersebut. keberanggotaan saja tidak berarti nilainya masih “hidup”.
jawaban itu ada di daftar nullifier.
dan Phoenix tetap menjaga tautan publik antara keduanya yang tersembunyi.
di Moonlight, Dusk memetakan sebuah akun ke saldo publik.
Phoenix bekerja secara berbeda. jaringan memverifikasi bukti ZK bahwa catatan input telah dinullifikasi dengan benar dan memiliki nilai yang cukup untuk catatan baru, deposit dan maksimum gas, tanpa mengekspos jumlahnya.
jadi sebuah catatan Phoenix bisa tetap ter-catat meskipun kegunaan ekonomisnya sudah hilang.
catatannya bertahan.
hak untuk membelanjakan tidak.
lalu ada perpecahan lain.
sebuah view key dapat diberikan kepada pihak tepercaya untuk memindai jaringan dan mengidentifikasi transaksi yang dialamatkan ke pengguna. tetapi tetap saja ia tidak bisa membelanjakan catatan-catatan itu, karena kunci rahasia catatan membutuhkan seluruh kunci rahasia pengguna.
jadi “bisa melihat keadaan privat saya” dan “bisa mengendalikan keadaan privat saya” adalah izin yang berbeda.
ada dua batas yang muncul:
tercatat / dapat dibelanjakan
terlihat / dapat dikendalikan
data case yang terus saya pertimbangkan adalah aplikasi yang merekonstruksi apa yang dimiliki pengguna saat ini.
catatan yang masih ada tidak cukup.
bisa mengenalinya juga tidak cukup.
Anda perlu riwayat, status nullifikasi, dan materi kunci rahasia yang tepat.
yang membuat saya bertanya:
di buku besar privat, apakah “keadaan saat ini” itu satu objek, ataukah perpotongan dari catatan yang sengaja tidak lengkap ketika dibaca sendiri?
@Dusk #dusk $DUSK $VELVET $APR
catatan yang sudah dibelanjakan tetap berada di dalam pohon Merkle.
pertama kali saya memperlakukan pohon itu seperti kumpulan UTXO pribadi. begitu sebuah catatan dibelanjakan, saya mengira catatan itu akan menghilang.
tapi whitepaper mengatakan sebaliknya.
saat sebuah catatan Phoenix dibelanjakan, pemiliknya menurunkan nullifier dari kunci rahasia catatan tersebut. jaringan mencatat nullifier itu agar catatan tidak bisa dibelanjakan lagi.
namun jaringan tidak mempelajari catatan mana yang menjadi milik nullifier tersebut.
jadi catatannya tetap ada. pohonnya terus bertambah.
hal itu menciptakan perbedaan yang belum pernah saya pikirkan:
tercatat tidak sama dengan dapat dibelanjakan.
sebuah root Merkle terbaru memungkinkan jaringan memverifikasi bahwa sebuah catatan input termasuk dalam pohon tersebut. keberanggotaan saja tidak berarti nilainya masih “hidup”.
jawaban itu ada di daftar nullifier.
dan Phoenix tetap menjaga tautan publik antara keduanya yang tersembunyi.
di Moonlight, Dusk memetakan sebuah akun ke saldo publik.
Phoenix bekerja secara berbeda. jaringan memverifikasi bukti ZK bahwa catatan input telah dinullifikasi dengan benar dan memiliki nilai yang cukup untuk catatan baru, deposit dan maksimum gas, tanpa mengekspos jumlahnya.
jadi sebuah catatan Phoenix bisa tetap ter-catat meskipun kegunaan ekonomisnya sudah hilang.
catatannya bertahan.
hak untuk membelanjakan tidak.
lalu ada perpecahan lain.
sebuah view key dapat diberikan kepada pihak tepercaya untuk memindai jaringan dan mengidentifikasi transaksi yang dialamatkan ke pengguna. tetapi tetap saja ia tidak bisa membelanjakan catatan-catatan itu, karena kunci rahasia catatan membutuhkan seluruh kunci rahasia pengguna.
jadi “bisa melihat keadaan privat saya” dan “bisa mengendalikan keadaan privat saya” adalah izin yang berbeda.
ada dua batas yang muncul:
tercatat / dapat dibelanjakan
terlihat / dapat dikendalikan
data case yang terus saya pertimbangkan adalah aplikasi yang merekonstruksi apa yang dimiliki pengguna saat ini.
catatan yang masih ada tidak cukup.
bisa mengenalinya juga tidak cukup.
Anda perlu riwayat, status nullifikasi, dan materi kunci rahasia yang tepat.
yang membuat saya bertanya:
di buku besar privat, apakah “keadaan saat ini” itu satu objek, ataukah perpotongan dari catatan yang sengaja tidak lengkap ketika dibaca sendiri?
@Dusk #dusk $DUSK $VELVET $APR
