Skip to content

fix: rename groth16/plonk to gnark_groth16 and gnark_plonk to avoid ambiguity with circom #1999

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
MauroToscano merged 6 commits into from
Jun 26, 2025
Merged

fix: rename groth16/plonk to gnark_groth16 and gnark_plonk to avoid ambiguity with circom #1999

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
edf5974
refactor: rename gnark files to avoid ambiguity with circom
JuArce Jun 24, 2025
f80eb84
Merge branch 'refs/heads/staging' into 1998-fix-rename-groth16plonk-t…
JuArce Jun 25, 2025
33e5c2c
refactor: rename gnark ffis functions
JuArce Jun 25, 2025
3bdc92b
refactor: rename gnark functions for operator
JuArce Jun 25, 2025
027d05d
fix: bash scripts
JuArce Jun 25, 2025
6911e4d
docs: update gnark groth16 examples
JuArce Jun 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
114 changes: 57 additions & 57 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -578,77 +578,77 @@ batcher_send_risc0_burst: ## Send a burst of Risc0 fibonacci proofs to Batcher.
--rpc_url $(RPC_URL) \
--network $(NETWORK)

batcher_send_plonk_bn254_task: crates/target/release/aligned ## Send a Groth16Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
batcher_send_gnark_plonk_bn254_task: crates/target/release/aligned ## Send a Gnark Plonk Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
@echo "Sending Gnark Plonk Bn254 1!=0 proof to Batcher..."
@cd crates/cli/ && cargo run --release -- submit \
--proving_system GnarkPlonkBn254 \
--proof ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.vk \
--proof ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
--rpc_url $(RPC_URL) \
--network $(NETWORK)

batcher_send_plonk_bn254_burst: crates/target/release/aligned ## Send a burst of Groth16Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
batcher_send_gnark_plonk_bn254_burst: crates/target/release/aligned ## Send a burst of Gnark Plonk Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
@echo "Sending Gnark Plonk Bn254 1!=0 proof to Batcher..."
@cd crates/cli/ && cargo run --release -- submit \
--proving_system GnarkPlonkBn254 \
--proof ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.vk \
--proof ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
--repetitions $(BURST_SIZE) \
--rpc_url $(RPC_URL) \
--network $(NETWORK)

batcher_send_plonk_bls12_381_task: crates/target/release/aligned ## Send a Groth16 BLS12-381 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
@echo "Sending Groth16 BLS12-381 1!=0 proof to Batcher..."
batcher_send_gnark_plonk_bls12_381_task: crates/target/release/aligned ## Send a Gnark Plonk BLS12-381 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
@echo "Sending Gnark Plonk BLS12-381 1!=0 proof to Batcher..."
@cd crates/cli/ && cargo run --release -- submit \
--proving_system GnarkPlonkBls12_381 \
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.vk \
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
--rpc_url $(RPC_URL) \
--network $(NETWORK)

batcher_send_plonk_bls12_381_burst: crates/target/release/aligned ## Send a burst of Groth16 BLS12-381 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
@echo "Sending Groth16 BLS12-381 1!=0 proof to Batcher..."
batcher_send_gnark_plonk_bls12_381_burst: crates/target/release/aligned ## Send a burst of Gnark Plonk BLS12-381 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
@echo "Sending Gnark Plonk BLS12-381 1!=0 proof to Batcher..."
@cd crates/cli/ && cargo run --release -- submit \
--proving_system GnarkPlonkBls12_381 \
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.vk \
--proof ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ../../scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
--repetitions $(BURST_SIZE) \
--rpc_url $(RPC_URL) \
--network $(NETWORK)

batcher_send_groth16_bn254_task: crates/target/release/aligned ## Send a Groth16Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
batcher_send_gnark_groth16_bn254_task: crates/target/release/aligned ## Send a Gnark Groth16 Bn254 1!=0 proof to Batcher. Parameters: RPC_URL, NETWORK
@echo "Sending Gnark Groth 16Bn254 1!=0 proof to Batcher..."
@cd crates/cli/ && cargo run --release -- submit \
--proving_system Groth16Bn254 \
--proof ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.pub \
--vk ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.vk \
--proving_system GnarkGroth16Bn254 \
--proof ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \
--vk ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
--rpc_url $(RPC_URL) \
--network $(NETWORK)

