Search


	Podcast:		Interchain.FM
	Episode:		Handshake: How to Implement Private Airdrops
	Category:		Technology
	Duration:		00:39:35
	Publish Date:		2020-01-06 05:37:10
	Description:		- GooSig reference code https://github.com/kwantam/GooSig - Handshake's GooSig implementation https://github.com/handshake-org/goosig/ - Systemization of Knowledge: Computer-Aided Cryptography https://eprint.iacr.org/2019/1393 An overview of current efforts at provable cryptographic software. - Fiat Crypto https://github.com/mit-plv/fiat-crypto Work out of Adam Chlipala's group at MIT on generating certified implementations of crypto software. Now used in BoringSSL! - miTLS https://mitls.org/ A certified implementation of TLS. There's also been plenty of work since then by (some of) the authors on proving security of the TLS 1.3 protocol, e.g., https://www.microsoft.com/en-us/research/publication/implementing-proving-tls-1-3-record-layer/ - HACL* https://github.com/project-everest/hacl-star A formally verified cryptographic library, used in Mozilla's libNSS.
	Total Play:		0