Pinned Repositories
diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
cargo-dephell
Cargo dephell analyzes the third-party dependencies of a Rust workspace
Diffie-Hellman_Backdoor
How to backdoor Diffie-Hellman
disco
a protocol to encrypt communications and a cryptographic library based on Disco
disco-c
A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519
eureka
Need to encrypt a file before sending it to someone? This is it.
GoKangarooTwelve
Implementation of KangarooTwelve in Go
RSA-and-LLL-attacks
attacking RSA via lattice reductions (LLL)
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
proof-systems
The proof systems used by Mina
mimoo's Repositories
mimoo/cargo-dephell
Cargo dephell analyzes the third-party dependencies of a Rust workspace
mimoo/cargo-specification
The code is the spec
mimoo/better-ocaml
A program that parses OCaml errors to display them in a more readable format
mimoo/randoml
Generate cryptographically-secure random numbers in OCaml
mimoo/citytrade
trying to write a trading interface for www.citymayor.co
mimoo/frost
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
mimoo/gosphincs
SPHINCS+ in Golanmg
mimoo/rust-bitcoin
Rust Bitcoin library
mimoo/zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
mimoo/alinush.github.io
Personal website
mimoo/cargo-dep-bot
mimoo/cargo-guppy
Track and query Cargo dependency graphs.
mimoo/circom
zkSnark circuit compiler
mimoo/circom_tester
Provides tools for testing circom circuits.
mimoo/crypto-name
Figure out your crypto name
mimoo/dependabot-core
🤖 The core logic behind Dependabot's update PR creation, and the public issue tracker for all things Dependabot
mimoo/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
mimoo/kimchi-visu
mimoo/kube-rs
kubernetes client and futures controller runtime
mimoo/lsif-upload-action
mimoo/mimoo
mimoo/mina_bridge
Bridge from Mina to Ethereum
mimoo/MIPs
mimoo/noname-playground
A code playground for the Noname ZK programming language
mimoo/owasp-threat-dragon
An open source, online threat modelling tool from OWASP
mimoo/pasta_curves
Rust implementation for zcash/pasta
mimoo/robot_stuff
A game where people fight against time to find the shortest solution
mimoo/snark
Interfaces for Relations and SNARKs for these relations
mimoo/starknet-contracts
the Ethereum contracts for Starknet
mimoo/yellowpaper
The "Yellow Paper": Ethereum's formal specification