Pinned Repositories
bitshares-core
BitShares Blockchain node and command-line wallet
bitshares-account-exporter
BITSHARES ACCOUNT HISTORY EXPORTER
bitshares-explorer
hsalsa20
Haskell implementation of the Salsa20 Cipher
peerplays-explorer-api
REST API for BitShares
sinsemilla
Sinsemilla hash function haskell implementation
udf-bitshares-wrapper
Tradingview UDF server for bitshares.
zebra-grpc-scan-spec
Spec and design of the zebra-grpc scanner functionality
zcash
Zcash - Internet Money
zebra
Zcash - Financial Privacy in Rust 🦓
oxarbitrage's Repositories
oxarbitrage/g-collector
Automate URL Collection from Google Search Results
oxarbitrage/hsalsa20
Haskell implementation of the Salsa20 Cipher
oxarbitrage/sinsemilla
Sinsemilla hash function haskell implementation
oxarbitrage/zebra-grpc-scan-spec
Spec and design of the zebra-grpc scanner functionality
oxarbitrage/cargo-tree-table
oxarbitrage/cryptolib
Crypto systems formalization and security proofs
oxarbitrage/doc-gen
Generate HTML documentation for mathlib and Lean
oxarbitrage/documentation
Blockchain articles and document drafts
oxarbitrage/halo2
The Halo2 zero-knowledge proving system
oxarbitrage/lean-for-hackers
oxarbitrage/lean-rsa
A Proof of RSA Encryption using Lean
oxarbitrage/librustzcash
Rust-language assets for Zcash
oxarbitrage/mathlib
Lean mathematical components library
oxarbitrage/parity-bridges-common
Collection of Useful Bridge Building Tools 🏗️
oxarbitrage/pasta-curves
Provides the Pasta curves: Pallas, Vesta and their field elements Fp and Fq.
oxarbitrage/qiskit-scripts
Just some quantum scripts written for qiskit
oxarbitrage/qiskit.org
The Qiskit official website
oxarbitrage/RustQIP
Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!
oxarbitrage/salsa20
Attempt to formalize salsa20 in lean
oxarbitrage/salsa20-docs
Documentation for the salsa20 Haskell project
oxarbitrage/salsa20-ecrypt-vectors-converter
Convert ECRYPT salsa20 test vectors to JSON.
oxarbitrage/sapling-crypto
Zcash "Sapling" cryptography
oxarbitrage/stream-ciphers
Collection of stream cipher algorithms
oxarbitrage/taiga
A framework for generalized shielded state transitions
oxarbitrage/test-all-contributors-bot
Just a dummy repo to test the all-contributors bot
oxarbitrage/tower-batch-chmodas
A Tower middleware that profides a buffered mpsc for processing requests in batches
oxarbitrage/zcash
Zcash - Internet Money
oxarbitrage/zebra
An ongoing Rust implementation of a Zcash node. 🦓
oxarbitrage/zecpaperwallet
Zcash Sapling Paper Wallet Generator
oxarbitrage/zecwallet-light-cli
Zecwallet Lightclient Library and CLI interface