The main advantage of Github is that everyone can watch all proofs and updates of the project.
Yesterday talked about this. we hope someone will make a competent independent audit of the code.
Waiting for code review too. Hope devs will use this opportunity for PR on English-speaking resources.
Don't mean to offend anyone, but it's not very healthy that we have the same bunch of people here in the post for weeks without any newcomers.
Sometimes still look, but really the community needs to expand.