Audit

Between April and October , Peckshield and Secure3 reviewed and formally verified crucial components of the smart contracts for Pulsar.

The scope of work includes:

• Formal verification of the core smart contracts
• Code review of core smart contracts
• Numerical error analysis
• Code review of periphery smart contracts (during ongoing development)

• Read the Peckshield report
• Read the Secure3 report