Tau Net & $AGRS mewujudkan visi cyberpunk asli BTC dan secara eksplisit dibangun untuk menghapus tata kelola terpusat.
Tau Net memastikan setiap pengguna dihitung, secara otomatis menerapkan pembaruan yang disepakati tanpa kontrol pusat. 👇
🧵2/6
Transaksi di blockchain Tau Net awalnya berisi pesanan transfer koin dan proposal persyaratan baru.
Umumnya, transaksi adalah tuple elemen aljabar Boolean, misalnya fungsi Boolean, string bit terhingga, rumus Tau, tabel, atau elemen aljabar Boolean apa pun yang didukung oleh Tau. Awalnya, seperti di atas, rantai hanya melihat dua elemen pertama dari tuple ini.
Tuple kemudian dirakit sebagai meja dalam blok baru yang diusulkan. Dari sana, pesanan transfer koin dan proposal aturan baru mengikuti dua jalur yang berbeda.
🧵3/6 Proposal Persyaratan:
Persyaratan baru mengikuti jalur yang berbeda; semua persyaratan baru dalam sebuah blok dihubungkan bersama, dan ini membuat bagian yang disetujui semua orang, dilambangkan dengan "psi(Ψ)".
Pada langkah ketiga, "Persyaratan Baru yang Disepakati Ψ" diumpankan ke aliran keluaran "Perbarui Bawaan" (memiliki akses ke aturan pada waktu T), yang melakukan prosedur Revisi Pointwise untuk menghasilkan persyaratan baru pada waktu T+1.
🧵4/6
Bagian transfer koin dari transaksi dinyatakan sebagai "delta lokal", yang merupakan tabel alamat dan jumlah yang akan ditransfer dari setiap transaksi (positif atau negatif).
Delta lokal kemudian dijumlahkan berdasarkan alamat untuk membentuk "Delta global", yang memberikan perubahan saldo bersih untuk setiap alamat. Akhirnya, delta global diringkas dengan tabel saldo saat ini, menghasilkan tabel saldo baru. Selama langkah Verifikasi Saldo, jika salah satu saldo baru ditemukan negatif, seluruh blok baru yang diusulkan ditolak.
🧵5/6 Negara Baru
Terakhir, tabel saldo baru pada waktu T+1 dan aturan baru pada waktu T+1 membentuk status baru pada waktu T+1. Aturan baru pada waktu T+1 akan mengatur perhitungan status pada waktu T+2.
🧵6/6
Apa pembaruan terbaru di Tau Net Test Net?
🛠 Pembaruan Pengembang Terbaru Juli – Membangun Inti TestNet Alpha Tau Net
Tim mendorong lebih jauh menuju TestNet Alpha dengan menyelesaikan pembuatan blok, meningkatkan kinerja penguraian, dan mengembangkan algoritme baru untuk normalisasi rumus.
Highlights:
- TestNet Alpha: Pembuatan blok, penautan, dan penyimpanan root Merkle selesai
- SAT Solver: Migrasi dari Z3 ke CVC5 membuka normalisasi & kepuasan yang lebih baik
- Mesin Penguraian: Peningkatan kinerja 60% + potensi paten penguraian baru
- R&D Bahasa: Normalisasi anti-prenexing & spesifikasi penghapusan kuantifikasi Boolean siap.
Ohad telah meninjau makalah logika temporal terbaru. Tau Net dan $AGRS tetap jauh di depan kemajuan akademik saat ini di lapangan.
Stempel waktu:
00:12 - Ringkasan Karim
03:48 - David (Pengembang Utama)
- Berhasil beralih dari Z3 ke CVC5, meningkatkan kinerja solver secara keseluruhan.
- Menyelesaikan pekerjaan modul normalisasi, kepuasan, dan penerjemah dengan CVC5.
- Mengimplementasikan pendekatan yang disarankan Ohad untuk menunda resolusi literal untuk persamaan vektor bit.
- Membantu Umar dengan tinjauan kode dan debugging.
05:36 - Lucca (Pengembang Bahasa Tau)
- Mengembangkan spesifikasi awal untuk algoritma untuk menghilangkan pengukur fungsi untuk digunakan dalam fitur tabel Tau.
- Mengintegrasikannya ke dalam algoritma normalisasi anti-prepreexing untuk menangani rumus yang tidak tercakup dalam CVC5.
- Mempersiapkan untuk mengimplementasikan algoritma ini sekarang setelah kode semu diselesaikan.
- Mulai menggunakan implementasi pohon baru Tomáš dan membantu menyelesaikan masalah akhirnya.
08:30 - Andrei Korotkoff (Pengembang Senior)
- Menyelesaikan pencapaian alfa testnet untuk produksi dan penyimpanan blok, termasuk penanganan mempool, penautan blok, komputasi akar Merkle, dan persistensi basis data.
- Pekerjaan ini meletakkan dasar untuk tonggak berikutnya: status rantai persisten berdasarkan riwayat blok.
- Mengembangkan alat pengujian beban yang kompleks untuk mensimulasikan perilaku penerjemah Tau dan dinamika blockchain di bawah revisi pointwise.
11:20 - Tomáš Klapka (Pengembang Senior)
- Memperbaiki beberapa masalah dari pengalihan hierarkis, termasuk penanganan negasi, kesalahan ketik tata bahasa, dan kesalahan inferensi jenis.
- Memfaktorkan ulang pustaka parser menjadi header saja.
- Membuat dukungan Docker dan rilis malam untuk alat dan pengurai TGF.
- Memperbarui bahasa Tau untuk mengintegrasikan parser yang ditingkatkan.
12:26 - Ohad (Pendiri & CTO)
- Berfokus pada desain algoritma baru dan kolaborasi tim.
- Mengeksplorasi bahasa independen domain untuk meningkatkan prosedur keputusan.
- Meninjau makalah akademis terbaru tentang logika temporal dan mengkonfirmasi Tau tetap berada di depan penelitian saat ini.
1,32 rb
39
Konten pada halaman ini disediakan oleh pihak ketiga. Kecuali dinyatakan lain, OKX bukanlah penulis artikel yang dikutip dan tidak mengklaim hak cipta atas materi tersebut. Konten ini disediakan hanya untuk tujuan informasi dan tidak mewakili pandangan OKX. Konten ini tidak dimaksudkan sebagai dukungan dalam bentuk apa pun dan tidak dapat dianggap sebagai nasihat investasi atau ajakan untuk membeli atau menjual aset digital. Sejauh AI generatif digunakan untuk menyediakan ringkasan atau informasi lainnya, konten yang dihasilkan AI mungkin tidak akurat atau tidak konsisten. Silakan baca artikel yang terkait untuk informasi lebih lanjut. OKX tidak bertanggung jawab atas konten yang dihosting di situs pihak ketiga. Kepemilikan aset digital, termasuk stablecoin dan NFT, melibatkan risiko tinggi dan dapat berfluktuasi secara signifikan. Anda perlu mempertimbangkan dengan hati-hati apakah trading atau menyimpan aset digital sesuai untuk Anda dengan mempertimbangkan kondisi keuangan Anda.