pantos-io / research-ethrelayView external linksLinks
Ethereum smart contracts that enable the verification of transactions of a "target" blockchain on a different "verifying" blockchain in a trustless and decentralized way
☆37Feb 4, 2023Updated 3 years ago
Alternatives and similar repositories for research-ethrelay
Users that are interested in research-ethrelay are comparing it to the libraries listed below
Sorting:
- Go-library and command-line interface (CLI) to interact with the Testimonium prototype☆21Apr 11, 2022Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆10Jan 11, 2022Updated 4 years ago
- NCA-SEM module for Jamovi. Necessary Condition Analysis via Structural Equation Modeling (NCA-SEM) is a data analysis method that is used…☆13Oct 5, 2024Updated last year
- ☆27Nov 22, 2018Updated 7 years ago
- In-EVM Solana Light Client State Verification☆36May 10, 2024Updated last year
- BTCRelay re-implementation in Solidity☆26Oct 2, 2019Updated 6 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆195Mar 17, 2024Updated last year
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆33Jul 29, 2024Updated last year
- Solidity library to parse raw Bitcoin transaction bytes☆33May 7, 2017Updated 8 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆41Oct 8, 2020Updated 5 years ago
- An implementation of the K-Nearest Neighbors algorithm from scratch using the Python programming language.☆10Mar 3, 2019Updated 6 years ago
- This repository is archived, Zendoo is out of beta and has been included in https://github.com/HorizenOfficial/zen.☆35Nov 28, 2022Updated 3 years ago
- ☆11Jun 29, 2022Updated 3 years ago
- Overlord consensus protocol.☆80Sep 4, 2023Updated 2 years ago
- ☆11Aug 4, 2021Updated 4 years ago
- The securities tokens issuing platform☆14Jun 14, 2019Updated 6 years ago
- Ranked Choice voting with Google Forms and Python☆11Nov 25, 2020Updated 5 years ago
- A domain name typo finder to determine typos of a domain name.☆15Mar 18, 2013Updated 12 years ago
- Web and commandline based DNSBL utilities☆10May 3, 2015Updated 10 years ago
- Farmers League Gaming and NFT - Contracts and scripts☆11Sep 4, 2022Updated 3 years ago
- This is an Unofficial Facebook bot API in python. Facebook Bots can be build using this library.☆13Jan 20, 2018Updated 8 years ago
- The Blockchain-based voting system will be secure, reliable, and anonymous, and will help increase the number of voters as well as the tr…☆12Nov 23, 2022Updated 3 years ago
- AI Mastering API tutorial written by node.js.☆10Jan 23, 2023Updated 3 years ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- ☆13Aug 15, 2024Updated last year
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- Intel® Generic Implementation of LAGraph* for Go*☆10Feb 12, 2025Updated last year
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- A responsive, jQuery powered, multi-slideshow.☆14Nov 27, 2024Updated last year
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 3 weeks ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- EOS Button Contract☆10Jul 22, 2018Updated 7 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- IBAN Generator☆14Nov 21, 2020Updated 5 years ago
- ☆10Aug 21, 2022Updated 3 years ago