not approved
Automated Smart Contract Auditing Tool
Current Project Status
Unfunded
Amount
Received
₳0
Amount
Requested
₳184,600
Percentage
Received
0.00%
Solution

Our tool automates smart contract auditing and analysis, providing thorough security audits and risk mitigation measures for enhanced Cardano smart contract security.

Problem

Cardano developers lack robust, efficient and automated smart contract security auditing to make it easy to identify vulnerabilities, reduce risk and increase overall contract security.

Feasibility
Value for money
Impact / Alignment

TrustLevel

1 member

close

Playlist

  • EP2: epoch_length

    Authored by: Darlington Kofa

    3m 24s
    Darlington Kofa
  • EP1: 'd' parameter

    Authored by: Darlington Kofa

    4m 3s
    Darlington Kofa
  • EP3: key_deposit

    Authored by: Darlington Kofa

    3m 48s
    Darlington Kofa
  • EP4: epoch_no

    Authored by: Darlington Kofa

    2m 16s
    Darlington Kofa
  • EP5: max_block_size

    Authored by: Darlington Kofa

    3m 14s
    Darlington Kofa
  • EP6: pool_deposit

    Authored by: Darlington Kofa

    3m 19s
    Darlington Kofa
  • EP7: max_tx_size

    Authored by: Darlington Kofa

    4m 59s
    Darlington Kofa
0:00
/
~0:00