Minat dan Keahlian

Pengujian yang ketat telah menjadi bagian tak terpisahkan dari setiap lini produksi perangkat lunak. Namun, pengujian saja memiliki keterbatasan. Melengkapi pengujian dengan alat dan teknik berbasis metode formal serta analisis program memiliki nilai yang sangat besar, terutama ketika kode berkembang secara organik dan menjadi sangat kompleks. Saya secara aktif mendalami verifikasi formal dan analisis program untuk menilai serta meningkatkan ketahanan perangkat lunak terhadap berbagai ancaman yang mungkin terjadi.

Mendorong pemikiran ilmiah dalam bahasa pemrograman selalu membantu komunitas pengembang untuk berkembang pesat. Jaminan keamanan dan keandalan dapat langsung diperoleh pada saat kompilasi (dan dengan IDE pintar, bahkan saat proses pemrograman!). Rust, Golang, serta pemrograman fungsional menjadi bukti nyata dari pendekatan ini, dan lebih baru lagi, Movelang untuk blockchain.

Di Supra, kami ingin membimbing dan mendorong pengembang infrastruktur serta pengembang dApp menuju abstraksi yang lebih tinggi, kemudahan, dan kesederhanaan, tanpa mengorbankan keamanan dan performa.

Protokol terdistribusi adalah fondasi utama sistem perangkat lunak modern. Membangun dan mengamankan desain fundamental ini secara efisien adalah prioritas utama dan semakin menjadi kebutuhan industri.

Di Supra, kami mendekati semua protokol terdistribusi dari perspektif yang unik, memberikan wawasan mendalam agar industri serta komunitas dapat memperoleh manfaat yang maksimal.

Komentar

CEO kami, Joshua Tobkin, telah menanamkan mindset “research first” secara mendalam dalam organisasi. Melalui inisiatif, visi, dan wawasan intinya, ia telah mengarahkan tim penelitian untuk menggabungkan pemahaman mendalam dengan kegunaan praktis.

Kami telah menciptakan keluarga protokol konsensus dengan throughput tinggi, latensi rendah, dan skalabilitas tinggi, yang akan mendukung posisi Supra sebagai IntraLayer.

Selain itu, kami telah merancang Bridge Protocol yang sangat aman berdasarkan model Rational yang lebih praktis. Kami juga telah mengembangkan keluarga protokol Bridge yang dianalisis secara ketat menggunakan teknik teori permainan untuk memastikan keandalan dan keamanan maksimal.