Code Audit for Web3 Project

---

---

We are seeking a highly experienced Smart Contract Auditor or Security Engineer to conduct a thorough code and infrastructure audit of our lending protocol. The protocol is operational in a production environment and facilitates the dynamic issuance and repayment of loans through smart contracts deployed on Ethereum-compatible networks. Project Scope: Perform a complete security and code quality audit of a decentralized lending system built on: - Smart Contracts: Written in Solidity - Frontend / Middleware: Built using TypeScript - Rollup Infrastructure: Built on Cartesi Rollups - Dockerized services for testing and deployment - Validate integration logic across all layers: borrower/investor flow, loan pool smart contracts, KYC/AML identity token issuance, off-chain computation and on-chain state commitments. - Identify critical, major, and minor vulnerabilities. - Deliver a final report with remediation recommendations and (if possible) automated tests or formal verification scripts. Tech Stack: Solidity (Ethereum smart contracts) TypeScript (dApp interfaces + backend logic) Docker (Containerized infrastructure) Cartesi (Off-chain VM for verifiable computation using Python + SQLite) Optional: Familiarity with zk-SNARKs or FHE is a plus but not required Deliverables: - Written audit report with categorized findings (Critical/Major/Minor/Info) - Code comments or inline suggestions (GitHub or GitLab preferred) - Suggestions for best practice implementations where applicable - Follow-up call to walk through audit results and answer questions

Keyword: Python

Price: $45.0

TypeScript Docker API Integration Web Application Solidity