Add examples: dining cryptos and grade protocol