zksecurity에서 lean4로 최대한 저렴하게 zk회로를 정형 검증하는 챌린지를 열었는데.. 검증 방식에 허점이 있어서 QED audit에서 리더보드 점거해버렸네요.

챌린지에서 soundness랑 completeness를 검증할 때 p -> q 식의 명제를 따르는데, p가 거짓이면 항상 결론이 참이 되니 죄다 거짓인 p를 설정해서 통과해버린듯 (정확한지는 모름)

설명: https://x.com/QED_Audit/status/2075400032937775326?s=20

써클이 통화감독청으로부터 국가 신탁 은행 설립에 대한 최종 승인을 받았습니다. (작년 12월에 이미 조건부 승인 받긴 했음)

최종 승인을 받은건 크립토 기업으로써는 2021년 앵커리지 디지털 이후로 처음인 것 같네요. 그 외 코인베이스, 크립토닷컴, 모건스탠리 등은 아직 조건부 승인 상태.

+ 찾아보니 리플, 팍소스, 비트고, 피델리티도 써클과 같은날 조건부 승인되었네요.

https://x.com/circle/status/2075521704236077081?s=20

금융위 "토큰화 주식은 증권" 정부, 과세 준비 착수

• 금융위원회는 토큰화 주식을 원칙적으로 자본시장법상 '증권'으로 봐야 한다는 입장을 밝힘
• 이에 따라 기존 증권 관련 세법 적용 가능성이 커졌지만, 실제 과세를 위해서는 거래정보 확보와 과세 인프라 구축이 필요한 상황이다.
• 정부는 OECD의 암호자산 자동정보교환체계 구축에도 참여하며 관련 제도 정비를 추진

*토큰화 주식은 앞으로 가상자산보다 증권으로 분류될 가능성이 높아지면서 관련 세제와 제도 정비가 본격화될 전망

출처

재경부 측은 "토큰화 주식도 원칙적으로는 과세 대상이므로 납세자가 스스로 신고해야 한다"면서도 "미신고 거래에 대해서는 거래 정보가 확보돼야 과세할 수 있는 만큼 관련 체계를 준비하고 있다"고 말했다.

이를 위해 세제 당국은 경제협력개발기구(OECD)가 추진하는 '암호화폐 자동정보교환체계(CARF)' 구축에 참여하고 있다. CARF는 협정 가입국 간 가상자산 거래 정보를 매년 정기적으로 상호 교환하는 체계다. 내년부터 본격 시행될 것으로 예정돼 있어 당장 올해 안에는 토큰화 주식에 대한 실질적인 과세는 어려울 것으로 예상된다.

스스로 신고해야한다 <- 제일 무서운 문장

Squid, $QUID 세일 참여국가

2위 : 대한민국

(헉?)

한국은 그렇다치고 3위가 중국..? 중국인 암호화폐 거래 되나요

Cap 스테이블 드랍 업데이트

https://x.com/caplabslimited/status/2075599572743930000

1. caps 보유자에게 지급되는 Stabledrop 금액을 420만 달러로 결정 (기존 보상안인 1200만 cUSD 대비 3토막)

2. 대상 사용자는 YT를 매수하면서 손실을 입었고, 이에 대응하는 Principal Token을 함께 보유하지 않았던 사용자. cUSD를 보유했거나 Pendle LP에 유동성을 공급한 사용자는 Stabledrop을 지급받지 않음 (????)

3. 7월 13일부터 청구 가능: stabledrop.caplabslimited.com

현재도 위 사이트를 들어가서 지갑 연결을 하면 확인이 가능한데 2만불 YT 태우고 3만 6천불을 에드받을거라고 예상한거에 비해 실제 지급받는돈은 4893 cUSD가 뜨네요. 보상 규모는 3토막났는데 왜 내 보상은 8토막이 난거지?

결론: 뒷통수 ㄹㅈㄷ

https://x.com/OAK_Res/status/2075606478438715556

요건 살짝 비판조의 내용으로 치우쳐진듯 하나 깊은 애증이 느껴지는 오크리서치의 에테나 관련 정리글.
에테나 쭉 팔로업하시던 분들이 아니면 놓치기 쉬웠을 맥락을 쭉 정리해놔서 참고하기 좋은듯 합니다.

https://x.com/SpecterAnalyst/status/2075852579343303121

헤데라네트워크에서 해킹이 발생한거같다는 글