batcher_send_groth16_bn254_burst: crates/target/release/aligned ## Send a burst of Groth16Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
@echo "Sending Groth16Bn254 1!=0 proof to Batcher..."
batcher_send_gnark_groth16_bn254_burst: crates/target/release/aligned ## Send a burst of Gnark Groth16 Bn254 1!=0 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
@echo "Sending Gnark Groth16 Bn254 1!=0 proof to Batcher..."
@cd crates/cli/ && cargo run --release -- submit \
--proving_system Groth16Bn254 \
--proof ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.pub \
--vk ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.vk \
--proving_system GnarkGroth16Bn254 \
--proof ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.proof \
--public_input ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \
--vk ../../scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \
--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
--repetitions $(BURST_SIZE) \
--rpc_url $(RPC_URL) \
--network $(NETWORK)

## TODO: send_burst_tasks.sh and send_infinite_tasks.sh does a similar thing. We could delete one
batcher_send_groth16_bn254_infinite: crates/target/release/aligned ## Send a different Groth16 BN254 proof using the client every 3 seconds. Parameters: BURST_SIZE, START_COUNTER
batcher_send_gnark_groth16_bn254_infinite: crates/target/release/aligned ## Send a different Gnark Groth16 BN254 proof using the client every 3 seconds. Parameters: BURST_SIZE, START_COUNTER
@echo "Sending a burst of proofs to Batcher..."
@mkdir -p scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs
@./crates/cli/send_burst_tasks.sh $(BURST_SIZE) $(START_COUNTER)
Expand Down Expand Up @@ -685,10 +685,10 @@ batcher_send_burst_with_random_address: ## Send a burst of proofs with random ad
__TASK_SENDER__:
BURST_TIME_SECS ?= 3

task_sender_generate_groth16_proofs:
task_sender_generate_gnark_groth16_proofs:
@cd crates/task-sender && \
cargo run --release -- generate-proofs \
--number-of-proofs $(NUMBER_OF_PROOFS) --proof-type groth16 \
--number-of-proofs $(NUMBER_OF_PROOFS) --proof-type gnark_groth16 \
--dir-to-save-proofs $(CURDIR)/scripts/test_files/task_sender/proofs

# ===== DEVNET =====
Expand Down Expand Up @@ -1088,40 +1088,40 @@ docker_batcher_send_risc0_burst:
--rpc_url $(DOCKER_RPC_URL) \
--max_fee 0.1ether

docker_batcher_send_plonk_bn254_burst:
@echo "Sending Groth16Bn254 1!=0 task to Batcher..."
docker_batcher_send_gnark_plonk_bn254_burst:
@echo "Sending Gnark Plonk Bn254 1!=0 task to Batcher..."
docker exec $(shell docker ps | grep batcher | awk '{print $$1}') aligned submit \
--private_key $(DOCKER_PROOFS_PRIVATE_KEY) \
--proving_system GnarkPlonkBn254 \
--proof ./scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.proof \
--public_input ./scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input_0_12_0.pub \
--vk ./scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.vk \
--proof ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.proof \
--public_input ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ./scripts/test_files/gnark_plonk_bn254_script/gnark_plonk_0_12_0.vk \
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS) \
--rpc_url $(DOCKER_RPC_URL) \
--repetitions $(DOCKER_BURST_SIZE) \
--max_fee 0.1ether

docker_batcher_send_plonk_bls12_381_burst:
@echo "Sending Groth16 BLS12-381 1!=0 task to Batcher..."
docker_batcher_send_gnark_plonk_bls12_381_burst:
@echo "Sending Gnark Plonk BLS12-381 1!=0 task to Batcher..."
docker exec $(shell docker ps | grep batcher | awk '{print $$1}') aligned submit \
--private_key $(DOCKER_PROOFS_PRIVATE_KEY) \
--proving_system GnarkPlonkBls12_381 \
--proof ./scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.proof \
--public_input ./scripts/test_files/gnark_plonk_bls12_381_script/plonk_pub_input_0_12_0.pub \
--vk ./scripts/test_files/gnark_plonk_bls12_381_script/plonk_0_12_0.vk \
--proof ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.proof \
--public_input ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_pub_input_0_12_0.pub \
--vk ./scripts/test_files/gnark_plonk_bls12_381_script/gnark_plonk_0_12_0.vk \
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS) \
--repetitions $(DOCKER_BURST_SIZE) \
--rpc_url $(DOCKER_RPC_URL) \
--max_fee 0.1ether

