Denis Firsov

@dfirsov

Open GitHub

null

Profile age: over 13 years

Updated 8 days ago

13 followers • 6 following

Contacts

http://firsov.ee

Repositories

jasmin-zk

updated about 2 years ago • age about 3 years

eC98.1%

C0.7%

Makefile0.5%

Python0.5%

Shell0.2%

easycrypt-zk-code

updated over 2 years ago • age about 4 years

eC99.4%

Shell0.6%

jasmin-leakage-freeness

updated 11 months ago • age about 2 years

eC96.5%

C1.5%

Dockerfile1.1%

Makefile0.8%

Emacs Lisp0.1%

commitments-non-malleability-ec

updated over 3 years ago • age almost 4 years

eC99.6%

Shell0.4%

comparison-based-non-malleabiltiy-unsat

updated about 3 years ago • age over 3 years

eC100.0%

cut-free

updated over 2 years ago • age over 4 years

Agda100.0%

Contributions

2024
research-public
2 PRs +866-1,141
Rust
2
2
2014
m2o2c2
~15 PRs +9-9
TeX
56
50