service 7
- Research & development as a service
- ChonkyBFT: Consensus Protocol of ZKsync (paper)
- Exploring Automatic Model-Checking of the Ethereum specification (tech. report)
- New developments in Solarkraft - Stellar Community Fund 29
- Specification and Model-checking of the ZKsync Governance Protocol
- Specification and model checking of BFT consensus by Matter Labs
- Solarkraft: A runtime monitoring tool for Stellar