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