İlgi alanları ve uzmanlık

Titiz testler, her türlü yazılım üretim hattının ayrılmaz bir parçası haline gelmiştir. Ancak bu bizi sadece bir yere kadar götürebilir. Testleri resmi yöntemlere ve program analizine dayalı araç ve tekniklerle tamamlamak, özellikle kod organik olarak büyüyüp devasa hale geldiğinde büyük bir değere sahiptir. Yazılımların olası tüm tehditlere karşı sağlamlığını bilmek ve gerçekleştirmek için resmi doğrulama ve program analizi çizgisini tutkuyla takip ediyorum.

Bir program diline daha fazla bilimsel düşünce katmak, geliştirici topluluğunu sıçramalarla ilerletmeye her zaman yardımcı olur. Garantiler derleme zamanında (akıllı IDE'lerle sadece programlama sırasında!) anında gerçekleşir. Rust, Golang, Fonksiyonel programlama ve son zamanlarda blok zincirleri için Movelang bunun kanıtlarıdır. Supra olarak, altyapı geliştiricilerinin yanı sıra dapp düzeyindeki geliştiricileri de güvenli ve performanslı olmanın yanı sıra daha fazla soyutlama, kolaylık ve basitliğe doğru yönlendirmek ve onlara rehberlik etmek istiyoruz.

Dağıtılmış protokoller modern yazılım sistemlerinin temelini oluşturmaktadır. Bu temel tasarımların son derece verimli ve güvenli bir şekilde inşa edilmesi büyük önem taşıyor ve giderek daha fazla bir gereklilik haline geliyor. Supra olarak tüm dağıtık protokolleri özgün bir bakış açısıyla ele alıyor ve tüm sektörün ve topluluğun faydalanması için temel içgörülere katkıda bulunuyoruz.

Yorum

CEO'muz Joshua Tobkin, “önce araştırma” zihniyetini kurumun derinliklerine yerleştirmiştir. Girişimleri, vizyoner düşüncesi ve temel içgörüleri sayesinde araştırma ekibini derin içgörüleri pratik fayda ile birleştirmeye yönlendirdi. Supra'nın IntraLayer olarak konumlandırılmasını sağlayacak yüksek verimli, düşük gecikmeli, ölçeklenebilir bir mütabakat protokolü ailesi icat ettik.

Yüksek güvenlikli Köprü Protokolünün dinamiklerini daha pratik bir Rasyonel modelden dikkatlice düşündük ve bir Köprü protokolü ailesini dikkatlice hazırladık ve bunları oyun teorisi tekniklerini kullanarak titizlikle analiz ettik.