fiat-crypto
Cryptographic Primitive Code Generation by Fiat (by mit-plv)
go-ethereum
Go implementation of the Ethereum protocol (by ethereum)
| fiat-crypto | go-ethereum | |
|---|---|---|
| 10 | 365 | |
| 689 | 46,063 | |
| 1.0% | 1.0% | |
| 9.5 | 9.9 | |
| 9 days ago | 7 days ago | |
| Coq | Go | |
| GNU General Public License v3.0 or later | GNU Lesser General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
fiat-crypto
Posts with mentions or reviews of fiat-crypto.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-04.
- Dilemma: very unhappy with a highly-paying tech job. What to do?
-
Go 1.20 Cryptography
> Both your comment here and some stuff FiloSottile implied in the comment above seem like they would be (largely) mitigated by what the "Go 1.20 Cryptography" post mentions about using formally verified primitives that are generated by "fiat-crypto".
> Beyond the curve primitive, wouldn't the majority of the code involved be shared/identical? These are closely related curves, not some oddball algorithm that requires a bespoke implementation.
Well, fiat-crypto only provides the curve implementations.
Each language, library, etc. that wants to support ed448 will need a SHAKE256 implementation too. That has historically not been a safe addition, in practice.
Also, I don't see Ed448 on here (but I do see P448?): https://github.com/mit-plv/fiat-crypto/tree/6e6809be8290a7d7...
- Program Synthesis is Possible (2018)
- fiat-crypto: Cryptographic Primitive Code Generation by Fiat
-
The technological case against Bitcoin and blockchain
I think this is a more interesting URL: https://github.com/mit-plv/fiat-crypto/issues/902
-
Orion 0.17 – X25519 with formally-verified field arithemtic and serde support
Hi, maintainer of the crate
The formal verification comes from [fiat-crypto](https://github.com/mit-plv/fiat-crypto), which generates the Rust code of the underlying Curve25519 field arithmetic. Correctness is checked by Coq.
Mention of fiat-crypto was included in the original posts on Reddit/Lobste.rs but seems it was missed in this cross-post.
-
Orion 0.17 - X25519 with formally-verified field arithemtic and serde support
Orion now supports X25519 (Diffie-Hellman over Curve25519), which uses formally-verified field arithmetic generated by fiat-crypto. Additionally, a lot of focus was put into hardening the CI/CD of the crate along with added support for serde. This work was championed by /u/vlmutolo.
-
"Serious" vulnerability found in Libgcrypt, GnuPG's cryptographic library - Help Net Security
I have great hopes for formal verification: - https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond - https://github.com/project-everest/hacl-star - https://github.com/mit-plv/fiat-crypto - https://saw.galois.com/
-
Synthesizing Correct-by-Construction Code for Cryptographic Primitives
A list of projects using the code generated by fiat-crypto: https://github.com/mit-plv/fiat-crypto/issues/902
go-ethereum
Posts with mentions or reviews of go-ethereum.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-03-20.
-
Ethereum Foundation removes their canary
Even more relevant would be the Ethereum Improvement Proposal repo (where people submit proposals to change the spec):
https://github.com/ethereum/EIPs
Or the go-ethereum execution client (the most popular execution client):
https://github.com/ethereum/go-ethereum
-
How I Contributed One Line of Code to Ethereum
Geth - Official Go implementation of the Ethereum protocol.
- Geth v1.13.5: Further fixes to path state scheme quirks
- Geth v1.13.3: Pebble fixes and prep work for the upcoming Cancun hard fork
- Goerli bootnodes
- Geth v1.12.1 is released
-
Geth online pruning ETA
Go ahead and prune. Pbss progress can be followed here: https://github.com/ethereum/go-ethereum/pull/25963
-
How are blockchains built and deployed?
you may as well just look at the Ethereum reference implementation: https://github.com/ethereum/go-ethereum
-
Daily General Discussion - June 18, 2023
Interestingly, this was mitigated in Geth v1.11.4 this March, so should no longer be a concern on Ethereum, though the authors note that forks e.g. BSC and ETC may still be vulnerable.
-
Bot for GitHub/Lab Releases
I want to create a bot that sends messages once new releases of certain GitHub/Gitlab repo’s ( -https://github.com/bitcoin/bitcoin/releases -https://github.com/ethereum/go-ethereum/releases -https://github.com/prysmaticlabs/prysm/releases -https://github.com/dashpay/dash/releases -https://github.com/Team-Kujira/core/tags -https://gitlab.com/thorchain/thornode/-/releases ) have been released.