@tim-hoffmanCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 30, 2023
- Last merge
- Aug 7, 2026
Active lead
Open GitHub profile ↗Back to Organizations
Veridise
Veridise is a blockchain security company specializing in smart contract and zero-knowledge audits. It combines formal methods, manual code review, and in-house vulnerability-detection tools for blockchain protocols and Web3 projects.
Distributed
Current stage: Seed12 current maintainers11 active leads5 new active leads4 lead step-downs3 early lead departures
Maintainer signals as of Aug 10, 2026
Maintainer Intelligence
This view starts from the canonical internal-employee model. A maintainer is an internal employee who merged at least one pull request in a non-fork repository; external contributors, bots, and PR authors are not treated as causal. Active leads have merged within the last three months.
12
Current maintainers
11
Active leads
5
New active leads
4
Lead step-downs
0
Lead movements
3
Early lead departures
Signals as of Aug 10, 2026github.com/veridise
Maintainers (23)
@NikosChondrosCurrent employee
- PRs merged
- 3
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Aug 23, 2023
- Last merge
- Aug 5, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@veriAjinkyaCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jul 10, 2026
- Last merge
- Aug 4, 2026
Active lead
Open GitHub profile ↗@mkonstantCurrent employee
- PRs merged
- 5
- Internal authors supported
- 2
- Currently active authors
- 2
- First merge
- Aug 4, 2023
- Last merge
- Jul 31, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@buterchiandreeaCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jan 30, 2026
- Last merge
- Jul 9, 2026
Active lead
Open GitHub profile ↗@iangnealCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Jul 19, 2023
- Last merge
- Jul 8, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@TechniusCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Apr 24, 2023
- Last merge
- Jul 2, 2026
Active leadEarly maintainer
Open GitHub profile ↗@kferlesCurrent employee
- PRs merged
- 3
- Internal authors supported
- 3
- Currently active authors
- 3
- First merge
- Oct 21, 2025
- Last merge
- Jun 25, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@bmarwritescodeCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Sep 17, 2024
- Last merge
- Jun 25, 2026
Active lead
Internal authors whose PRs they merged
@rohit-dimagiCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Feb 19, 2025
- Last merge
- Jun 10, 2026
Active lead
Open GitHub profile ↗@shankarapailoorCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Nov 13, 2024
- Last merge
- May 12, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@0xddomCurrent employee
- PRs merged
- 2
- Internal authors supported
- 2
- Currently active authors
- 1
- First merge
- Jan 17, 2023
- Last merge
- Feb 11, 2026
Early maintainer
Internal authors whose PRs they merged
@benSepanskiFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Mar 8, 2026
- Last merge
- Mar 8, 2026
Early maintainer
Open GitHub profile ↗@kadronFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 19, 2024
- Last merge
- Sep 29, 2025
@imdaisyadamsFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 26, 2024
- Last merge
- Nov 8, 2024
@JacobVanGeffenFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 8, 2023
- Last merge
- Oct 24, 2024
@Sapo-DoradoFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jul 24, 2024
- Last merge
- Oct 8, 2024
@BenjaminGaskaFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Aug 27, 2024
- Last merge
- Aug 29, 2024
@soraweeFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Oct 24, 2023
- Last merge
- Mar 13, 2024
Early maintainer
Open GitHub profile ↗@chyanjuFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Mar 2, 2024
- Last merge
- Mar 13, 2024
Early maintainer
Open GitHub profile ↗