docker_batcher_send_groth16_burst:
docker_batcher_send_gnark_groth16_burst:
@echo "Sending Groth16 BLS12-381 1!=0 task to Batcher..."
docker exec $(shell docker ps | grep batcher | awk '{print $$1}') aligned submit \
--private_key $(DOCKER_PROOFS_PRIVATE_KEY) \
--proving_system Groth16Bn254 \
--proof ./scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.proof \
--public_input ./scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.pub \
--vk ./scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.vk \
--proving_system GnarkGroth16Bn254 \
--proof ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.proof \
--public_input ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.pub \
--vk ./scripts/test_files/gnark_groth16_bn254_script/gnark_groth16_0_12_0.vk \
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS) \
--repetitions $(DOCKER_BURST_SIZE) \
--rpc_url $(DOCKER_RPC_URL) \
Expand All @@ -1144,9 +1144,9 @@ docker_batcher_send_circom_groth16_bn128_burst:
docker_batcher_send_all_proofs_burst:
@$(MAKE) docker_batcher_send_sp1_burst
@$(MAKE) docker_batcher_send_risc0_burst
@$(MAKE) docker_batcher_send_plonk_bn254_burst
@$(MAKE) docker_batcher_send_plonk_bls12_381_burst
@$(MAKE) docker_batcher_send_groth16_burst
@$(MAKE) docker_batcher_send_gnark_plonk_bn254_burst
@$(MAKE) docker_batcher_send_gnark_plonk_bls12_381_burst
@$(MAKE) docker_batcher_send_gnark_groth16_burst
@$(MAKE) docker_batcher_send_circom_groth16_bn128_burst

