Projects in Awesome Lists by oxarbitrage
A curated list of projects in awesome lists by oxarbitrage .
https://github.com/oxarbitrage/udf-bitshares-wrapper
Tradingview UDF server for bitshares.
Last synced: 11 Jul 2025
https://github.com/oxarbitrage/bitshares-account-exporter
BITSHARES ACCOUNT HISTORY EXPORTER
Last synced: 11 Jul 2025
https://github.com/oxarbitrage/bitshares-es-wrapper
Simple wrapper to query bitshares data stored in elasticsearch database
Last synced: 11 Jul 2025
https://github.com/oxarbitrage/zcash-p2p-spec
Modelling the Zcash P2P network
blockchain p2p pluscal spec tlaplus zcash
Last synced: 03 Feb 2026
https://github.com/oxarbitrage/orchard-formal
Lean 4 formalization of Zcash Orchard protocol — double-spend prevention, balance integrity, and DH key agreement proofs
cryptography formal-verification lean4 orchard shielded-protocol zcash
Last synced: 05 Jul 2026
https://github.com/oxarbitrage/poseidon-formal
Lean 4 formalization of Poseidon hash — machine-verified permutation bijectivity over the Pallas base field
cryptography formal-verification hash-functions lean4 poseidon zcash
Last synced: 05 Jul 2026
https://github.com/oxarbitrage/oxarbitrage.github.io
oxarbitrage personal website
Last synced: 05 Jul 2026
https://github.com/oxarbitrage/pasta-formal
Formally verified Pasta curve definitions for Zcash in Lean 4
Last synced: 05 Jul 2026
https://github.com/oxarbitrage/sinsemilla-formal
Lean 4 formalization of Sinsemilla hash with machine-verified Pedersen equivalence and DLP security reduction
Last synced: 05 Jul 2026
https://github.com/oxarbitrage/formal-market-mechanisms
Formally verified comparison of exchange designs: who gets exploited and why
amm batch-auctions clob darkpools formal-verification front-running market-microstructure mev-protection privacy sandwich-attacks shielded-assets tlaplus zcash zero-knowledge
Last synced: 05 Jul 2026
https://github.com/oxarbitrage/zcash-memo-protocol
A specification for ZIP-231
Last synced: 03 Feb 2026
https://github.com/oxarbitrage/test-all-contributors-bot
Just a dummy repo to test the all-contributors bot
Last synced: 04 Feb 2026
https://github.com/oxarbitrage/mini-zcash
A succint Zcash blokchain protocol
Last synced: 05 Feb 2026
https://github.com/oxarbitrage/sinsemilla
Sinsemilla hash function haskell implementation
crypto cryptography hash-function sinsemilla
Last synced: 05 Feb 2026
https://github.com/oxarbitrage/documentation
Blockchain articles and document drafts
Last synced: 06 Feb 2026
https://github.com/oxarbitrage/zebra-grpc-scan-spec
Spec and design of the zebra-grpc scanner functionality
Last synced: 15 Feb 2026
https://github.com/oxarbitrage/salsa20-ecrypt-vectors-converter
Convert ECRYPT salsa20 test vectors to JSON.
Last synced: 11 Jul 2025
https://github.com/oxarbitrage/crosslink2
A Crosslink2 TLA+ specification
blockchain-protocol specification state-machine tlaplus
Last synced: 15 Feb 2026
https://github.com/oxarbitrage/salsa20-docs
Documentation for the salsa20 Haskell project
crypto documentation haddock haskell salsa20
Last synced: 11 Jul 2025
https://github.com/oxarbitrage/hsalsa20
Haskell implementation of the Salsa20 Cipher
cryptography haskell salsa20 stream-cipher
Last synced: 11 Jul 2025
https://github.com/oxarbitrage/salsa20
Attempt to formalize salsa20 in lean
cryptography lean mathlib salsa20
Last synced: 11 Jul 2025
https://github.com/oxarbitrage/qiskit-scripts
Just some quantum scripts written for qiskit
Last synced: 11 Jul 2025