Pinned Loading
Repositories
Showing 10 of 11 repositories
- erc3643 Public
FeverTokens/erc3643’s past year of commit activity - microloan-packages Public
FeverTokens/microloan-packages’s past year of commit activity - cedar-protocol Public
FeverTokens/cedar-protocol’s past year of commit activity - B-method-model-for-FT-packages-formal-verification Public
This repository provides a B-Method verification model for the FeverTokens Package-Oriented Smart Contract Framework. Its goal is simple: prove that a package (facet) is structurally sound on its own and remains safe when composed with other packages in a Diamond (EIP-2535) setup.
FeverTokens/B-method-model-for-FT-packages-formal-verification’s past year of commit activity - ft-sobond-diamond Public
FeverTokens/ft-sobond-diamond’s past year of commit activity - sc-bonds Public Forked from so-bond/sc-bonds
CACIB & SEB contributions to the open source proposition of model
FeverTokens/sc-bonds’s past year of commit activity - green-so-bond Public
FeverTokens/green-so-bond’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…