This is a quick introduction to getting started with the zkSnark Groth16 algorithm.
☆24Sep 6, 2024Updated last year
Alternatives and similar repositories for zkSnark-Groth16-Getting-Started
Users that are interested in zkSnark-Groth16-Getting-Started are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆29Feb 28, 2025Updated last year
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 6 years ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 4 years ago
- Python scripts to set up a multidimensional model and run an ETL process for Ethereum data analysis.☆19Feb 22, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This is the repo for Taskfile demo☆12Aug 10, 2024Updated 2 years ago
- ☆11Jan 1, 2025Updated last year
- Enigma Machine in C☆14Nov 1, 2024Updated last year
- hvalid is a lightweight validation library written in Go language.(一个用Go语言编写的轻量级验证库)☆14Jun 5, 2025Updated last year
- A halo2 implementation of on-chain DCAP attestation verification☆15Sep 9, 2024Updated last year
- ☆15Dec 19, 2023Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Jul 24, 2026Updated 2 weeks ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- A plugin for working with Aiken on Vim / NeoVim.☆15Dec 5, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Exfiltrate data using ping and PowerShell, no admin access required☆15Mar 26, 2024Updated 2 years ago
- 收集一些好用的AI/ChatGPT相关工具。原则是基于它开发的工具使我们更加轻松地完成工作 / A collection of some good AI/ChatGPT related tools. The principle is that the tools devel…☆16Apr 5, 2023Updated 3 years ago
- Public Audits in the NEAR Ecosystem☆17Jun 10, 2024Updated 2 years ago
- ☆13Mar 13, 2025Updated last year
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆22Jul 6, 2023Updated 3 years ago
- ☆16Apr 12, 2017Updated 9 years ago
- Circom to MP-SPDZ☆23Oct 27, 2024Updated last year
- Translate circomlib into gnark☆20Sep 16, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆22Aug 3, 2026Updated last week
- ☆18Jun 3, 2018Updated 8 years ago
- 🚀 👀 The website of Android Dev Notes. Content contributions are welcome! Found something interesting related to Android, just add it! c…☆11Dec 5, 2024Updated last year
- 基于ethereum底层代码 , 替换原pow共识算法为Dpos,自主开发的高TPS公链项目 . 有效解决原以太坊 tps太低 及 cpu浪费问题☆17Dec 7, 2022Updated 3 years ago
- Google hacking, also named Google dorking, is a hacker technique that uses Google Search and other Google applications to find security h…☆14May 8, 2021Updated 5 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- The nightmare giving MySQL migrator☆10Aug 19, 2016Updated 9 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana☆19Oct 10, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Kubernetes website and documentation repo:☆13Aug 18, 2021Updated 4 years ago
- Hacking and Learning consistently for 100 days straight af.☆18Apr 12, 2022Updated 4 years ago
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆20Jul 9, 2026Updated last month
- DID分布式身份解决方案☆20Mar 8, 2021Updated 5 years ago
- This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Do…☆18May 11, 2024Updated 2 years ago
- Template repository for zkLLVM-based projects☆19Mar 13, 2024Updated 2 years ago
- r1cs file format parser☆25Jul 13, 2026Updated 3 weeks ago