Blockchain Security at Scale (Dagstuhl Seminar 18461)