Extropy.io

Extropy.io

Extropy.io is a team of blockchain engineers providing consultancy services for blockchain and cryptography, system design and decentralised application development.

As well as providing consultancy services, we’re also passionate about community education and regularly provide talks and workshops, both technical and non-technical.

We’ve been involved with Mina since first testnet, participating in technical challenges.
We are also Genesis Founding Members running our block producer and staking pool since mainnet lunch and running Mina UK meetup group.

With latest development of SnarkyJS we’re starting to develop applications within the ecosystem.

Extropy: Conducting Smart Contract Audits Since 2017

Why Choose Extropy?

Trusted Expertise:
Extropy has been at the forefront of smart contract auditing since 2017, ensuring the security of projects during the ICO token boom and beyond.

Client-Centric Approach:
Our audits are tailored to the unique needs of each client, providing iterative feedback and working closely with development teams to ensure the highest security standards.

Proven Track Record:
We’ve successfully audited numerous high-profile projects, including Float Protocol, PWN, and Quant Network, among others.

Case Study: Float Protocol

Client Testimonial:
“For the formal audit, we engaged Extropy’s Laurence Kirk. We wanted an auditor we trusted immensely, someone experienced with early-stage teams, and willing to go above and beyond the norm. Laurence and Extropy fit the bill perfectly.”— Float Protocol Team
see full report

Auditing Process Overview

• Code Review: Manual and automated analysis of smart contract code to identify vulnerabilities and ensure code quality.
• Security Assessment: Checking for common exploits like reentrancy, front-running, and gas limit vulnerabilities.
• Reporting: Detailed audit report with findings, risk levels, and recommendations for remediation.
• Client Debrief: Discussing findings and next steps with the client to ensure complete understanding and implementation.

For a full list of our audits and detailed reports, visit our public audit page.

Contacts: Karol Podufalski, Laurence Kirk

– email : [email protected]
– discord : Karol#4597, Laurence Kirk#2549
– website : Extropy.io

Extropy are official zkAudit partners for zkok, click here for more info >

Türkçe

Extropy.io, blockchain ve şifreleme, sistem tasarımı ve merkezi olmayan uygulama geliştirme konularında danışmanlık hizmetleri sunan bir blockchain mühendisleri ekibidir. Danışmanlık hizmetlerinin yanı sıra, teknik ve teknik olmayan konularda düzenli olarak konuşmalar ve atölye çalışmaları da dahil olmak üzere topluluk eğitimine büyük bir tutkuyla katkı sağlamaktayız. İlk testnet’ten itibaren Mina’ya dahil olduk ve teknik zorluklara katıldık. Ayrıca, ana ağın başlamasından bu yana blok üreticimizi ve paylaşım havuzumuzu yöneten Genesis Kurucu Üyeleriyiz ve Mina UK topluluğunu işletiyoruz. SnarkyJS’nin son gelişimiyle, ekosistem içinde uygulamalar geliştirmeye başlıyoruz. İletişim: Karol Podufalski, Laurence Kirk – e-posta: [email protected] – discord: Karol#4597, Laurence Kirk#2549 – web sitesi: Extropy.io

zk-navigators-mina-dec2023

Mina Navigators is poised to establish a groundbreaking standard for ZK developer engagement, urging innovators to embark on the journey of creating, refining, and contributing to the Mina ecosystem.

Timeline

There are three distinct phases within the Navigator program:

  1. Hackathon: October 9 through November 10
  2. Learn-to-earn challenges: November 2023 through April 2024
  3. Final contribution grant: April 30, 2024
Phase One

In Phase One, known as The Navigators Hackathon, commencing on October 9th, a five-week hackathon unfolds. Outstanding submissions during this period stand a chance to receive MINA token grants and a coveted 'Navigator' badge—a symbol of acceptance into the Navigators program. Those adorned with the badge qualify for Phase Two, engaging in monthly challenges to accrue grants.

Developers are tasked with constructing functional and efficient proof-of-concept applications and tooling for Mina. This endeavor aims to spotlight their ingenuity and technical prowess across diverse use cases on the Mina platform.

