Son günlerde, CertiK'in kurucu ortağı ve Columbia Üniversitesi profesörü Gu Ronghui, dünya çapında tanınan finans medya kuruluşu CNBC Arap Kanalı'na özel bir röportaj verdi. Biçimsel doğrulamanın endüstri uygulamaları, AI'nın Blok Zinciri güvenliğindeki rolü ve yeni teknolojilerin riskleri gibi konular etrafında Web3 güvenliğinin geleceği hakkında derin içgörülerini paylaştı.
Gu Ronghui, biçimsel doğrulamanın blok zinciri güvenliğinin temeli olduğunu belirtti. Bunun amacı, matematiksel yöntemler kullanarak kod davranışının beklenen mantıkla uyumlu olup olmadığını doğrulamaktır. Bu yöntem, geleneksel denetim araçlarına göre daha titiz ve daha zorlu bir yaklaşımdır. Kendisi, blok zincirinin özünün sadece teknolojik yenilik değil, aynı zamanda güvenin yeniden yapılandırılması olduğunu birçok kez vurgulamıştır. Gerçekten güvenilir sistemler, doğrulanabilir olmalıdır.
Biçimsel Doğrulama: Blok Zinciri Güvenlik Temelini Oluşturma
Biçimsel Doğrulama, yüksek eşik ve yüksek yoğunlukta bir denetim yöntemi olarak, derin bir teknik birikim ve temel mantığın anlaşılmasını gerektirir. Gu Ronghui, özel bir röportajda, bu yöntemin karmaşık olmasına rağmen, Blok Zinciri güvenliği ve kontrol edilebilirliği konusunda benzersiz avantajlar sunduğunu vurgulamıştır.
Onun biçimsel doğrulama ile olan bağı, eğitim dönemine kadar uzanabilir. 2016 yılında, Yale Üniversitesi'nden Profesör Zhao Zhong ile işbirliği yaparak, dünya çapında tamamen biçimsel olarak doğrulanmış ilk çok çekirdekli işletim sistemi çekirdeği CertiKOS'u başarıyla geliştirdi ve Google tarafından kırılmaz (Unbreakable) olarak değerlendirildi. Bu başarı, teknolojinin gerçek dünyadaki uygulama rolünü doğrulamanın yanı sıra, sektör pratiğine girmesi için de bir temel oluşturdu.
Bundan sonra, Gu Ronghui 2017 yılında CertiK'i kurarak biçimsel doğrulamayı blok zinciri sahnesine dahil etti. Bugün bu teknoloji, ZK gibi gizlilik ve güvenliğe önem veren birçok öncü projede ve Ant Group gibi büyük finans kuruluşlarında yaygın olarak kullanılmaktadır. Gu Ronghui, özel bir röportajda biçimsel doğrulama verimliliğini artırmak amacıyla, CertiK içinde şu anda AI akıllı analiz gibi yardımcı araçlar inşa ettiklerini ve bunların kod özelliklerini otomatik olarak tanıyıp mantıksal kanıtlar ürettiğini belirtti.
Akademik sonuçların uygulanmasını teşvik ederken, Gu Ronghui aynı zamanda sektörün karşılaştığı yeni tehditlere de sürekli yakın ilgi göstermektedir. "Süper bilgisayarlar veya kuantum hesaplamaları blok zinciri güvenliğine tehdit oluşturabilir" endişesine karşı, bu tür teknolojilerin potansiyel riskler taşıdığını kabul etti, ancak şu aşamada maddi bir tehdit oluşturacak kadar yeterli olmadığını belirtti. "Süper bilgisayarların mevcut blok zinciri sistemlerini aşacak kapasiteye henüz sahip olmadığını" düşünen Gu Ronghui, "Daha da önemlisi, sektör aktif olarak kuantum algoritmalarına karşı dayanıklı çözümler ve savunma mekanizmaları inşa etmektedir, ilgili çözümlere sahip olmak mümkündür."
AI Uygulamaları: Web3 Güvenlik Manzarasını Yeniden Şekillendirmek
Gu Ronghui, özel bir röportajda, AI'nın Blok Zinciri güvenlik yapısını yeniden şekillendirdiğini özellikle vurguladı, özellikle akıllı sözleşme denetimi ve zincir üzerindeki tehdit tanımlama alanında büyük bir potansiyel gösterdiğini, "AI'nın doğru bir şekilde uygulanması, Blok Zinciri güvenlik sistemine somut bir iyileştirme getirebilir."
O, CertiK'in araştırmalarının Web3 projelerindeki kötü niyetli davranış yöntemlerinin giderek daha karmaşık hale geldiğini gösterdiğini belirtti. Bazı oltalama projeleri kullanıcıları uzun süre takip edebilir ve hassas dolandırıcılıklar gerçekleştirebilir. Ancak, AI modellerinin hızlı tanıma yeteneği sayesinde, bu tür saldırılar artık genellikle birkaç saat içinde tespit edilip ortadan kaldırılabiliyor.
Şu anda, CertiK, AI'yı açık bulma ve denetim süreçlerinde yaygın olarak kullanmaktadır. Zincir üzerindeki uyarı verilerini analiz ederek, açık nedenlerini ve saldırı yollarını tanımlamaya yardımcı olur; aynı zamanda, AI teknolojisini kullanarak bilinen açık kalıp taraması, kod mantığı analizi ve rapor oluşturma gerçekleştirir, "insan-makine iş birliği" merkezli akıllı denetim sistemi inşa eder ve insan denetim ekiplerine güvenilir matematiksel destek ve verimlilik artışı sağlar.
Ancak AI uygulamalarının giderek yaygınlaşmasıyla, saldırganlar da bunları kullanarak saldırı yöntemlerini güçlendirebilirler. Gu Ronghui, bunun güvenlik karşıtı mücadelenin eşiğinin yükseldiği anlamına geldiğini ve sektörün daha güçlü güvenlik çözümlerine ihtiyaç duyduğunu düşünüyor.
Teknik Vizyon: Web3 Güven Sınırlarını Genişletmek
Gu Ronghui her zaman Web3 gelişiminin bir sonraki aşamasının "kullanılabilir" olmaktan "güvenilir" olmaya geçeceğine inanmıştır. Verimlilik ve yenilik son nokta değildir, sorumluluk ve güven teknoloji evriminin temel değeridir. Ancak doğrulanabilir güvenlik mekanizmaları entegre edildiğinde, Blok Zinciri gerçekten güvenilir bir küresel finansal altyapı haline gelebilir.
Bu, CertiK'nin kuruluşundan bu yana benimsediği misyondur - biçimsel doğrulama merkezli, yatırım inkübasyonu, güvenlik denetimi, uyum danışmanlığı gibi tüm yaşam döngüsünü kapsayan güvenlik ürünleri sistemi oluşturmak, projelere doğrulanabilir güvenlik sağlamak ve sektör için daha yüksek güvenlik standartları belirlemektir.
Gu Ronghui için bu sadece bir işletme stratejisi değil, aynı zamanda bir yaşam tercihi. Yale'de öğrenim görmekten Kolombiya'da öğretim üyeliğine, akademik araştırmadan girişimcilik pratiğine kadar her zaman biçimsel doğrulamayı teoriden pratiğe dönüştürmeye odaklandı, teknoloji ile sektörde güveni artırmayı hedefledi.
Columbia Üniversitesi profesörü ve CertiK CEO'su Gu Ronghui, akademik ve ticari iki alanda faaliyet gösterirken, hedefini her zaman Web3 güvenliğini korumaya odaklamıştır. Öğretim felsefesinin, gerçek içgörüleri akademik tartışmalara entegre etmeye dayandığını belirtmiş ve siber güvenlik alanındaki yeni neslin bilişsel ve yetenek temellerini inşa etmeyi amaçladığını vurgulamıştır.
"Web3'ün güvenliğini sağlamak, yalnızca bir teknik zorluk değil, aynı zamanda bir sosyal sorumluluktur." Gu Ronghui defalarca kamuya açık bir şekilde belirtmiştir, "Hedefimiz, bu endüstriyi daha güvenli ve daha güvenilir hale getirmektir."
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
CNBC, CertiK'in kurucu ortağı Gu Ronghui ile röportaj: Biçimsel Doğrulamadan AI ile Güçlendirmeye, Web3 güven sınırlarını sürekli olarak genişletme
Son günlerde, CertiK'in kurucu ortağı ve Columbia Üniversitesi profesörü Gu Ronghui, dünya çapında tanınan finans medya kuruluşu CNBC Arap Kanalı'na özel bir röportaj verdi. Biçimsel doğrulamanın endüstri uygulamaları, AI'nın Blok Zinciri güvenliğindeki rolü ve yeni teknolojilerin riskleri gibi konular etrafında Web3 güvenliğinin geleceği hakkında derin içgörülerini paylaştı.
Gu Ronghui, biçimsel doğrulamanın blok zinciri güvenliğinin temeli olduğunu belirtti. Bunun amacı, matematiksel yöntemler kullanarak kod davranışının beklenen mantıkla uyumlu olup olmadığını doğrulamaktır. Bu yöntem, geleneksel denetim araçlarına göre daha titiz ve daha zorlu bir yaklaşımdır. Kendisi, blok zincirinin özünün sadece teknolojik yenilik değil, aynı zamanda güvenin yeniden yapılandırılması olduğunu birçok kez vurgulamıştır. Gerçekten güvenilir sistemler, doğrulanabilir olmalıdır.
Biçimsel Doğrulama: Blok Zinciri Güvenlik Temelini Oluşturma
Biçimsel Doğrulama, yüksek eşik ve yüksek yoğunlukta bir denetim yöntemi olarak, derin bir teknik birikim ve temel mantığın anlaşılmasını gerektirir. Gu Ronghui, özel bir röportajda, bu yöntemin karmaşık olmasına rağmen, Blok Zinciri güvenliği ve kontrol edilebilirliği konusunda benzersiz avantajlar sunduğunu vurgulamıştır.
Onun biçimsel doğrulama ile olan bağı, eğitim dönemine kadar uzanabilir. 2016 yılında, Yale Üniversitesi'nden Profesör Zhao Zhong ile işbirliği yaparak, dünya çapında tamamen biçimsel olarak doğrulanmış ilk çok çekirdekli işletim sistemi çekirdeği CertiKOS'u başarıyla geliştirdi ve Google tarafından kırılmaz (Unbreakable) olarak değerlendirildi. Bu başarı, teknolojinin gerçek dünyadaki uygulama rolünü doğrulamanın yanı sıra, sektör pratiğine girmesi için de bir temel oluşturdu.
Bundan sonra, Gu Ronghui 2017 yılında CertiK'i kurarak biçimsel doğrulamayı blok zinciri sahnesine dahil etti. Bugün bu teknoloji, ZK gibi gizlilik ve güvenliğe önem veren birçok öncü projede ve Ant Group gibi büyük finans kuruluşlarında yaygın olarak kullanılmaktadır. Gu Ronghui, özel bir röportajda biçimsel doğrulama verimliliğini artırmak amacıyla, CertiK içinde şu anda AI akıllı analiz gibi yardımcı araçlar inşa ettiklerini ve bunların kod özelliklerini otomatik olarak tanıyıp mantıksal kanıtlar ürettiğini belirtti.
Akademik sonuçların uygulanmasını teşvik ederken, Gu Ronghui aynı zamanda sektörün karşılaştığı yeni tehditlere de sürekli yakın ilgi göstermektedir. "Süper bilgisayarlar veya kuantum hesaplamaları blok zinciri güvenliğine tehdit oluşturabilir" endişesine karşı, bu tür teknolojilerin potansiyel riskler taşıdığını kabul etti, ancak şu aşamada maddi bir tehdit oluşturacak kadar yeterli olmadığını belirtti. "Süper bilgisayarların mevcut blok zinciri sistemlerini aşacak kapasiteye henüz sahip olmadığını" düşünen Gu Ronghui, "Daha da önemlisi, sektör aktif olarak kuantum algoritmalarına karşı dayanıklı çözümler ve savunma mekanizmaları inşa etmektedir, ilgili çözümlere sahip olmak mümkündür."
AI Uygulamaları: Web3 Güvenlik Manzarasını Yeniden Şekillendirmek
Gu Ronghui, özel bir röportajda, AI'nın Blok Zinciri güvenlik yapısını yeniden şekillendirdiğini özellikle vurguladı, özellikle akıllı sözleşme denetimi ve zincir üzerindeki tehdit tanımlama alanında büyük bir potansiyel gösterdiğini, "AI'nın doğru bir şekilde uygulanması, Blok Zinciri güvenlik sistemine somut bir iyileştirme getirebilir."
O, CertiK'in araştırmalarının Web3 projelerindeki kötü niyetli davranış yöntemlerinin giderek daha karmaşık hale geldiğini gösterdiğini belirtti. Bazı oltalama projeleri kullanıcıları uzun süre takip edebilir ve hassas dolandırıcılıklar gerçekleştirebilir. Ancak, AI modellerinin hızlı tanıma yeteneği sayesinde, bu tür saldırılar artık genellikle birkaç saat içinde tespit edilip ortadan kaldırılabiliyor.
Şu anda, CertiK, AI'yı açık bulma ve denetim süreçlerinde yaygın olarak kullanmaktadır. Zincir üzerindeki uyarı verilerini analiz ederek, açık nedenlerini ve saldırı yollarını tanımlamaya yardımcı olur; aynı zamanda, AI teknolojisini kullanarak bilinen açık kalıp taraması, kod mantığı analizi ve rapor oluşturma gerçekleştirir, "insan-makine iş birliği" merkezli akıllı denetim sistemi inşa eder ve insan denetim ekiplerine güvenilir matematiksel destek ve verimlilik artışı sağlar.
Ancak AI uygulamalarının giderek yaygınlaşmasıyla, saldırganlar da bunları kullanarak saldırı yöntemlerini güçlendirebilirler. Gu Ronghui, bunun güvenlik karşıtı mücadelenin eşiğinin yükseldiği anlamına geldiğini ve sektörün daha güçlü güvenlik çözümlerine ihtiyaç duyduğunu düşünüyor.
Teknik Vizyon: Web3 Güven Sınırlarını Genişletmek
Gu Ronghui her zaman Web3 gelişiminin bir sonraki aşamasının "kullanılabilir" olmaktan "güvenilir" olmaya geçeceğine inanmıştır. Verimlilik ve yenilik son nokta değildir, sorumluluk ve güven teknoloji evriminin temel değeridir. Ancak doğrulanabilir güvenlik mekanizmaları entegre edildiğinde, Blok Zinciri gerçekten güvenilir bir küresel finansal altyapı haline gelebilir.
Bu, CertiK'nin kuruluşundan bu yana benimsediği misyondur - biçimsel doğrulama merkezli, yatırım inkübasyonu, güvenlik denetimi, uyum danışmanlığı gibi tüm yaşam döngüsünü kapsayan güvenlik ürünleri sistemi oluşturmak, projelere doğrulanabilir güvenlik sağlamak ve sektör için daha yüksek güvenlik standartları belirlemektir.
Gu Ronghui için bu sadece bir işletme stratejisi değil, aynı zamanda bir yaşam tercihi. Yale'de öğrenim görmekten Kolombiya'da öğretim üyeliğine, akademik araştırmadan girişimcilik pratiğine kadar her zaman biçimsel doğrulamayı teoriden pratiğe dönüştürmeye odaklandı, teknoloji ile sektörde güveni artırmayı hedefledi.
Columbia Üniversitesi profesörü ve CertiK CEO'su Gu Ronghui, akademik ve ticari iki alanda faaliyet gösterirken, hedefini her zaman Web3 güvenliğini korumaya odaklamıştır. Öğretim felsefesinin, gerçek içgörüleri akademik tartışmalara entegre etmeye dayandığını belirtmiş ve siber güvenlik alanındaki yeni neslin bilişsel ve yetenek temellerini inşa etmeyi amaçladığını vurgulamıştır.
"Web3'ün güvenliğini sağlamak, yalnızca bir teknik zorluk değil, aynı zamanda bir sosyal sorumluluktur." Gu Ronghui defalarca kamuya açık bir şekilde belirtmiştir, "Hedefimiz, bu endüstriyi daha güvenli ve daha güvenilir hale getirmektir."