Artwork

المحتوى المقدم من The Human and Machine and The Human. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرةً بواسطة The Human and Machine and The Human أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.
Player FM - تطبيق بودكاست
انتقل إلى وضع عدم الاتصال باستخدام تطبيق Player FM !

EP.020 l Let’s Talk Certik with Ken Trueba: Blockchain Security and More! | The Human & Machine Podcast

39:29
 
مشاركة
 

سلسلة مؤرشفة ("تلقيمة معطلة" status)

When? This feed was archived on February 26, 2024 18:00 (1M ago). Last successful fetch was on January 05, 2022 13:26 (2y ago)

Why? تلقيمة معطلة status. لم تتمكن خوادمنا من جلب تلقيمة بودكاست صحيحة لفترة طويلة.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

Manage episode 303773248 series 2990182
المحتوى المقدم من The Human and Machine and The Human. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرةً بواسطة The Human and Machine and The Human أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

In this hot new informative episode, the Human and the Machine discuss blockchain security and audit with Ken Trueba - Business Development Manager, Certik.

CertiK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free using the leading formal verification technology to mathematically ensure the highest level of security.

CertiK has completed over 1,400 audits to date to help push towards that goal of a secure blockchain. CertiK has developed many new tools, in addition to the audits, to create a closed security loop for a wider range of security monitoring. These include Skynet, which provides 24/7 security analysis for smart contracts, and CertiKShield, a decentralized pool of CTK that is used to reimburse lost, stolen, or inaccessible assets from any blockchain.

CertiK has also created the Security Leaderboard, the leading security-focused ranking platform to analyze and monitor blockchain protocols and DeFi projects.

Telegram: http://t.me/HumanAndMachineOfficial

(This content is for entertainment purposes only. Any content or information published by The Human and Machine should NOT be considered financial advice nor a solicitation or encouragement to purchase or invest in any project. The message contained in the content shall not be considered a validation or due diligence result of the project. Do your own research.)

  continue reading

53 حلقات

Artwork
iconمشاركة
 

سلسلة مؤرشفة ("تلقيمة معطلة" status)

When? This feed was archived on February 26, 2024 18:00 (1M ago). Last successful fetch was on January 05, 2022 13:26 (2y ago)

Why? تلقيمة معطلة status. لم تتمكن خوادمنا من جلب تلقيمة بودكاست صحيحة لفترة طويلة.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

Manage episode 303773248 series 2990182
المحتوى المقدم من The Human and Machine and The Human. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرةً بواسطة The Human and Machine and The Human أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

In this hot new informative episode, the Human and the Machine discuss blockchain security and audit with Ken Trueba - Business Development Manager, Certik.

CertiK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free using the leading formal verification technology to mathematically ensure the highest level of security.

CertiK has completed over 1,400 audits to date to help push towards that goal of a secure blockchain. CertiK has developed many new tools, in addition to the audits, to create a closed security loop for a wider range of security monitoring. These include Skynet, which provides 24/7 security analysis for smart contracts, and CertiKShield, a decentralized pool of CTK that is used to reimburse lost, stolen, or inaccessible assets from any blockchain.

CertiK has also created the Security Leaderboard, the leading security-focused ranking platform to analyze and monitor blockchain protocols and DeFi projects.

Telegram: http://t.me/HumanAndMachineOfficial

(This content is for entertainment purposes only. Any content or information published by The Human and Machine should NOT be considered financial advice nor a solicitation or encouragement to purchase or invest in any project. The message contained in the content shall not be considered a validation or due diligence result of the project. Do your own research.)

  continue reading

53 حلقات

كل الحلقات

×
 
Loading …

مرحبًا بك في مشغل أف ام!

يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.

 

دليل مرجعي سريع