Content
@
0 reply
4 recasts
4 reactions
Brunny.eth
@brunny
Aztec is doing $25,000 in bounties for the top 5 Farcaster applications (frames or otherwise) built using Noir rules: build something on Farcaster that uses Noir by Feb. 15th. We will run a Frame poll after Feb 15th to decide who gets the prizes prizes: 5 x $5,000 for the 5 top applications
17 replies
12 recasts
53 reactions
Complexlity
@complexlity
Sudoku on frame!. Built with frames.js and Noir https://sudoku-frame-noir.vercel.app/
7 replies
1 recast
4 reactions
josh crites
@crites
Cool! How does it work with Noir? How does it fit in the tech stack?
1 reply
0 recast
1 reaction
Complexlity
@complexlity
So the verifier is built with noir. It checks the correctness of the puzzle and returns a proof. There's some time limitation to frames but it (the proof) could further be used to call a SC like mint NFT to users who solved correctly
1 reply
0 recast
4 reactions
James Zaki
@jameszaki
What does your Noir code look like? I feel sudoku's form lends itself to some interesting verifiers, (low level ACIR?). Last month I dabbled with types for the game, and some simple code to verify a row. Continuing this path needs efficient transforms into the row.. Curious to see more ways of verifying Sudoku 🤓
1 reply
0 recast
0 reaction
Complexlity
@complexlity
Oh wow. I didn't know the array had a sort() method. I thought I could only use the array sort by the standard library. I used this `cursed` method I found lol. Apparently, it should work better in the noir circuit. Here: https://drive.google.com/file/d/1D4XCdiIZVjUW1JHDoMW3pG-15mgjMm9E. Somewhere around 1:20:00.
1 reply
0 recast
1 reaction
James Zaki
@jameszaki
Will be nice to have a collaborative workshop on this again (that vid was Nov'22). Community participation welcome! DM's open here or Noir discord :) We can use different language features then compare for size/performance (circuit gates generated, verification times). wdyt?
0 reply
0 recast
0 reaction
