search

Pr0pertyGPT / PropertyGPT

13 stars 1 forks source link

Inquiry About Source Code Availability #1

Open KatherineWo opened 1 week ago

KatherineWo commented 1 week ago

Dear PropertyGPT Team,

Thank you for sharing this repository and the accompanying resources related to your NDSS2025 submission. After reviewing the repository, I noticed that while there are benchmark contracts, formal properties, and experiment results provided, the source code itself does not appear to be included.

Could you kindly confirm whether the source code (including the prover) for PropertyGPT is publicly available or if there are plans to release it in the future? It would be greatly helpful for understanding and reproducing the results described in the submission.

Thank you for your time and effort in advancing this important area of research. I look forward to your response.

Pr0pertyGPT commented 3 days ago

Dear KatherineWo,  Thank you for your thoughtful comments and for taking the time to review our NDSS2025 submission and the associated repository.  We appreciate your interest in the source code for PropertyGPT. However, I would like to inform you that the source code is proprietary and is owned by Metatrust Labs. Due to commercial considerations and privacy concerns, we are unable to make it publicly available at this time.  That said, if you have a particular need for the source code, we would be happy to provide you with an older version for reference. Please let us know if that would be helpful, and we will do our best to assist you.  Thank you for your understanding, and we appreciate your support in advancing this area of research.

KatherineWo commented 3 days ago

Thank you for your kind response to my inquiry. I sincerely appreciate the clarification regarding the availability of the PropertyGPT source code.

I am currently exploring high-quality tools for smart contract verification, and I am particularly interested in the property specification language and the prover developed for PropertyGPT. They appear to be valuable contributions to this field, and I believe reviewing the source code could greatly aid my understanding.

Could you kindly let me know the appropriate way to request access to the older version of the code? Should I send an email, or is there another preferred channel for such requests?

Thank you again for your support, and I look forward to hearing from you.

Best regards, KatherineWo