Shalevos

CTO and Co-Founder | Sodot

@sodot-rsTel Aviv

Pinned Repositories

badger_dao_script_analysis
An ongoing analysis of Badger Dao's script
Language:JavaScript00
circomlib
Library of basic circuits for circom
Language:JavaScript0 0 00
dotfiles
Language:Shell0 0 00
halo2
Language:Rust00
Metallica-Linux-Kernel
Language:Batchfile0 1 00
multi-party-eddsa
Rust implementation of multi party Ed25519 signature scheme.
Language:Rust00
multiprover-snark
Language:Rust00
plonky2
Language:Rust0 0 00
po_exercise
Language:Python0 0 01
two-party-musig2-eddsa
Language:Rust0 0 00

Shalevos's Repositories

Shalevos/badger_dao_script_analysis
An ongoing analysis of Badger Dao's script
Language:JavaScript00
Shalevos/circomlib
Library of basic circuits for circom
Language:JavaScript0 0 00
Shalevos/dotfiles
Language:Shell0 0 00
Shalevos/halo2
Language:Rust00
Shalevos/Metallica-Linux-Kernel
Language:Batchfile0 1 00
Shalevos/multi-party-eddsa
Rust implementation of multi party Ed25519 signature scheme.
Language:Rust00
Shalevos/multiprover-snark
Language:Rust00
Shalevos/plonky2
Language:Rust0 0 00
Shalevos/po_exercise
Language:Python0 0 01
Shalevos/two-party-musig2-eddsa
Language:Rust0 0 00
Shalevos/sha256-prover-comparison
Some very rough benchmarks between sha256 circuits in different proving systems
Language:Shell0 0
Shalevos/Shalevos
Config files for my GitHub profile.
1 0
Shalevos/tofn-demo
Language:Rust
Shalevos/youtube-playlist-downloader-python
This is a Python script that I created that downloads a Youtube playlist (.mp3) to a chosen folder on your computer.
Language:Python1 0