{"id":20258846,"url":"https://github.com/andreie91/smart-contract-verification","last_synced_at":"2026-05-01T22:35:22.938Z","repository":{"id":222181172,"uuid":"756475902","full_name":"AndreiE91/Smart-Contract-Verification","owner":"AndreiE91","description":"A web app in which users can enter Solidity contracts and test a simple verification method of the code. App simulates a real verification process and showcases web3 wallet connection as well as database storage of user accounts.","archived":false,"fork":false,"pushed_at":"2024-02-12T19:08:28.000Z","size":2165,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-12-03T09:10:58.805Z","etag":null,"topics":["django","ethereum","html-css","javascript","solidity-contracts","sqlite3","web","web3"],"latest_commit_sha":null,"homepage":"","language":"HTML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/AndreiE91.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-02-12T18:30:34.000Z","updated_at":"2024-02-12T19:02:08.000Z","dependencies_parsed_at":null,"dependency_job_id":"271e8f6d-967e-4573-8927-388c96ea1369","html_url":"https://github.com/AndreiE91/Smart-Contract-Verification","commit_stats":null,"previous_names":["andreie91/smart-contract-verification"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/AndreiE91/Smart-Contract-Verification","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AndreiE91%2FSmart-Contract-Verification","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AndreiE91%2FSmart-Contract-Verification/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AndreiE91%2FSmart-Contract-Verification/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AndreiE91%2FSmart-Contract-Verification/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/AndreiE91","download_url":"https://codeload.github.com/AndreiE91/Smart-Contract-Verification/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AndreiE91%2FSmart-Contract-Verification/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32515838,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-30T13:12:12.517Z","status":"online","status_checked_at":"2026-05-01T02:00:05.856Z","response_time":64,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["django","ethereum","html-css","javascript","solidity-contracts","sqlite3","web","web3"],"created_at":"2024-11-14T11:11:53.484Z","updated_at":"2026-05-01T22:35:22.916Z","avatar_url":"https://github.com/AndreiE91.png","language":"HTML","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Solidity Smart Contract Simulator\n\nThis project is a web simulator for testing Solidity smart contracts. It verifies the correctness of the code, matches amounts, and ensures names in the contract correspond to the correct lender. The simulator also includes a database using SQLite3 to store user credentials and the ability to connect to MetaMask wallet and bind its address to a user's account.\n\n## Technologies Used\n\n- **Backend**: Django\n- **Frontend**: HTML, CSS, JavaScript\n- **Database**: SQLite3\n- **Smart Contract Language**: Solidity\n\n## Features\n\n- Verify Solidity smart contracts for correct code and matching amounts.\n- Ensure names in contracts correspond to the correct lender.\n- Database for storing user credentials.\n- Connection to MetaMask wallet.\n- Simulation of contract transfers.\n- Display of contract contents and errors.\n\n## Screenshots and GIFs\n\n### Contract Details\n![Contract Details](presentation/contract_details.png)\n\n### Exceed Amount Error\n![Exceed Amount Error](presentation/img_exceedamount.png)\n\n### Signup Page\n![Signup Page](presentation/img_signup.png)\n\n### Smart Contract 1\n![Smart Contract 1](presentation/img_smartcontract1.png)\n\n### Smart Contract 2\n![Smart Contract 2](presentation/img_smartcontract2.png)\n\n### Models Diagram\n![Models Diagram](presentation/models.png)\n\n### Select File\n![Select File](presentation/select_file.png)\n\n### Smart Contract Simulation (GIF)\n![Smart Contract Simulation](presentation/SmartContract_gif.gif)\n\n## Cloning\n\nTo get a local copy of this project up and running on your machine, simply clone this repository using Git:\n\n```sh\ngit clone https://github.com/AndreiE91/Smart-Contract-Verification.git\ncd Smart-Contract-Verification\n```\n\nOpen the project in VS Code or any editor of your choice.\n\n## Usage\n\n1. Clone the repository.\n2. Install dependencies using `pip install -r requirements.txt`.\n3. Run the Django server using `python manage.py runserver`.\n\n## Contributing\n\nContributions are welcome! Feel free to open issues or submit pull requests.\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fandreie91%2Fsmart-contract-verification","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fandreie91%2Fsmart-contract-verification","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fandreie91%2Fsmart-contract-verification/lists"}