## <span style='font-family: monospace'>=nil;</span> Foundation's Mina Protocol State In-EVM Verification {#mainpage}

@tableofcontents

### Introduction

=nil; Foundation's Mina Protocol State In-EVM Verification projects provides a way to verify

### Documentation

Project documentation is mostly concentrated (for now) in https://github.com/nilfoundation/evm-mina-verification/docs/design/main.pdf and https://github.com/nilfoundation/evm-mina-verification/docs/proof_system/main.pdf

### Repositories 

Project repository is https://github.com/nilfoundation/evm-mina-verification.git

### Community

Issue reports are preferred to be done with Github Issues in here:
https://github.com/nilfoundation/evm-mina-verification.git.

Usage and development questions a preferred to be asked in a Telegram chat: https:/t.me/nil_crypto3