✅ Tonggak Testnet Tau Net lainnya tercapai: Skema Blok & Akar Merkle.
Seperti yang disebutkan dalam pembaruan pengembangan terbaru kami, kami telah menyelesaikan skema blok untuk Tau Test Net dan komputasi root Merkle terintegrasi.
Sistem sekarang: 👇
- Merakit blok dari transaksi mempool.
- Hash menautkan blok ke yang sebelumnya.
- Menghitung akar Merkle untuk integritas transaksi.
- Menyimpan setiap blok dalam DB persisten.
Pengembang Senior Andrei sekarang sedang membangun status dari buku besar historis, pergi blok demi blok dari blok genesis, dan berharap untuk mencapai status rantai yang persisten dan bahkan mungkin sebagian jaringan peer-to-peer (P2P) segera.
Ikuti kami untuk tetap up to date menjadi bagian dari infrastruktur Crypto dan Defi terbaik.
🧵2/2:
🛠 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.
2,63 rb
50
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.