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)