Audit preparedness: listing key cases - Githubissues

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

https://noir-lang.org

Apache License 2.0

821 stars 177 forks source link

Audit preparedness: listing key cases #5360

Open michaeljklein opened 2 days ago

michaeljklein commented 2 days ago

Problem

[x] List ACIR opcodes
[x] List black-box functions
[ ] List acir-gen cases
[ ] List SSA passes
[ ] List monomorphizer key cases

List

pub enum Opcode<F> {

[ ] AssertZero
[ ] BlackBoxFuncCall
[ ] Directive
[ ] MemoryOp
[ ] MemoryInit
[ ] BrilligCall
[ ] Call

pub enum Directive<F> {

[ ] ToLeRadix

pub enum BlackBoxFunc {

[ ] AES128Encrypt
[ ] AND
[ ] XOR
[ ] RANGE
[ ] SHA256
[ ] Blake2s
[ ] Blake3
[ ] SchnorrVerify
[ ] PedersenCommitment
[ ] PedersenHash
[ ] EcdsaSecp256k1
[ ] EcdsaSecp256r1
[ ] MultiScalarMul
[ ] Keccak256
[ ] Keccakf1600
[ ] RecursiveAggregation
[ ] EmbeddedCurveAdd
[ ] BigIntAdd
[ ] BigIntSub
[ ] BigIntMul
[ ] BigIntDiv
[ ] BigIntFromLeBytes
[ ] BigIntToLeBytes
[ ] Poseidon2Permutation
[ ] Sha256Compression

Happy Case

Add the list to the omnibus issue: https://github.com/noir-lang/noir/issues/5173

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response