Seminarium: Systemy Rozproszone
21 grudnia 2017, godzina 12:15,
sala
Jedną z nowych koncepcji, która znalazła zastosowanie po pojawieniu się technologii Blockchain oraz kryptowalut są Smart Contracts. Jest to swego rodzaju nowa gałąź informatyki, która dynamiczne rozwija się w praktyce. Stanowi ona także motywację do rozwoju teoretycznej strony informatyki opartej na kryptografii i złożoności obliczeniowej. Tutaj właśnie swoje miejsce znajduje zkSNARKs - "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge". ZkSNARKs umożliwia sprawdzenie poprawności przeprowadzonych przez kogoś obliczeń bez konieczności wykonania ich oraz co więcej bez wiedzy co zostało obliczone.
W trakcie prezentacji wyjaśnię czym są Smart Contracts oraz w jaki sposób one działają. Następnie omówię aparat matematyczny stojący za zkSNARKs oraz przedstawię tego istniejące i potencjalne zastosowania.
Zapraszam!
Jan Kopański
Bibliografia: