Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.
☆13Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for smart-sync
Users that are interested in smart-sync are comparing it to the libraries listed below
Sorting:
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 4 years ago
- ☆19Oct 20, 2022Updated 3 years ago
- ☆29Apr 7, 2021Updated 4 years ago
- General Purpose Atomic Crosschain Transaction Protocol☆86Jun 24, 2024Updated last year
- A truth inference tool in crowdsourcing☆13May 19, 2020Updated 5 years ago
- FFMpeg 处理音视频同步的过程分析☆11Dec 30, 2014Updated 11 years ago
- Nim implementation of Simple Serialize (SSZ) serialization and merkleization☆10Updated this week
- ☆11May 30, 2024Updated last year
- drawio agent skill☆58Mar 12, 2026Updated last week
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Mar 14, 2021Updated 5 years ago
- 基于字节码的图融合的智能合约漏洞检测☆13Apr 23, 2024Updated last year
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆24Aug 23, 2022Updated 3 years ago
- Masked Ascon Software Implementations☆13May 3, 2022Updated 3 years ago
- A smart contract implementation of the Ethereum light client sync protocol☆66Mar 15, 2026Updated last week
- Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128☆12Oct 20, 2021Updated 4 years ago
- Batch ECDSA in circom☆35Jul 20, 2022Updated 3 years ago
- SILVER - Statistical Independence and Leakage Verification☆15Jun 6, 2025Updated 9 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- A simulator for trading on mango by market makers, used for testing solana cluster.☆13Sep 3, 2024Updated last year
- ☆12Nov 27, 2023Updated 2 years ago
- ☆19Feb 22, 2024Updated 2 years ago
- ☆20Jan 16, 2025Updated last year
- Example of using firebase features for a flutter project☆10Mar 15, 2022Updated 4 years ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆16Jun 23, 2020Updated 5 years ago
- ☆14Jul 8, 2023Updated 2 years ago
- Containerized Implementation of LightChain Blockchain (research project)☆12Jun 28, 2021Updated 4 years ago
- AlgorithmeConcensus☆12Jan 15, 2019Updated 7 years ago
- Corda Enterprise Network Manager (CENM) deployment☆10Nov 21, 2025Updated 4 months ago
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 years ago
- Instagram Bot that sends messages to multiple people using tkinter and an easy to use GUI.☆13Apr 16, 2023Updated 2 years ago
- “CBGRU: A Detection method of Smart Contract Vulnerability Based on Hybrid Model”☆12May 29, 2022Updated 3 years ago
- ☆25Apr 25, 2024Updated last year
- High-order countermeasures for AES and DES☆24Aug 1, 2024Updated last year
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Nov 3, 2017Updated 8 years ago
- Implementation of Two Phase Commit☆14Jun 21, 2013Updated 12 years ago
- ☆15Aug 27, 2022Updated 3 years ago
- An implementation of the second-order Differential Power Analysis (DPA) attack, suited for evaluations of AES-128 algorithm on microcontr…☆19Aug 6, 2013Updated 12 years ago
- VulExplainer: A Transformer-based Hierarchical Distillation for Explaining Vulnerability Types☆19Nov 24, 2023Updated 2 years ago
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Nov 17, 2015Updated 10 years ago