Skip to content

Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)

License

Notifications You must be signed in to change notification settings

rdubois-crypto/FreshCryptoLib

Repository files navigation

Fresh Crypto Lib (FCL)

The Fresh Crypto Lib is a set of functions for blockchain systems such as Wallet, SmartContracts.

*** 15/05/24 : Deprecated

*** This library is an experimental prequel of SCL. SCL proposes more generic implementation with RIP7696 for lesser cost (beating record set by FCL) and is currently under audit. https://github.com/get-smooth/crypto-lib.

*** new (27/05/24): SCL now supports both Ed25519 and P256 using RIP7696.

*** new (06/08/24): SCL first audit completed, second VERIDISE audit being reviewed (FCL has no audit).

*** We warmly thanks all contributors of FCL, they will be added as contributor to SCL.

Content

The implemented content is:

  • sec256r1 optimizations for EVM chains and Starknet
  • an ecdaa implementation using blockchain primitives
  • a Starknet dedicated musig2 implementation

Directory solidity:

  • FCL_ecdsa.sol: an EVM optimized implementation of ecdsa over sec256r1(P256), using language hacks and specificities, as described in paper https://eprint.iacr.org/2023/939.pdf.
  • FCL_eddsa.sol : an EVM optimized implementation of ed25519, using same paper tricks.
  • FCL_sha512.sol : implementation of the SHA512 primitive (single bloc implementation)
  • FLC_Webauthn.sol: implementation of the WebAuthn2/FIDO2 authentication over ECDSA with P256
PR # Create2 Mainnets Testnets
46 0xE9399D1183a5cf9E14B120875A616b6E2bcB840a Polygon Optimism, Sepolia, Linea

(code is verified except for linea, one could check that bytecode is identical).

Directory cairo0.9:

  • FCL_ec_mulmuladd.cairo: an implementation of the operation aP+bQ (addition of the results of two distincts point multiplication by scalar a and b). It uses the Shamir's trick with the windowing method. signature_opt.cairo : optimisation of ECDSA verification using ec_mulmuladd_W function

Note : The language is now deprecated since its transition from python-like to rust-like language.

Directory sage:

  • FCL_ecdsa_precompute.sage : precompute bytecode contract to speed up ecdsa verification for a given key.
  • FCL_ecdaa : sage reference for a blockchain implementation of ECDAA
  • FCL_pairings : sage implementation of curve and pairing computation over BN254 (aka altbn128) and BLS12381 using INRIA sources.

Acknowledments:

Building Blocks

The following repos are used as building blocks in the FCL:

Benchmark

The following repos have been used in benchmarks:

Testing

FCL in the wild

Do not hesitate to reach us to be listed.

License

License: This software is licensed under MIT License (see LICENSE FILE at root directory of project).

About

Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published