cross-posted from: https://programming.dev/post/22952335

Hi Lemmy,

I'm Martin and have been working on a free and open-source, fully DIY crypto hardware wallet for a couple of months now. I' ve just published the first functional preview of the firmware, which can be built by anyone easily using Arduino IDE, and flashed to a variety of $5-off-the-shelve ESP32 boards from Aliexpress.

The first release will allow for storing up to 30 encrypted seed phrases, and Ethereum signing via Bluetooth Low Energy. Under the hood, it's powered by the cryptographic libraries written and used by Trezor.io.

Support for more interfaces and chains can be added fairly easily due to a modular structure, and there is a whole roadmap planned to extend functionality (starting with support for displays).

If you're interested to learn more, check out the README in the Colibri repository.

Please let me know what you think, and leave a 🌟 on Github if you lik

Part 2

Part 3

Part 4

The motivation for Formal Verification Security of smart contracts is still a crucial challenge: we all remember the DAO, parity hacks, a bunch of smaller attacks and the most recent delayed hard fork. We would like to see the future in which we can be way more confident about our code.

Depending how you count, event over a half a billion dollars (by today’s Ethereum evaluation), was lost in a couple of biggest smart contract hacks.

What about if behind every responsible piece of code stands pure solid mathematics instead of personal conviction of developers? With formal verification tools for Ethereum finally maturing, it is now not only possible but also practical.

In this and

Ethereum is a platform that makes it possible for any developer to write and distribute next-generation decentralized applications.

Borrowing the concept of distributed consensus and cryptographic proof that makes cryptocurrencies such as Bitcoin so effective in trustless payments, Ethereum extends the use of these technologies to trustless agreements. This allows developers to easily build innovative new products on a censorship and collusion-resistant foundation.

Ethereum will go live in Q4 2014, in the meantime we are regularly releasing alpha software so you can try your hand at building distributed applications.

Main site: https://www.ethereum.org

Forums: https://forum.ethereum.org

Github: https://github.com/ethereum

Blog: http://blog.ethereum.org

Code Releases: https://code.ethereum.org

Wiki: http://wiki.ethereum.org

Meetups: http://ethereum.meetup.com

Whitepaper: http://ethereum.org/ethereum.html

Facebook: https://www.face