주칸의 ICML 후기

한국 AI 스타트업이나 랩실의 연구력이 생각보다 너무 떨어짐. 인재유출 방지 / 해외영입을 위한 대책이 필요해보인다. LG AI리서치를 제외, 한국 AI 모델 개발자들에 대해 매우매우 베어리시하다

https://x.com/jukan05/status/2076205112750379183?s=20

린지 그레이엄 미 상원의원 별세

트럼프 대통령의 측근이자, 크립토에 대해서는 지니어스 법안 등에는 찬성표를 날리지만 범법행위에 대해서는 강력한 제재를 주장하는 규제론자였습니다.

이틀 전 키이우에서 젤렌스키와 회동한 뒤 급사한 상황이라 여러가지 말이 오가고 있네요.

https://x.com/LindseyGrahamSC/status/2076185414721847673?s=20

일단 자원차이가 있긴한데 매우매우까진 아님.

ㄴ$DRV는 Lyra Finance가 리브랜딩된 온체인 옵션관련 코인. (지금은 옵션 외에도 현물 퍼프 다 다룹니다만)

예전부터 꾸준히 에테나 스테이킹하셨으면 받은 물량 좀 있으실거에요. (25년 1월에 2% 배정)

옵션프로토콜들 근황

Opyn -> 23년에 미등록 파생상품 거래로 벌금먹고 거의 죽었다가 25년에 코인베이스가 인력인수해감

Ribbon -> 23년 Aevo로 리브랜딩 후 피벗

Lyra -> Derive로 리브랜딩

Dopex -> Stryke로 리브랜딩

얘네가 예전에 하던 비즈니스가 궁금하시면 전에 썼던 글 참고해보셔도 될듯..

https://blog.chainlight.io/patch-thursday-exploring-latent-risks-of-on-chain-options-exchanges-part-2-100e205117d6

Derive를 상장시켜서 좀 놀라움에 예전에 모아놨던 자료좀 써봄

- 채팅창 내역이 3월이고, 스테이킹한 시점은 대략 작년 가을~겨울사이
- Hyperdelta라는 하이퍼리즘 관련 옵션 프로젝트가 6%에 달하는 물량을 DRV 스테이커들에게 준다는 제안을 했었음
- 시기도 좋았고 하리가 하이프를 받으면서 하리관련 옵션으로 derive도 가격 오름
- 이걸 받겠다고 스테이킹한 애들이 대부분이어서 가격이 오를때마다 조금씩 스테이킹 푸는애들때문에 덤핑이 나옴

현재 DRV메인넷 상으론 66%의 물량이 스테이킹
Coingecko 상 유통량의 1/3이 스테이킹 박혀있는 상황

https://explorer.derive.xyz/token/0x2EE0fd70756EDC663AcC9676658A1497C247693A?tab=holders

국세청 디지털자산총괄과 신설... 내년부터 코인 과세

진짜 오는구나 .. 진짜 코인 왜함!?

https://n.news.naver.com/mnews/article/018/0006330173?sid=101

모나드에서 다시 모나드 카드를 줬네요. 포켓몬 카드마냥 그레이딩을 해놨는데.. 뭐가 있을지는 몰루

https://cards.monad.xyz/

칼시도 GPU 관련된 미래가격 추적이 가능한 포워드 커브 출시.

컴퓨팅 파워의 가격과 수요예측 등에 대해서 많은 곳들이 집중하고 있음.

https://x.com/mansourtarek_/status/2077163765020160172

로빈후드 Noxa 플랫폼 중단 이후 Ponds가 뜨길래 해당 플랫폼 내 토큰을 살펴봤는데 Noxa와는 다르게 로빈후드 스캐너에 코드도 인증 잘해놓고, 별 문제가 없어 보이네요

지금 Ponds 플랫폼에서 런칭한 Brodie같은 토큰을 유니스왑에서 구매하려고 할 경우 악성 토큰 경고 창이 뜨는데 코드 확인 결과 큰 문제는 없는 것 같습니다

토큰 전송 시 호출되는 _update()라는 함수에서 토큰 세일 시 스나이핑 방지를 위한 코드가 들어가 있어 이 부분이 잘못 탐지가 된 것 같아요

https://robinhoodchain.blockscout.com/token/0x45F82AC5d507e988f7406935da8eEfe495a360e0?tab=contract