From c4d6346e326376ceeecb8df98b77a35e7489e0a0 Mon Sep 17 00:00:00 2001 From: arnaucube Date: Tue, 27 Aug 2024 04:39:40 +0200 Subject: [PATCH] fix fcircuit trait github link --- src/usage/frontend.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/usage/frontend.md b/src/usage/frontend.md index 0b3aa2e..0d8be33 100644 --- a/src/usage/frontend.md +++ b/src/usage/frontend.md @@ -10,7 +10,7 @@ Defining a circuit to be folded is as simple as fulfilling the `FCircuit` trait # The `FCircuit` trait -To be folded with sonobe, a circuit needs to implement the [`FCircuit` trait](https://github.com/privacy-scaling-explorations/sonobe/blob/main/sonobe/src/frontend/mod.rs). This trait defines the methods that sonobe expects from the circuit to be folded. It corresponds to the $F$ function that is being folded. The trait has the following methods: +To be folded with sonobe, a circuit needs to implement the [`FCircuit` trait](https://github.com/privacy-scaling-explorations/sonobe/blob/main/folding-schemes/src/frontend/mod.rs). This trait defines the methods that sonobe expects from the circuit to be folded. It corresponds to the $F$ function that is being folded. The trait has the following methods: ```rust /// FCircuit defines the trait of the circuit of the F function, which is the one being folded (ie.