Federico2014/java-tron
Java implementation of the Tron whitepaper
Blockchain
Repositories
Federico2014/awards
Canonical, machine-checkable record of the Justin Sun Prize: rules, awards, candidates, and verification evidence.
Federico2014/SM9
C code implementation of Chinese SM9 standard
Federico2014/math-lean-verification
Lean proof verification infrastructure: mathematical statement review, candidate registration, reproducible evidence and CI.
Federico2014/awesome-post-quantum
A curated list of resources about post-quantum cryptography
Federico2014/open-math-problem-lists
A curated directory of open mathematics problem databases, problem lists, and formal conjecture repositories.
Federico2014/besu-native
Federico2014/trident
A lightweight Java SDK for interacting with the TRON blockchain.
Federico2014/tron-docker
Docker automation for Tron nodes
Federico2014/wallet-cli
Wallet CLI
Federico2014/tips
TRON Improvement Proposals
Federico2014/claude-code
An independent Python feature port of Claude Code, entirely rewritting from scratch using oh-my-codex. Educational Purpose only.
Federico2014/zksnark-java-sdk
a zksnark jni library
Federico2014/bn128-ipc
Federico2014/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Federico2014/TRC20
TRC20 base on tron blockchain writing the string into the memo field of the transaction to achieve this.
Federico2014/privacy-pools-core
Privacy Pools by 0xbow is a compliant way to anonymously transact on Ethereum. 0xbow blocks illicit actors to ensure pool integrity.
Federico2014/libp2p
The p2p system implemented in java language
Federico2014/tendermint
⟁ Tendermint Core (BFT Consensus) in Go
Federico2014/tron-local
Federico2014/zkevm-prover
zkEVM prover in C++
Federico2014/zkevm-node
Go implementation of a node that operates the Polygon zkEVM Network
Federico2014/zkbob-contracts
A stablecoin-based zkprotocol designed for simplicity, privacy and utility
Federico2014/x86_pow_emulation
simulate math.pow of java on the x86
Federico2014/LoadTester
Federico2014/MP-SPDZ
Versatile framework for multi-party computation
Federico2014/system-test
Federico2014/documentation-en
Federico2014/snarkVM
A Virtual Machine for Zero-Knowledge Executions