emmorais

Eduardo Morais is Software Engineer and Cryptography specialist. Currently working with zero knowledge proofs.

Pinned Repositories

snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language:Rust1.1k 51 2951.5k
arecibo
An advanced fork of Nova (contact:@huitseeker)
Language:Rust80 14 10634
lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Language:Rust435 15 39157
lurk-lisp
Lisp implementation of Lurk.
Language:Common Lisp67 19 126
neptune
Rust Poseidon implementation (contact: @porcuquine)
Language:Rust277 23 49100
bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
Language:Rust0 0 00
he
Language:C++00
snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language:Rust00
zkrp
Reusable library for creating and verifying zero-knowledge range proofs and set membership proofs.
Language:Go0 0 00
zkreference
The official repository hosting the ZKProof Community Reference & Proposals documents.
Language:TeX102 23 4912

emmorais's Repositories

emmorais/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
Language:Rust0 0 00
emmorais/he
Language:C++00
emmorais/snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language:Rust00
emmorais/zkrp
Reusable library for creating and verifying zero-knowledge range proofs and set membership proofs.
Language:Go0 0 00