zk-examples . forks . PositiveWeb3
arkworks → snarkjs . gnark → snarkjs . sp1 → snarkjs
export-ton-verifier . soroban-verifier-gen
export-aptos-verifier . export-sui-verifier
A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.
Checklist for security audit of TON projects by @PositiveSecurity
Zero-knowledge (Groth16, PLONK) verifier generator for TON smart contracts.
Zero-knowledge (Groth16) verifier generator for Stellar Soroban smart contracts.
Rust 1
Rust library for exporting Arkworks Groth16 proofs and verifying keys to snarkjs-compatible JSON (BN254, BLS12-381).
Rust 1
Go library for exporting gnark Groth16 proofs and verifying keys to snarkjs-compatible JSON (BN254, BLS12-381).
Go