Initial release

This release includes

• simple circuit (written in circom)
• snarkjs integration
  • ZK keys generation
  • ZK proof generation
  • proof verification
• On-chain verifier (smart contract)