docker_batcher_send_infinite_groth16:
Expand All @@ -1161,10 +1161,10 @@ docker_batcher_send_infinite_groth16:
aligned submit \
--rpc_url $(DOCKER_RPC_URL) \
--repetitions $(DOCKER_BURST_SIZE) \
--proving_system Groth16Bn254 \
--proof scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_groth16_0_12_0.proof \
--public_input scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_groth16_0_12_0.pub \
--vk scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_groth16_0_12_0.vk \
--proving_system GnarkGroth16Bn254 \
--proof scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_gnark_groth16_0_12_0.proof \
--public_input scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_gnark_groth16_0_12_0.pub \
--vk scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_$${counter}_gnark_groth16_0_12_0.vk \
--proof_generator_addr $(PROOF_GENERATOR_ADDRESS); \
--max_fee 0.1ether
sleep $${timer}; \
Expand Down
8 changes: 4 additions & 4 deletions alerts/sender_with_alert.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -106,11 +106,11 @@ do
## Send Proof
echo "Submitting $REPETITIONS proofs $x != 0"
submit=$(aligned submit \
--proving_system Groth16Bn254 \
--proving_system GnarkGroth16Bn254 \
--repetitions $REPETITIONS \
--proof "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.proof" \
--public_input "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.pub" \
--vk "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_groth16_0_12_0.vk" \
--proof "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.proof" \
--public_input "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.pub" \
--vk "./scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs/ineq_${x}_gnark_groth16_0_12_0.vk" \
--private_key $PRIVATE_KEY \
--rpc_url $RPC_URL \
--network $NETWORK \
Expand Down
16 changes: 8 additions & 8 deletions common/proving_systems.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,14 +13,14 @@ type ProvingSystemId uint16
const (
GnarkPlonkBls12_381 ProvingSystemId = iota
GnarkPlonkBn254
Groth16Bn254
GnarkGroth16Bn254
SP1
Risc0
CircomGroth16Bn128
)

func (t *ProvingSystemId) String() string {
return [...]string{"GnarkPlonkBls12_381", "GnarkPlonkBn254", "Groth16Bn254", "SP1"}[*t]
return [...]string{"GnarkPlonkBls12_381", "GnarkPlonkBn254", "GnarkGroth16Bn254", "SP1"}[*t]
}

func ProvingSystemIdFromString(provingSystem string) (ProvingSystemId, error) {
Expand All @@ -29,8 +29,8 @@ func ProvingSystemIdFromString(provingSystem string) (ProvingSystemId, error) {
return GnarkPlonkBls12_381, nil
case "GnarkPlonkBn254":
return GnarkPlonkBn254, nil
case "Groth16Bn254":
return Groth16Bn254, nil
case "GnarkGroth16Bn254":
return GnarkGroth16Bn254, nil
case "SP1":
return SP1, nil
case "Risc0":
Expand All @@ -48,8 +48,8 @@ func ProvingSystemIdToString(provingSystem ProvingSystemId) (string, error) {
return "GnarkPlonkBls12_381", nil
case GnarkPlonkBn254:
return "GnarkPlonkBn254", nil
case Groth16Bn254:
return "Groth16Bn254", nil
case GnarkGroth16Bn254:
return "GnarkGroth16Bn254", nil
case SP1:
return "SP1", nil
case Risc0:
Expand Down Expand Up @@ -104,8 +104,8 @@ func (s *ProvingSystemId) UnmarshalCBOR(data []byte) error {
*s = GnarkPlonkBls12_381
case "GnarkPlonkBn254":
*s = GnarkPlonkBn254
case "Groth16Bn254":
*s = Groth16Bn254
case "GnarkGroth16Bn254":
*s = GnarkGroth16Bn254
case "SP1":
*s = SP1
case "Risc0":
Expand Down
26 changes: 13 additions & 13 deletions crates/batcher/go_verifiers_lib/verifier.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,23 +35,23 @@ func listRefToBytes(listRef C.ListRef) []byte {

func main() {}

//export VerifyPlonkProofBLS12_381
func VerifyPlonkProofBLS12_381(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
return verifyPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BLS12_381)
//export VerifyGnarkPlonkProofBLS12_381
func VerifyGnarkPlonkProofBLS12_381(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
return verifyGnarkPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BLS12_381)
}

//export VerifyPlonkProofBN254
func VerifyPlonkProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
return verifyPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
//export VerifyGnarkPlonkProofBN254
func VerifyGnarkPlonkProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
return verifyGnarkPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
}

//export VerifyGroth16ProofBN254
func VerifyGroth16ProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
return verifyGroth16Proof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
//export VerifyGnarkGroth16ProofBN254
func VerifyGnarkGroth16ProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
return verifyGnarkGroth16Proof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
}

// verifyPlonkProof contains the common proof verification logic.
func verifyPlonkProof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
// verifyGnarkPlonkProof contains the common proof verification logic.
func verifyGnarkPlonkProof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
proofBytes := listRefToBytes(proofBytesRef)
pubInputBytes := listRefToBytes(pubInputBytesRef)
verificationKeyBytes := listRefToBytes(verificationKeyBytesRef)
Expand Down Expand Up @@ -85,8 +85,8 @@ func verifyPlonkProof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verif
return err == nil
}

// verifyGroth16Proof contains the common proof verification logic.
func verifyGroth16Proof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
// verifyGnarkGroth16Proof contains the common proof verification logic.
func verifyGnarkGroth16Proof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
proofBytes := listRefToBytes(proofBytesRef)
pubInputBytes := listRefToBytes(pubInputBytesRef)
verificationKeyBytes := listRefToBytes(verificationKeyBytesRef)
Expand Down
6 changes: 3 additions & 3 deletions crates/batcher/src/ffi/gnark_ffi.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
use crate::ffi::list_ref::ListRef;

extern "C" {
pub fn VerifyPlonkProofBLS12_381(
pub fn VerifyGnarkPlonkProofBLS12_381(
proof: ListRef,
public_input: ListRef,
verification_key: ListRef,
) -> bool;
pub fn VerifyPlonkProofBN254(
pub fn VerifyGnarkPlonkProofBN254(
proof: ListRef,
public_input: ListRef,
verification_key: ListRef,
) -> bool;
pub fn VerifyGroth16ProofBN254(
pub fn VerifyGnarkGroth16ProofBN254(
proof: ListRef,
public_input: ListRef,
verification_key: ListRef,
Expand Down
Loading
Loading