PREDA, a general programming language for parallel execution of smart contract transactions on sharding blockchains
☆18Oct 13, 2025Updated 5 months ago
Alternatives and similar repositories for preda
Users that are interested in preda are comparing it to the libraries listed below
Sorting:
- exploit of smt proxyoverflow bug, i.e. CVE-2018–10376☆10May 4, 2018Updated 7 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- AntChainBridge 链下插件服务框架☆37Jan 13, 2025Updated last year
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆20Nov 6, 2024Updated last year
- ☆12Apr 24, 2016Updated 9 years ago
- learn about ethereum☆14Jan 8, 2019Updated 7 years ago
- Experimental x86_64 operating system designed to run userspace applications compiled to WebAssembly.☆40Jun 28, 2025Updated 8 months ago
- ☆12Oct 16, 2021Updated 4 years ago
- ☆26Nov 26, 2025Updated 3 months ago
- 🍭番茄短视频-微信后端API; 基于Spring+SpringMVC+Mybatis构建☆13Oct 11, 2023Updated 2 years ago
- 口令红包合约 Solidity☆10May 21, 2019Updated 6 years ago
- Clone of Hyperledger Fabric for Performance study & Optimization. This repo has modifications on Fabric. See thakkarparth007/fabric-load-…☆11Feb 28, 2018Updated 8 years ago
- A set of tooling of halo2 circuits verification in Move environments☆16Mar 11, 2026Updated last week
- OKChain Improvement Proposals☆13Mar 20, 2023Updated 3 years ago
- Examples of using Polygon Miden☆21Aug 25, 2025Updated 6 months ago
- Pompe implementation based on HotStuff☆17May 20, 2021Updated 4 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Jun 12, 2025Updated 9 months ago
- ☆11Oct 25, 2022Updated 3 years ago
- Bridging ERC20 Tokens to MEM & AO☆10Jul 12, 2024Updated last year
- Blockchain as a Service☆14Aug 14, 2017Updated 8 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- ☆64Sep 22, 2018Updated 7 years ago
- traces and simulation/testbed code for offchain routing☆17Jun 21, 2022Updated 3 years ago
- Multiplatform SDK for Sui☆17Feb 2, 2026Updated last month
- This project reveal how Zero Knowledge Proofs could improve Ethereum's world.☆10Jun 13, 2021Updated 4 years ago
- ABCDE Internal POC: Parallel go-ethereum☆29Dec 15, 2023Updated 2 years ago
- ☆19Mar 3, 2024Updated 2 years ago
- Community Helm Charts provided by Offchain Labs☆10Mar 11, 2026Updated last week
- A collection of example projects, smart contract templates, and tutorials to help developers build on the Jovay Network.☆36Jan 29, 2026Updated last month
- ☆13May 6, 2024Updated last year
- Learn NEAR Community☆11Jul 2, 2024Updated last year
- Javascript version of the Move language compiler, supports compiling Move code into Move bytecode in the browser.☆23Feb 26, 2024Updated 2 years ago
- 新手无痛了解 Arbitrum☆16Mar 14, 2026Updated last week
- java sdk demo☆18Sep 24, 2024Updated last year
- ☆16Oct 21, 2021Updated 4 years ago
- This is the repository to host the code for hslang parsing and code generation.☆20May 20, 2022Updated 3 years ago
- Apache Fory Website☆27Updated this week
- Open source code of FAST' 24 paper, COLE: A Column-based Learned Storage for Blockchain Systems☆13Oct 23, 2024Updated last year
- The collections of smart contracts that power the Ronin Delegated Proof of Stake (DPoS) network.☆18Apr 4, 2024Updated last year