Compilation & Proving & "How to"

[AtHeartEngineer]

@curryrasul will give more details here

[curryrasul]

There was a problem with a compilation of RLN circuits in Noir. However in noir-lang/noir#1848 it was told that it works well with current nightly versions.
We should do:

• Compilation test to check if everything's working well
• Proving & setting .sh scripts to run proving easy (with generation of inputs)
• Instruction in readme on "How to run" (as here for example)

If anything is wrong with the implementation - try to fix it and/or open other issues with the problem statement and fixing the implementation itself.

[MuhtasimTanmoy]

Is this still active / relevant?

[curryrasul]

Hey, sure @MuhtasimTanmoy ! The project is not active rn, but if you can update everything, check that everything works, etc. - that'd be very helpful and awesome!

[AtHeartEngineer]

Is this still active / relevant?

@MuhtasimTanmoy @curryrasul @cedoor
RLN is possibly getting rolled into Semaphore Protocol

[curryrasul]

@AtHeartEngineer
Yep, but if we update the repo so that everything works well, that's useful anyway?

[AtHeartEngineer]

@AtHeartEngineer
Yep, but if we update the repo so that everything works well, that's useful anyway?

Ya sorry I didn't realize this was the nior repo 🙂