
Sign up to save your podcasts
Or


Primer that covers the differences in gas fees on Ethermint in comparison to Ethereum 1.0: Ethermint gas docs
Chainbridge Peggy episode on Cosmos Unchained: Watch on the Cosmos YouTube channel
For a primer about 'mesh networks' versus 'fixed wireless', this reddit post covers why Althea is more of an extension of the existing Internet rather than a 'new Internet': https://www.reddit.com/r/darknetplan/comments/d2b7nl/a_couple_of_noob_questions_about_meshnetdarknet/
Where you can find Althea: https://althea.net/
Check out:
Recommended Reading: https://blog.foam.space/the-anatomy-of-a-zone-e8abc4ceca85
Kepler Haskell Cosmos SDK built by FOAM
https://blog.foam.space/kepler-release-announcement-3821bbd0dbd5
- 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.
From the publisher's feed