Blockchain & Robotics (PLANR) Lab
Department of Computer Science & Engineering
R-502, 5th Floor, Block 3
+91 612 3028889
Tools Developed
FLsim
FLsim is a versatile federated learning (FL) simulation framework designed to accommodate various FL workflows. It focuses on modularity, scalability, resource efficiency, and reproducibility of experimental outcomes. Its user-friendly interface enables tailored FL setups, including customized data distributions, local learning algorithms, network topologies, model aggregation methods, and optional blockchain integration. Experimental evaluations confirm FLsim's efficacy in simulating diverse FL scenarios. FLsim represents a significant advancement in FL simulation tools, providing researchers and practitioners with unparalleled flexibility and functionality.
SoliFMT
SoliFMT is a formal methods toolchain for the Solidity Programming Language. It hosts a number of visualization, analysis, and optimization tools for Solidity smart Contracts.
Datasets
IITP-VDLand
In our data collection process, we harness all possible relevant data sources and APIs to collect and compile our dataset. We acquire metadata for parcels using the Decentraland API, forming the characteristics data fragment. Additionally, we seamlessly integrate trading history data from OpenSea, providing a temporal perspective on sold parcels. To extract essential transaction details such as costs, gas prices, and transaction activities, we utilize Google BigQuery and Etherscan to gather Ethereum transactions data. Fig 2 provides an overview of the data collection process, while Fig 3 illustrates the details and relationships between the data fragments.