Hello, I am working on the AXION Engine, a pipeline for the automated formal verification of smart contracts. I have developed a formal integrity certificate for data module structures that mathematically proves the absence of logic errors. I would like to test my pipeline on one of the modules used here to create a security audit certificate (Gold Standard). Would this be of interest to the community here?
Hello, I am working on the AXION Engine, a pipeline for the automated formal verification of smart contracts. I have developed a formal integrity certificate for data module structures that mathematically proves the absence of logic errors. I would like to test my pipeline on one of the modules used here to create a security audit certificate (Gold Standard). Would this be of interest to the community here?