Judging involves a panel of seven individuals from the Mina ecosystem. For more comprehensive information regarding grants, submission criteria, and the judging process, the Navigators hub offers detailed insights.

Phase Two

In Phase Two, the Navigators embark on the Build and Learn-to-Earn journey (or, as they humorously term it, Navigate-to-Earn). This marks the initiation of the enjoyable phase. Post-hackathon, Navigators engage in collaborative efforts, either on their personal projects or those of their peers from the hackathon. Their active participation in a 6-month series of challenges positions them to earn monthly grants, facilitating an accelerated learning experience on ZK, Mina, and o1js.

Phase Three

As Phase Three unfolds, the Navigators, having invested six months of unwavering dedication and hard work, seize the opportunity to present their contributions. A panel of community electors becomes the discerning audience, evaluating these endeavors for the coveted grand prizes of MINA grants. Notably, these prizes distinguish themselves by being non-project-specific, emphasizing individual contributions spread across various projects and GitHub repositories.

Name Discord ID Github Link zkok link
Anomixzkcomdexhttps://github.com/anomix-zk/anomix-networkzkok.io/mina/anomix-network-a-zk-zkrollup-layer2-solution
o1js-merkle Anomixcoldstar1993https://github.com/plus3-labs/o1js-merkle https://github.com/anomix-zk/anomix-networkzkok.io/mina/anomix-network-a-zk-zkrollup-layer2-solution
zkOracles Acurast Frontendpascuinhttps://github.com/Acurast/mina-zkoracles
Ozkariam_robihttps://github.com/iam-robi/ozkar https://github.com/iam-robi/ozkar-playground https://github.com/iam-robi/ozkar-docs https://github.com/iam-robi/ozkar-chain
Whisper Keygosusalthttps://github.com/anandcsingh/whisper-key
Whisper Keyrishareeshhttps://github.com/anandcsingh/whisper-key
Whisper Keysmoothdefihttps://github.com/anandcsingh/whisper-key
Auro Walletniu8https://github.com/aurowalletzkok.io/mina/auro-wallet
MinaPokervishalpatil01#5005https://github.com/MinaPoker
MinaPokeronchain0x#0https://github.com/MinaPoker
zkOracle-OCOubinix-warun#6600https://github.com/ubinix-warun/zkOracle-OCO
Untitled Voting Project (Real)45930https://github.com/45930/Voting-Playground-o1js/tree/main https://github.com/45930/o1js-pack
KaupangDXmaht0rzhttps://github.com/kaupangdx/kaupangdx
TradeCoinbober0_0https://github.com/AlexFedotovqq/TradeCoin
zkchessdragonlord#0105https://github.com/rudrakpatra/zkchess
Forgotten Empirescannskyhttps://github.com/cannsky/ForgottenEmpires
zkDatabasechiro8xhttps://github.com/orochi-network/zkDatabase
Mina Verification ServiceJoeEdoh#9821https://github.com/JoE11-y/MVS https://github.com/JoE11-y/MVS/tree/development https://github.com/JoE11-y/MVS/tree/development
zkMile.enderwigginshttps://github.com/enderNakamoto/zkMile-contracts https://github.com/enderNakamoto/zkMile
Snarkyscan - Block Explorer and ZkApp Code Verification1txpunchhttps://snarkyscan.com/github
Godot Minayoutpouthttps://github.com/youtpout/zkapp-ui https://github.com/youtpout/MinaSignerNet
zeroIDluffy__samahttps://github.com/boidushya/ZeroID/tree/master
Hot 'n Cold0xtitohttps://github.com/0xtito/hot-n-cold
o1js-groth16onurinanc#8498https://github.com/onurinanc/o1js-groth16
Minaverseschoolboytomhttps://github.com/palladians/minaverse
Xanedarkmatter2525https://github.com/LastCeri/MogartNetwork
Mogart Networklastcerihttps://github.com/LastCeri/MogartNetwork
Usdminspector44https://github.com/inspector44/usdm https://github.com/zk0ath
Invoices App using Mina Protocol0xShashank#3029https://github.com/kriss1897/zk-invoices
Mina to Aptos basic data oracley07.ethhttps://github.com/0xAli0/mina-aptos-oracle
ZK Age Checklauriphttps://github.com/microbecode/zk-agecheck
ZAP: Zero-Knowledge Attestation Protocoljulio4https://github.com/julio4/zap
ZAP: Zero-Knowledge Attestation ProtocolAinullindalehttps://github.com/julio4/zap
Usdmdepastyhttps://github.com/inspector44/usdm https://github.com/zk0ath https://github.com/zk0ath/usdc-native-mint-test
Mina PlaygroundNout#2830https://github.com/devarend/mina-playground https://github.com/devarend/mina-playground-backend https://github.com/devarend/easy-mina-deploy https://github.com/devarend/o1js-react https://github.com/devarend/web-ide https://github.com/devarend/vscode-webcontainer
MinAuthanks_https://github.com/mlabs-haskell/MinAuth
ZKUmstadceneksanzakhttps://github.com/UmstadAI/zkAppUmstad https://github.com/UmstadAI/uploaders
MAC!_renzokukenhttps://github.com/marekyggdrasil/mac
TokeniZK Finance -- A Launchpad for ZkToken on Minayoga_web3https://github.com/TokeniZK/tokenizk-finance
Easy Minaandreas#5359https://github.com/EasyMina
ZkSnapshryassshttps://github.com/aerius-labs/zk-snap-frontend https://github.com/aerius-labs/zk-snap-backend https://github.com/aerius-labs/zk-snap
Dootbr0wn_d3vhttps://github.com/Doot-Foundationhttps://zkok.io/mina/doot-zkapp
WrdHom: the auditable social-media platformchrlyzhttps://github.com/chrlyz/wrdhom_contracts https://github.com/chrlyz/wrdhom_server https://github.com/chrlyz/wrdhom_clienthttps://zkok.io/mina/wrdhom
TokeniZK Finance -- A Launchpad for ZkToken on Minatanktang_web3https://github.com/TokeniZK/tokenizk-finance
Mina NFTDFSThttps://github.com/dfstio/minanft-lib https://github.com/dfstio/minanft-api https://github.com/dfstio/minanftio https://github.com/dfstio/minanft-lib-example https://github.com/dfstio/minanft-cli https://github.com/dfstio/minanft-docs
Sealed Bid AuctionTheDudehttps://github.com/Raunaque97/protokit-auction-runtimes
zkLocusillyahttps://github.com/iluxonchik/zkLocushttps://zkok.io/mina/zklocus
id-MaskioWxss6https://github.com/id-Mask
Snarky-MLLi Qhttps://github.com/only4sim/Snarky-ML https://github.com/only4sim/Snarky-ML-Test https://github.com/vquanli/DSP https://github.com/only4sim/recursive-forest https://github.com/only4sim/nova-forest
Distributed Key Generation for Threshold Homomorphic Encryption.huyminhhttps://github.com/auxo-zk https://github.com/auxo-zk/Distributed-key-generation https://github.com/auxo-zk/auxo-libs
Distributed Key Generation for Threshold Homomorphic EncryptionRaijinRyuu#7190https://github.com/auxo-zk https://github.com/auxo-zk/Distributed-key-generation https://github.com/auxo-zk/auxo-libs
zkApp.storeCarbonarahttps://github.com/nerdvibe/zkApp.store-server https://github.com/Cryptosaka/zkApp.store-client
Distributed Key Generation for Threshold Homomorphic Encryption@phn2211https://github.com/auxo-zk https://github.com/auxo-zk/Distributed-key-generation https://github.com/auxo-zk/auxo-libs
zkNotarymathyhttps://github.com/racampos/zkNotary
MAYAKillerthiefhttps://github.com/Philosakha/mina-cli https://github.com/Philosakha/starter-kit-mina-auro-react https://github.com/Philosakha/Starter-kit-mina-Auro-NEXTJS-13 https://www.npmjs.com/package/mina-maya
Scroll to Top