Saya senang memberi tahu Anda bahwa setelah 7 tahun sebagai CEO, saya akhirnya membujuk Seth Hallem, CEO asli dan salah satu pendiri Coverity, untuk memimpin Certora dalam mengamankan ekosistem DeFi di seluruh Web3.
Mengapa sekarang?
Kami sudah memiliki tim 80 orang yang luar biasa dengan 25 peneliti keamanan internal dan beberapa klien terbaik (berulang) di ruang ini, termasuk @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance, dan @ethstatus.
Sekarang kami memperluas tim manajemen kami untuk mencapai tonggak berikutnya.
Dalam beberapa tahun terakhir, kami telah memecahkan salah satu masalah paling kompleks dalam ilmu komputer: mengembangkan alat verifikasi formal untuk program yang dapat dieksekusi yang dapat digunakan oleh pengembang perangkat lunak dengan mulus. Dan mereka telah menggunakannya.
Certora Prover adalah produk terkemuka untuk memverifikasi program Solidity dan Rust yang kompleks, yang berada di luar jangkauan alat verifikasi formal lainnya di Web3 dan Web2.
Kami telah memantapkan diri kami sebagai pelopor dalam verifikasi formal. Sekarang, kami berkembang menjadi hub masuk untuk semua solusi keamanan Web3.
Mengapa, di antara banyak orang hebat yang pernah bekerja dengan saya dalam karir saya, Seth adalah pilihan yang sempurna?
Itu karena Certora adalah perusahaan unik yang berpusat pada pelanggan yang menggabungkan keahlian teknik dan keamanan yang kuat, dan yang membutuhkan CEO yang: (1) teknis, dapat memahami spesifikasi, bug kompleks, dan rekayasa perangkat lunak, (2) ahli dalam gerakan penjualan dan BD, (3) sangat berpengalaman dengan manajemen, (4) berdedikasi dan peduli dengan orang-orang, dan (5) pemimpin dengan catatan kesuksesan yang terbukti.
Anda mungkin bertanya-tanya apa peran baru saya nantinya. Saya tidak akan pergi ke mana pun dan tidak mengambil posisi ketua atau presiden. Seperti biasa, saya masih mencari tantangan baru untuk ditangani, terutama dalam membangun alat keamanan.
Saya berencana untuk memajukan Certora dalam tiga cara: (1) dengan memperkuat hubungan pelanggan dan meningkatkan penjualan; (2) dengan memposisikan Certora sebagai perusahaan keamanan terkemuka; dan (3) dengan mengelola tim peneliti baru yang akan dengan cepat mengembangkan prototipe produk keamanan baru dan mentransfernya ke departemen R&D kami yang kuat.
Saya juga berharap dapat menghabiskan lebih banyak waktu dengan klien kami dan lebih memahami kebutuhan mereka, sehingga Certora dapat terus memungkinkan mereka untuk "Bergerak Cepat dan Tidak Merusak Apa-apa" dengan mengirimkan protokol yang inovatif dan aman.
Jika Anda memiliki pertanyaan atau umpan balik, DM saya terbuka.
Saya bersemangat dengan apa yang akan terjadi di masa depan dan berharap dapat terus membangun masa depan Web3 yang aman bersama-sama.
20,13 rb
77
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.