[D6] - Geni 🏅

For this challenge, we have built Geni, a generator of security tests for EVM compatible languages. We believe that security is a key for the good development of a blockchain project, especially Base. Currently, developers do not perform security checks while writing smart contracts, due in most cases to a lack of knowledge and/or time consuming. However, the crypto sector has experienced huge hacks during recent years, $4B of stolen funds for instance in 2022 according to the Chainalysis report. How to help blockchain developers write security tests ? With Geni, we want to support builders in specification writing, which is required for fuzzing and symbolic execution testing. These tests, in addition to static analysis, are the cornerstone of safe code development. To be compatible with builders' environments, we have integrated Hardhat and Foundry, and are planning to add Truffle and Brownie to the tool. The final goal is to integrate Geni in a blockchain security tool aggregator, in a form of the docker container, with all the required content to properly audit a smart contract code. We believe that security should be accessible and open source for everyone, in order to save time and bring value to the ecosystem. With Geni, we can do it.

For this challenge, we have built Geni, a generator of security tests for EVM compatible languages. We believe that security is a key for the good development of a blockchain project, especially Aurora. Currently, developers do not perform security checks while writing smart contracts, due in most cases to a lack of knowledge and/or time consuming. However, the crypto sector has experienced huge hacks during recent years, $4B of stolen funds for instance in 2022 according to the Chainalysis report. How to help blockchain developers write security tests ? With Geni, we want to support builders in specification writing, which is required for fuzzing and symbolic execution testing. These tests, in addition to static analysis, are the cornerstone of safe code development. To be compatible with builders' environments, we have integrated Hardhat and Foundry, and are planning to add Truffle and Brownie to the tool. The final goal is to integrate Geni in a blockchain security tool aggregator, in a form of the docker container, with all the required content to properly audit a smart contract code. We believe that security should be accessible and open source for everyone, in order to save time and bring value to the ecosystem. With Geni, we can do it.

For this challenge, we have built Geni, a generator of security tests for EVM compatible languages. We believe that security is a key for the good development of a blockchain project, especially Scroll. Currently, developers do not perform security checks while writing smart contracts, due in most cases to a lack of knowledge and/or time consuming. However, the crypto sector has experienced huge hacks during recent years, $4B of stolen funds for instance in 2022 according to the Chainalysis report. How to help blockchain developers write security tests ? With Geni, we want to support builders in specification writing, which is required for fuzzing and symbolic execution testing. These tests, in addition to static analysis, are the cornerstone of safe code development. To be compatible with builders' environments, we have integrated Hardhat and Foundry, and are planning to add Truffle and Brownie to the tool. The final goal is to integrate Geni in a blockchain security tool aggregator, in a form of the docker container, with all the required content to properly audit a smart contract code. We believe that security should be accessible and open source for everyone, in order to save time and bring value to the ecosystem. With Geni, we can do it.

For this challenge, we have built Geni, a generator of security tests for EVM compatible languages. We believe that security is a key for the good development of a blockchain project, especially Ethereum. Currently, developers do not perform security checks while writing smart contracts, due in most cases to a lack of knowledge and/or time consuming. However, the crypto sector has experienced huge hacks during recent years, $4B of stolen funds for instance in 2022 according to the Chainalysis report. How to help blockchain developers write security tests ? With Geni, we want to support builders in specification writing, which is required for fuzzing and symbolic execution testing. These tests, in addition to static analysis, are the cornerstone of safe code development. To be compatible with builders' environments, we have integrated Hardhat and Foundry, and are planning to add Truffle and Brownie to the tool. The final goal is to integrate Geni in a blockchain security tool aggregator, in a form of the docker container, with all the required content to properly audit a smart contract code. We believe that security should be accessible and open source for everyone, in order to save time and bring value to the ecosystem. With Geni, we can do it.

For this challenge, we have built Geni, a generator of security tests for EVM compatible languages. We believe that security is a key for the good development of a blockchain project, especially Polygon. Currently, developers do not perform security checks while writing smart contracts, due in most cases to a lack of knowledge and/or time consuming. However, the crypto sector has experienced huge hacks during recent years, $4B of stolen funds for instance in 2022 according to the Chainalysis report. How to help blockchain developers write security tests ? With Geni, we want to support builders in specification writing, which is required for fuzzing and symbolic execution testing. These tests, in addition to static analysis, are the cornerstone of safe code development. To be compatible with builders' environments, we have integrated Hardhat and Foundry, and are planning to add Truffle and Brownie to the tool. The final goal is to integrate Geni in a blockchain security tool aggregator, in a form of the docker container, with all the required content to properly audit a smart contract code. We believe that security should be accessible and open source for everyone, in order to save time and bring value to the ecosystem. With Geni, we can do it.

For this challenge, we have built Geni, a generator of security tests for EVM compatible languages. We believe that security is a key for the good development of a blockchain project, especially FVM. Currently, developers do not perform security checks while writing smart contracts, due in most cases to a lack of knowledge and/or time consuming. However, the crypto sector has experienced huge hacks during recent years, $4B of stolen funds for instance in 2022 according to the Chainalysis report. How to help blockchain developers write security tests ? With Geni, we want to support builders in specification writing, which is required for fuzzing and symbolic execution testing. These tests, in addition to static analysis, are the cornerstone of safe code development. To be compatible with builders' environments, we have integrated Hardhat and Foundry, and are planning to add Truffle and Brownie to the tool. The final goal is to integrate Geni in a blockchain security tool aggregator, in a form of the docker container, with all the required content to properly audit a smart contract code. We believe that security should be accessible and open source for everyone, in order to save time and bring value to the ecosystem. With Geni, we can do it.

For this challenge, we have built Geni, a generator of security tests for EVM compatible languages. We believe that security is a key for the good development of a blockchain project, especially Mantle. Currently, developers do not perform security checks while writing smart contracts, due in most cases to a lack of knowledge and/or time consuming. However, the crypto sector has experienced huge hacks during recent years, $4B of stolen funds for instance in 2022 according to the Chainalysis report. How to help blockchain developers write security tests ? With Geni, we want to support builders in specification writing, which is required for fuzzing and symbolic execution testing. These tests, in addition to static analysis, are the cornerstone of safe code development. To be compatible with builders' environments, we have integrated Hardhat and Foundry, and are planning to add Truffle and Brownie to the tool. The final goal is to integrate Geni in a blockchain security tool aggregator, in a form of the docker container, with all the required content to properly audit a smart contract code. We believe that security should be accessible and open source for everyone, in order to save time and bring value to the ecosystem. With Geni, we can do it.