مؤسس Algorand ساعد في ابتكار إثباتات الصفرية المعرفة ويحمل أعلى جائزة في عالم الحوسبة... شارك سيلفيو ميتشالي (@silviomicali) في ابتكار إثباتات الصفرية المعرفة، وهي طريقة لإثبات صحة شيء ما دون كشف البيانات الكامنة وراءه. وشارك جائزة تورينغ لعام 2012 مع شافي جولدواسير (@ShafiGoldwasser). كما شارك في ابتكار وظائف العشوائية القابلة للتحقق (VRF). وتنتج هذه الوظائف رقمًا عشوائيًا بالإضافة إلى إثبات يمكن لأي شخص التحقق منه، ولا يمكن تزويره. أسس ميتشالي @Algorand في عام 2017. يستخدم شبكته هذه الوظيفة لاختيار من يقترح كل كتلة بشكل خاص، ويُظهر الفائز نفسه فقط عند اتخاذه إجراءً. يتم وزن السحب بناءً على كمية algorand:native المُرَهَّنة؛ فكلما زاد حجم الحيازات، زادت احتمالية اختيارها.