A compiler to turn GO code into a zkSNARK
☆16Jul 19, 2021Updated 4 years ago
Alternatives and similar repositories for go-R1CS-Compiler
Users that are interested in go-R1CS-Compiler are comparing it to the libraries listed below
Sorting:
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- Compile and install Julia (Julia version of ruby-build)☆11Jul 14, 2021Updated 4 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆16May 23, 2023Updated 2 years ago
- go-rapidsnark☆23Feb 12, 2026Updated 2 weeks ago
- ZigBee Network Processor (ZNP) Interface☆16Feb 25, 2023Updated 3 years ago
- Poseidon hash implementation in Rust☆27Jan 22, 2026Updated last month
- ☆24Dec 21, 2024Updated last year
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆28Feb 18, 2023Updated 3 years ago
- ☆25Aug 14, 2024Updated last year
- Official format for time series data captured from 3D Engines.☆12May 14, 2023Updated 2 years ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Attribute-based Encryption☆29Jun 30, 2023Updated 2 years ago
- An implementation of the LowMC block cipher family.☆27Nov 29, 2017Updated 8 years ago
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- Circuits library for matrix operations in circom☆33Jun 18, 2024Updated last year
- Released code of the MorphDAG prototype (version 2.0)☆10Jan 2, 2025Updated last year
- CDCL(Crypto) SAT solver for cryptanalysis problems☆11Mar 5, 2021Updated 4 years ago
- A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI☆10May 27, 2015Updated 10 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- A general probabilistic graphical models framework for Rust☆10May 16, 2018Updated 7 years ago
- Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.☆11Jan 27, 2024Updated 2 years ago
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 5 months ago
- ATLAS Control is a framework for building a complete monitoring, trending, reporting, and real-time tracking SCADA-type system primarily …☆10Feb 19, 2014Updated 12 years ago
- Implement HotStuff consensus with go-lang☆10Jul 29, 2020Updated 5 years ago
- copyright management system using ERC721 token on a blockchain☆11Dec 1, 2020Updated 5 years ago
- Invadium runs exploit playbooks against vulnerable target applications in an intuitive, reproducible, and well-defined manner.☆11Apr 27, 2023Updated 2 years ago
- Decentralized kv storage engine,support decentralized P2P networking, data synchronization and consistency between nodes.☆14Jan 4, 2026Updated last month
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 11 months ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- Community edition of Nightfall_4☆16Updated this week
- ☆10Mar 4, 2024Updated last year
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated last week
- A Rust library for building R1CS gadgets☆93Oct 14, 2021Updated 4 years ago