Pinned Repositories
discourse-external-storage
alinush.github.io
Personal website
bufferhe4d.github.io
call-IDE
CS102 Project
consent
cryptocode
LaTeX package for typesetting pseudocode and cryptographic games
CS425-Project
Privacy Preserving Recommender Systems
noname-highlighter
vscode syntax highlighting plugin for the noname language
pazk-study
Implementation Material related to the Proofs Arguments and Zero Knowledge Manuscript.
noname
Noname: a programming language to write zkapps
bufferhe4d's Repositories
bufferhe4d/call-IDE
CS102 Project
bufferhe4d/CS425-Project
Privacy Preserving Recommender Systems
bufferhe4d/cryptocode
LaTeX package for typesetting pseudocode and cryptographic games
bufferhe4d/noname-highlighter
vscode syntax highlighting plugin for the noname language
bufferhe4d/pazk-study
Implementation Material related to the Proofs Arguments and Zero Knowledge Manuscript.
bufferhe4d/alinush.github.io
Personal website
bufferhe4d/bufferhe4d.github.io
bufferhe4d/consent
bufferhe4d/eprint_classic
bufferhe4d/ntat
NTAT Implementation
bufferhe4d/proof-systems
The proof systems used by Mina
bufferhe4d/noname
Noname: a programming language to write zkapps
bufferhe4d/security-group.epfl.ch