Visit page konnov.phd/

Igor Konnov

meta description if known - Protocol audits,consensus,fuzzing,simulation,formal specification,verification,solidity,stellar,cosmos

Contact Information

Email: None

Phone: None

More Details

  • h1s:
    • 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 - SCF 29
    • Talks at DevCon 2024
    • Talk at DeFi Security Summit 2024
    • Invited talk at VSTTE 2024
    • Specification and Model-checking of the ZKsync Governance Protocol
    • Tutorial at TLA+ Community Meeting 2024
    • Apalache has moved
  • h2s:
    • Recently Updated
    • Trending Tags
    • Trending Tags
  • h3s:
  • title: Igor Konnov
  • emails:
  • robots: None
  • keywords: None
  • og_title: Igor Konnov
  • addresses:
  • canonical: https://konnov.phd/
  • text_size: 2784
  • rta_rating: None
  • h1_analysis: multiple
  • h2_analysis: 3 found
  • og_site_name: Igor Konnov
  • url_analysis:
  • phone_numbers:
  • summary_issues:
    • title: short
    • h1: multiple
  • title_analysis: short
  • meta_description: Protocol audits,consensus,fuzzing,simulation,formal specification,verification,solidity,stellar,cosmos
  • canonical_analysis: self-referencing
  • responsive_analysis:
    • score: 15
    • messages_bad: []
    • messages_good: ['Recommended viewport tag found.', 'Potential responsive CSS (@media, max/min-width) detected in HTML source.']
  • searchengine_analysis:
    • score: 30
    • messages_bad: []
    • messages_good: ['Meta description tag found.', 'H1 tag(s) found.', 'Site uses HTTPS.']
  • meta_description_analysis: ok

Created: April 22, 2025, 9:47 p.m. | Seen by us: April 28, 2025, 8:31 p.m.