BlocSoc-iitr / FLockChainView external linksLinks
A Federated Learning network built on Proof of Stake and micro-rollups.
☆13Dec 16, 2023Updated 2 years ago
Alternatives and similar repositories for FLockChain
Users that are interested in FLockChain are comparing it to the libraries listed below
Sorting:
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- Easy setup for Halo2 ZK circuits☆15Jun 6, 2024Updated last year
- A deterministic EVM bytecode obfuscator written in Rust☆27Feb 4, 2026Updated last week
- Write Succinct Proofs for Graphs easily☆27Dec 20, 2023Updated 2 years ago
- ☆12Sep 6, 2023Updated 2 years ago
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- Code used in the analyses described in "Personalized brain circuit scores identify clinically distinct biotypes in depression and anxiety…☆11May 4, 2024Updated last year
- hyrax-pcs-commit repository☆14Dec 16, 2025Updated last month
- Compiling deep learning research papers applied to smart contract analysis☆10Oct 11, 2023Updated 2 years ago
- ☆12Updated this week
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated last year
- bonfire monorepo☆11Aug 30, 2023Updated 2 years ago
- A high-performance Rust-based transaction simulation engine for HyperEVM, built on REVM with advanced tracing capabilities.☆26Sep 1, 2025Updated 5 months ago
- ☆41Jan 7, 2024Updated 2 years ago
- ☆13Aug 23, 2023Updated 2 years ago
- ☆11Mar 2, 2024Updated last year
- ☆11Aug 17, 2023Updated 2 years ago
- 🦖 Google Chrome Dino 3D with AI☆23Dec 4, 2025Updated 2 months ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- 0xAA Wallet is a AA (Account Abstraction) wallet focused on developer experience, which helps developers build ERC4337 compatible Dapp.☆11Apr 1, 2023Updated 2 years ago
- BNB Chain Zero2Hero Bootcamp by Encode Club☆10Apr 25, 2023Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Simple example of motoko outcalls☆10Aug 21, 2024Updated last year
- Suave/TEE PoCs of MEV Resistant AMMs☆44Feb 6, 2025Updated last year
- Bayesian scaling laws for in-context learning.☆15Mar 12, 2025Updated 11 months ago
- ☆11Jan 28, 2023Updated 3 years ago
- ☆16Jun 9, 2024Updated last year
- ☆10Sep 26, 2024Updated last year
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- File system implementation for the Internet Computer☆11Nov 28, 2025Updated 2 months ago
- A ERC1155-based SBT (soulbound token) implementation by WTF Academy☆12Jun 11, 2024Updated last year
- LensVM specifications and ABI definition☆12Apr 10, 2021Updated 4 years ago
- A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.☆11Dec 5, 2024Updated last year
- ☆11Jun 24, 2021Updated 4 years ago
- An sampe web based email provider that provides first class BrowserID support.☆69Jan 30, 2014Updated 12 years ago