Pinocchio-based adaptive zk-SNARK and distributed computation
☆18Dec 7, 2017Updated 8 years ago
Alternatives and similar repositories for geppetri
Users that are interested in geppetri are comparing it to the libraries listed below
Sorting:
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆84Sep 17, 2019Updated 6 years ago
- ☆24Aug 13, 2017Updated 8 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆67Feb 13, 2023Updated 3 years ago
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Feb 20, 2024Updated 2 years ago
- A High-Frequency Market-Making bot for CoinCheck.jp☆10Oct 30, 2017Updated 8 years ago
- A nlp framework to find hate speech comments out of a comments corpus.☆11Dec 8, 2022Updated 3 years ago
- Yao's Garbled Circuits (Java/AES)☆10Dec 9, 2013Updated 12 years ago
- Tesseract OCR 4 for Raspberry Pi 3☆11Feb 3, 2019Updated 7 years ago
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `tools`☆37Jul 10, 2018Updated 7 years ago
- ☆15Dec 30, 2025Updated 2 months ago
- Zilliqa's bonding curve contract based on sigmoid formula☆11Sep 30, 2019Updated 6 years ago
- Graph autolayout library in Go☆11Aug 21, 2025Updated 6 months ago
- Line-for-line port of Rogue from C to Common Lisp☆12Jan 7, 2021Updated 5 years ago
- An implementation of Publicly Verifiably Secret Sharing (PVSS) in Swift.☆12Nov 8, 2017Updated 8 years ago
- A set of helpers to implement a text user interface (TUI) in a terminal.☆14Oct 5, 2022Updated 3 years ago
- Deploy a serf cluster in kubernetes☆10Oct 7, 2015Updated 10 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- 💧A membrane between the decentralized world and centralized world☆12Jan 5, 2021Updated 5 years ago
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 10 years ago
- MPC for Nim☆11Jun 18, 2020Updated 5 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- GNU Recutils database support for Go.☆14Apr 6, 2024Updated last year
- Just a Raspi connected to Whatsapp and to a thermal printer.☆11Dec 31, 2015Updated 10 years ago
- An optimistic implementation of ZkDai☆16Jan 17, 2019Updated 7 years ago
- An MCP tool server that provides stateful, TUI-compatible terminal sessions.☆14Feb 3, 2025Updated last year
- ☆12Jun 26, 2025Updated 8 months ago
- A set of developer tools for programmers working on Moos.☆10Feb 19, 2024Updated 2 years ago
- An Ansible role to install and configure the ZNC IRC bouncer server.☆10Aug 4, 2019Updated 6 years ago
- DataDog mock service☆11Feb 5, 2020Updated 6 years ago
- (DEPRECATED) Component to KIELER/KLay Layered JavaScript☆31Dec 16, 2014Updated 11 years ago
- NPM package of did-siop☆10Apr 2, 2023Updated 2 years ago
- Painting application for desktop devices☆13Dec 23, 2025Updated 2 months ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- Arbitrary precision integers in TensorFlow☆11Dec 27, 2022Updated 3 years ago
- Line editor and Cisco-style command tree☆13May 16, 2022Updated 3 years ago
- The Modern Web Application Framework for C☆10Oct 30, 2023Updated 2 years ago
- SolGPT智能合约(区块链)漏洞检测大模型 Solidity(Smart Contract) Vulnerability Detection Base on GPT Model☆14Dec 25, 2024Updated last year
- Racket Entity-Component-System☆13Dec 11, 2018Updated 7 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆19Aug 19, 2025Updated 6 months ago