Binston Sukhael Cardoza

Blockchain Developer

https://talent.gravityer.com/binston-sukhael-cardoza

Member since June 28, 2026

Key Strengths

Demonstrated interest and hands-on experience in blockchain-related technologies (ZK proofs, EVM bytecode, NFT marketplace, ZkSTARK).
Proficiency in Rust, a highly relevant language for blockchain development.
Experience with formal verification (TLA+), indicating a strong focus on correctness and security.
Exposure to various blockchain concepts like zero-knowledge proofs (Circom, ZkSTARK) and EVM vulnerability scanning.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's project portfolio shows a strong inclination towards cutting-edge blockchain research and development, which aligns well with an innovative and technically driven culture. The diversity of projects, from ZK proofs to EVM security, suggests a broad interest within the blockchain space. However, without information on collaborative projects or team roles, assessing direct cultural fit is limited.

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. The candidate's project descriptions are concise, but no direct communication or psychometric test results are available.

AI is analyzing your overall score…

Identifying your key strengths…

Evaluating your skill match against the job requirements…

Assessing your cultural and operational fit

Projects

binston

April 29, 2026 – Present

Portfolio

View Project

lightlink

April 1, 2026 – Present

lightlink — GitHub repository

View Project

atlas

March 10, 2026 – Present

Constraint-friendly map-to-elliptic-curve-group relations for ZK proofs

View Project

argus

March 10, 2026 – Present

automated EVM bytecode vulnerability scanner for closed-source contracts.

View Project

Black

February 13, 2026 – Present

Black — GitHub repository

View Project

oml

February 11, 2026 – Present

oml — GitHub repository

View Project

form-ver

December 31, 2025 – Present

Formal verification using TLA+.

View Project

strom

August 6, 2023 – August 12, 2023

ZkSTARK for no_std

View Project

nft-marketplace

January 4, 2022 – January 25, 2022

NFT Marketplace on ETH

View Project

jenkins-microservice

March 30, 2021 – March 31, 2021

jenkins-microservice — GitHub repository

View Project

Key Strengths

Demonstrated interest and hands-on experience in blockchain-related technologies (ZK proofs, EVM bytecode, NFT marketplace, ZkSTARK).
Proficiency in Rust, a highly relevant language for blockchain development.
Experience with formal verification (TLA+), indicating a strong focus on correctness and security.
Exposure to various blockchain concepts like zero-knowledge proofs (Circom, ZkSTARK) and EVM vulnerability scanning.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. The candidate's project descriptions are concise, but no direct communication or psychometric test results are available.

Binston Sukhael Cardoza

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Projects

Key Strengths

Cultural & Operational Fit