@trafalgar,
"this is a very technically demanding project that requires cutting edge knowledge in mathematics, computer science, logic, programming, etc."
Thank you, I am going to read his blog now! Feel like a new kind of Nakamoto is going to birth soon via Ohad!
Thank you again!

Cheers~